Criticality and Confidence Issues in Avionics
Résumé
Ensuring safety in avionics has mostly been achieved through a complete separation between avionics software and open-world software, in order to avoid any interaction that could corrupt critical on-board systems. However, new aircraft generations need more interaction with off-board systems to offer extended services. The extent to which such interactions can be securely supported requires an in-depth characterization, analysis and control of potentially dangerous information flows. In this paper, we consider the safety aspect of such systems and detail the different viewpoints that justify the level of confidence that can placed on a system component.
Domaines
Génie logiciel [cs.SE]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...