I/O sharing in a multi-core kernel for mixed-criticality applications

IFIP Advances in Information and Communication Technology

Volumn 403, Issue , 2013, Pages 331-342

  Li, Gang ^a   Top, Søren ^a  

^a UNIVERSITY OF SOUTHERN DENMARK   (Denmark)

Author keywords

I O sharing; mixed criticality; multi core systems; safe inter core communication; safety critical real time kernel

Indexed keywords

COST REDUCTION; CRITICALITY (NUCLEAR FISSION); REAL TIME SYSTEMS; SAFETY ENGINEERING; TIME SHARING SYSTEMS;

CERTIFICATION COSTS; INTER-CORE COMMUNICATIONS; MIXED CRITICALITIES; MIXED-CRITICALITY SYSTEMS; MULTI-CORE PLATFORMS; MULTI-CORE SYSTEMS; REAL-TIME KERNEL; TEMPORAL ISOLATION;

EMBEDDED SYSTEMS;

EID: 84883023845     PISSN: 18684238     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-642-38853-8_30     Document Type: Conference Paper

References (9)

1. Functional safety of electrical/electronic/programmable electronic safety related systems (2010)
2. Arinc specification 651: Design guidance for integrated modular avionics (1991)
3. Ernst, R.: Certificationn of trusted mpsoc platforms. In: 10th International Forum on Embedded MPSoC and Multi-core (2010)
4. Angelov, C.K., Ivanov, I.E., Burns, A.: Hartex: a safe real-time kernel for distributed computer control systems. Softw. Pract. Exper. 32, 209-232 (2002)
5. Integrated modular avionics (ima) development guidance and certification considerations (2005)
6. Baumann, A., Barham, P., Dagand, P.-E., Harris, T., Isaacs, R., Peter, S., Roscoe, T., Scḧupbach, A., Singhania, A.: The multikernel: a new os architecture for scalable multicore systems. In: Proceedings of the ACM SIGOPS 22nd Symposium on Operating Systems Principles, SOSP 2009, pp. 29-44. ACM (New York (2009)
7. Berthing, J., Maier, T.: A taxonomy for modelling safety related architectures in compliance with functional safety requirements. In: Saglietti, F., Oster, N. (eds.) SAFECOMP 2007. LNCS, vol. 4680, pp. 505-517. Springer, Heidelberg (2007)
8. Masmano, M., Peiro, S., Sanchez, J., Simo, J., Crespo, A.: Io virtualisation in a partitioned system. In: Proceeding of the 6th Embedded Real Time Software and Systems Congress (2012)
9. Shah, R., Lee, Y.-H., Kim, D.Y.: Sharing I/O in strongly partitioned real-time systems. In: Wu, Z., Chen, C., Guo, M., Bu, J. (eds.) ICESS 2004. LNCS, vol. 3605, pp. 502-507. Springer, Heidelberg (2005)