Securely Partitioning Spacecraft Computing Resources: Validation of a Separation Kernel
Abstract
This paper gives an overview of an analysis conducted in the frame of a research and technology study performed in 2010/2011. It addresses security issues in the context of multiple use missions, where appropriate protection shall be implemented onboard. It discusses the validation of separation kernel technology with respect to the Space Security profile that was defined the previous year. It presents the validation platform that has been defined to cope with objectives of reuse. By the end, it publishes the most important results of the validation of the XtratuM hypervisor.
- Publication:
-
DASIA 2011 - Data Systems In Aerospace
- Pub Date:
- August 2011
- Bibcode:
- 2011ESASP.694E..32P