MILS-based information flow control in the avionic domain: A case study on compositional architecture and verification

Main design goal for aircrafts and on-board systems are safety aspects. Security considerations arising since systems are getting more and more interconnected - with the ground staff (e.g. for maintenance) - with the Internet (e.g. for passenger Internet) - with network-capable passenger devices on-board (e.g. for entertainment). Functional Integration and IMA adds further aspects: - Deployment of multilevel criticality systems - Save use of “black-box” COTS software - Use of COTS hardware.