Abstract
In a mixed-criticality system, applications with different safety criticality levels are usually required to be implemented upon one platform for several reasons( reducing hardware cost, space, power consumption). Partitioning technology is used to enable the integration of mixed-criticality applications with reduced certification cost. In the partitioning architecture of strong spatial and temporal isolation, fault propagation can be prevented among mixed-criticality applications (regarded as partitions). However, I/O sharing between partitions could be the path of fault propagation that hinders the partitioning. E.g. a crashed partition generates incorrect outputs to shared I/Os, which affects the functioning of another partition. This paper focuses on a message-based approach of I/O sharing in the HARTEX real-time kernel on a multi-core platform. Based on a simple multi-core partitioning architecture, a certifiable I/O sharing approach is implemented based on a safe message mechanism, in order to support the partitioning architecture, enable individual certification of mixed-criticality applications and thus achieve minimized total certification cost of the entire system.
Chapter PDF
Similar content being viewed by others
Keywords
References
Functional safety of electrical/electronic/programmable electronic safety related systems (2010)
Arinc specification 651: Design guidance for integrated modular avionics (1991)
Ernst, R.: Certificationn of trusted mpsoc platforms. In: 10th International Forum on Embedded MPSoC and Multi-core (2010)
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)
Integrated modular avionics (ima) development guidance and certification considerations (2005)
Baumann, A., Barham, P., Dagand, P.-E., Harris, T., Isaacs, R., Peter, S., Roscoe, T., Schüpbach, 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)
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)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 IFIP International Federation for Information Processing
About this paper
Cite this paper
Li, G., Top, S. (2013). I/O Sharing in a Multi-core Kernel for Mixed-Criticality Applications. In: Schirner, G., Götz, M., Rettberg, A., Zanella, M.C., Rammig, F.J. (eds) Embedded Systems: Design, Analysis and Verification. IESS 2013. IFIP Advances in Information and Communication Technology, vol 403. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38853-8_30
Download citation
DOI: https://doi.org/10.1007/978-3-642-38853-8_30
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-38852-1
Online ISBN: 978-3-642-38853-8
eBook Packages: Computer ScienceComputer Science (R0)