Presented at the IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC), October 2023 – Barcelona, Spain

This paper, authored byAirbusandImperial College London, explores how increased aircraft connectivity can expose safety-critical systems—like theFlight Management System (FMS)—to cybersecurity threats.

It introducesCassandra, a methodology that combinesSTPA-Secwithformal verificationto identify and assess attack paths that could compromise flight safety. Using theElectronic Flight Bag (EFB)as a case study, the paper evaluates how different device configurations impact risk.

The study supportsALBATROS’s goalof integrating cybersecurity into aviation safety frameworks—ensuring systems remain robust in an increasingly digital environment.

Click below to download and read the full paper.