| タイトル | Guidance for Using Formal Methods in a Certification Context |
| 本文（外部サイト） | http://hdl.handle.net/2060/20100020981 |
| 著者（英） | Wiels, Virginie; Hayhurst, Kelly; Brown, Duncan; Delseny, Herve |
| 著者所属（英） | NASA Langley Research Center |
| 発行日 | 2010-05-19 |
| 言語 | eng |
| 内容記述 | 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. |
| NASA分類 | Computer Systems |
| レポートNO | NF1676L-10457 |
| 権利 | Copyright, Distribution as joint owner in the copyright |
|
