Home Page


SAE Aerospace Information Report 6110, "Contiguous Aircraft/System Development Process Example," follows the development of a complex Wheel Brake System (WBS) using processes in the industry standards ARP4754A, "Guidelines for Development of Civil Aircraft and Systems," and ARP4761, "Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment."

AIR6110 employs informal methods to examine several WBS architectures which meet the same requirements with different degrees of reliability.

This joint case study between FBK and Boeing enhances the AIR6110 with formal methods. First, WBS architectures in AIR6110 formerly using informal steps are recreated in a formal manner. Second, methods to automatically analyze and compare the behaviors of various architectures with additional, complementary information not included in the AIR6110 are presented. Third, an assessment of distinct formal methods ranging from contract-based design, to model checking, to model based safety analysis is provided.


A paper summarizing the case study has been presented at CAV2015.

The paper, a detailed technical report, models and results are available in the Download section.


See the press release at