Formal Design and Safety Analysis of AIR6110 Wheel Brake System

  title={Formal Design and Safety Analysis of AIR6110 Wheel Brake System},
  author={Marco Bozzano and Alessandro Cimatti and Anthony Fernandes Pires and D. Jones and G. Kimberly and T. Petri and R. Robinson and Stefano Tonetta},
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… CONTINUE READING
Related Discussions
This paper has been referenced on Twitter 1 time. VIEW TWEETS

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.
Showing 1-10 of 22 extracted citations


Publications referenced by this paper.
Showing 1-10 of 13 references

SAT-Based Model Checking without Unrolling

VMCAI • 2011
View 3 Excerpts
Highly Influenced

Design and Safety Assessment of Critical Systems

M. Bozzano, A. Villafiorita
CRC Press (Taylor and Francis), an Auerbach Book • 2010
View 13 Excerpts
Highly Influenced

OCRA: A tool for checking the refinement of temporal contracts

2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) • 2013
View 16 Excerpts

A Property-Based Proof System for Contract-Based Design

2012 38th Euromicro Conference on Software Engineering and Advanced Applications • 2012
View 17 Excerpts

Similar Papers

Loading similar papers…