Validation of Securely Partitioned Systems over Multicore Architectures Based on XtratuM
- Author(s):
- Publication title:
- Proceedings of DASIA 2013 : DAta Systems In Aerospace : 14-16 May 2013, Porto, Portugal
- Title of ser.:
- ESA SP
- Ser. no.:
- 720
- Pub. Year:
- 2013
- Pages:
- 6
- Pub. info.:
- Noordwijk, The Netherlands: ESA Communications
- ISSN:
- 1609042X
- ISBN:
- 9789292212841 [9292212842]
- Language:
- English
- Call no.:
- E11690/720
- Type:
- Conference Proceedings
Similar Items:
1
Conference Proceedings
Securely Partitioning Spacecraft Computing Resources: Validation of a Separation Kernel
ESA Communications |
SPIE - The International Society of Optical Engineering |
ESA Communications |
8
Conference Proceedings
Safe and Secure Partitioning with Pikeos: Towards Integrated Modular Avionics in Space
ESA Communication Production Office |
ESA Communications |
MRS - Materials Research Society |
ESA Communications |
SPIE - The International Society of Optical Engineering |
SPIE - The International Society of Optical Engineering |
ESA Communications |
SPIE-The International Society for Optical Engineering |
ESA Communications |