Certificationn of trusted mpsoc platforms, 10th International Forum on Embedded MPSoC and multi-core, 2010. ,
HARTEX?a safe real-time kernel for distributed computer control systems, Software: Practice and Experience, vol.38, issue.3, pp.209-232, 2002. ,
DOI : 10.1002/spe.435
The multikernel, Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles, SOSP '09, pp.29-44, 2009. ,
DOI : 10.1145/1629575.1629579
A Taxonomy for Modelling Safety Related Architectures in Compliance with Functional Safety Requirements, Proceedings of the 26th international conference on Computer Safety, Reliability, and Security, SAFECOMP'07, pp.505-517, 2007. ,
DOI : 10.1007/978-3-540-75101-4_47
Io virtualisation in a partitioned system, Proceeding of the 6th embedded real time software and systems congress, 2012. ,
Sharing I/O in Strongly Partitioned Real-Time Systems, Proceedings of the First international conference on Embedded Software and Systems, ICESS'04, pp.502-507, 2005. ,
DOI : 10.1007/11535409_73