Verifying the Safety of a Flight-Critical System

@article{Brat2015VerifyingTS,
  title={Verifying the Safety of a Flight-Critical System},
  author={Guillaume Brat and David H. Bushnell and Misty Davies and Dimitra Giannakopoulou and Falk Howar and Temesghen Kahsai},
  journal={CoRR},
  year={2015},
  volume={abs/1502.02605}
}
This paper describes our work on demonstrating verification technologies on a flight-critical system of realistic functionality, size, and complexity. Our work targeted a commercial aircraft control system named Transport Class Model (TCM), and involved several stages: formalizing and disambiguating requirements in collaboration with domain experts; processing models for their use by formal verification tools; applying compositional techniques at the architectural and component level to scale… CONTINUE READING
Recent Discussions
This paper has been referenced on Twitter 1 time over the past 90 days. VIEW TWEETS

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.
0 Extracted Citations
27 Extracted References
Similar Papers

Referenced Papers

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

Formal methods for safe and secure computer systems

  • H. Garavel, S. Graf
  • Technical Report BSI-Study 875, Bundesamt fuer…
  • 2013
1 Excerpt

Similar Papers

Loading similar papers…