publication . Conference object . 2017

Hardening High-Assurance Systems: MILS as Software Design for Avionics

Mueller, Kevin;
Open Access
  • Published: 14 Mar 2017
Abstract
The aviation industry needs to assure the reliable operation of aircrafts. While this reliability has many aspects, this talk focused on the aspect of information technology for the electronic on- and off-board equipment. Modern architectures of avionics, the aircraft's electronic systems, are driven by denser integration into embedded platforms and the interconnection of these systems to each other. In addition, the aircraft's ecosystem demands new connectivity solutions for several stakeholders, e.g. passengers, airlines or air traffic management. This trend of transferring the previously closed, federated systems into interconnected Integrated Modular Avionic...
Persistent Identifiers
Subjects
ACM Computing Classification System: ComputerApplications_COMPUTERSINOTHERSYSTEMS
free text keywords: High-assurance, MILS, High-assurance, MILS
Download from
Open Access
Zenodo
Conference object . 2017
Provider: Datacite
Open Access
ZENODO
Conference object . 2017
Provider: ZENODO
Any information missing or wrong?Report an Issue