Guidance for Using Formal Methods in a Certification Context - ONERA - Office national d'études et de recherches aérospatiales Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Guidance for Using Formal Methods in a Certification Context

Duncan Brown
  • Fonction : Auteur
  • PersonId : 1052448
Hervé Delseny
  • Fonction : Auteur
Kelly Hayhurst
  • Fonction : Auteur
  • PersonId : 1052449

Résumé

This paper discusses some of the challenges to using formal methods in a certification context and describes the effort by the Formal Methods Sub-group 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.
Fichier principal
Vignette du fichier
4C-1.pdf (218.42 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-02267708 , version 1 (19-08-2019)

Identifiants

  • HAL Id : hal-02267708 , version 1

Citer

Duncan Brown, Hervé Delseny, Kelly Hayhurst, Virginie Wiels. Guidance for Using Formal Methods in a Certification Context. ERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France. ⟨hal-02267708⟩

Collections

ONERA ERTS2010
54 Consultations
35 Téléchargements

Partager

Gmail Facebook X LinkedIn More