26th Congress of International Council of the Aeronautical Sciences
including the 8th AIAA Aviation Technology, Integration, and Operations (ATIO) Conference
14 - 19 September 2008, Anchorage, Alaska, USA
Paper ICAS 2008-9.1.1

SECURITY ARCHITECTURE AND FORMAL ANALYSIS OF AN AIRPLANE SOFTWARE DISTRIBUTION SYSTEM

D. von Oheimb, M. Maidl, R. Robinson*
Siemens AG, Germany; *Boeing Phantom Works, USA

Keywords: loadable software, information assurance, safety, system architecture, formal methods

We present a security assessment for IT infrastructure used to distribute safety-critical software from suppliers via airlines to airplanes. The high criticality and threat level for this application call for an analysis with the most precise method available, which is formal modeling and verification.

view full paper