Online Resource
Association for Computing Machinery (ACM)
;
2015
In:
ACM SIGLOG News Vol. 2, No. 4 ( 2015-10-13), p. 17-25
In:
ACM SIGLOG News, Association for Computing Machinery (ACM), Vol. 2, No. 4 ( 2015-10-13), p. 17-25
Abstract:
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.
Type of Medium:
Online Resource
ISSN:
2372-3491
DOI:
10.1145/2835265.2835269
Language:
English
Publisher:
Association for Computing Machinery (ACM)
Publication Date:
2015
detail.hit.zdb_id:
2848265-7
Permalink
|
Location |
Call Number |
Limitation |
Availability |