Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
E-Artikel
Titel:
You keep using that word
Beteiligte:
Cofer, Darren
Erschienen:
Association for Computing Machinery (ACM), 2015
Erschienen in:
ACM SIGLOG News, 2 (2015) 4, Seite 17-25
Sprache:
Englisch
DOI:
10.1145/2835265.2835269
ISSN:
2372-3491
Entstehung:
Anmerkungen:
Beschreibung:
Formal methods tools have been shown to be effective at finding defects in and verifying the correctness of safety-critical systems such as avionics systems. The recent release of DO-178C and the accompanying Formal Methods Supplement DO-333 will make it easier for developers of software for commercial aircraft to obtain certification credit for the use of formal methods. However, most developers of avionics systems are unfamiliar with formal methods, and most developers of formal methods tools are unfamiliar with certification requirements and processes. This article provides a brief overview of the certification process for commercial aircraft, as well as some of the issues related to the use of formal methods tools in this context.