Actions for Guidance for Using Formal Methods in a Certification Context

Email RIS file
Bookmark
Report an Issue

Guidance for Using Formal Methods in a Certification Context

Author
Wiels, Virginie
Published
May 19, 2010.
Physical Description
1 electronic document
Additional Creators
Hayhurst, Kelly, Brown, Duncan, and Delseny, Herve
Online Version

Availability

I Want It
I Want It

Finding items...

Restrictions on Access
Unclassified, Unlimited, Publicly available.
Free-to-read Unrestricted online access
Summary
This paper discusses some of the challenges to using formal methods in a certification context and describes the effort by the Formal Methods Subgroup of RTCA SC-205/EUROCAE WG-71 to propose guidance to make the use of formal methods a recognized approach. This guidance, expected to take the form of a Formal Methods Technical Supplement to DO-178C/ED-12C, is described, including the activities that are needed when using formal methods, new or modified objectives with respect to the core DO-178C/ED-12C document, and evidence needed for meeting those objectives.
Other Subject(s)
Collection
NASA Technical Reports Server (NTRS) Collection.
Note
Document ID: 20100020981.
NF1676L-10457.
Embedded Real Time Software and Systems Conference; 19-21 May 2010; Toulouse; France.
Terms of Use and Reproduction
Copyright, Distribution as joint owner in the copyright.
View MARC record | catkey: 15995278