IEEE - Institute of Electrical and Electronics Engineers, Inc. - The open source, formally-proven seL4 microkernel: Considerations for use in avionics

2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC)

Author(s): Steven H. VanderLeest
Sponsor(s): IEEE
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 September 2016
Conference Location: Sacramento, CA, USA
Conference Date: 25 September 2016
Page(s): 1 - 9
ISBN (Electronic): 978-1-5090-2523-7
ISSN (Electronic): 2155-7209
DOI: 10.1109/DASC.2016.7778001
Regular:

Mixed criticality functions integrated on a single computing platform require special attention to safety and security. ARINC 653 and DO-248 provide guidelines for partitioning software so that... View More

Advertisement