Safe and Secure Virtualization: Answers for IMA next Generation and Beyond
Abstract
This paper presents some of the challenges the aerospace industry is facing for the future and explains why and how a safe and secured virtualization technology can help solving these challenges Efforts around the next generation of IMA have already started, like the European FP7 funded project SCARLETT or the IDEE5 project and many avionics players and working groupware focused on how the new technologies like SMP capabilities introduced in latest CPU architectures, can help increasing system performances in future avionics system. We present PikeOS, a separation micro-kernel, which applies the state-of-the-art techniques and widely recognized standards such as ARINC 653 and MILS in order to guarantee safety and security properties, and still improve overall performance.
- Publication:
-
DASIA 2010 - Data Systems In Aerospace
- Pub Date:
- August 2010
- Bibcode:
- 2010ESASP.682E..57A