Use of formal methods in embedded software development: stakes, constraints and proposal - Archive ouverte HAL
Communication Dans Un Congrès Année : 2014

Use of formal methods in embedded software development: stakes, constraints and proposal

Résumé

In aeronautics, software development is submitted to strong constraints. The DO-178 certification standard specifies development and verification objectives. Moreover, its supplement DO-333 defines guidelines for the use of formal methods in this context. Formal methods are used in industry for different purposes and often require the intervention of experts for their processing. In this paper, we propose an approach to answer a certification objective using formal methods while keeping them usable for non-experts. We present an automatic method to check the compliance of a C source code according to its Low Level Requirements expressed as an UML state machine and we show how it addresses objectives of the DO-333.
Fichier principal
Vignette du fichier
DTIM15002.1420710841.pdf (429.89 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01102152 , version 1 (12-01-2015)

Identifiants

  • HAL Id : hal-01102152 , version 1

Citer

A. Fernandes-Pires, T. Polacsek, V. Wiels, S. Duprat. Use of formal methods in embedded software development: stakes, constraints and proposal. EMBEDDED REAL TIME SOFTWARE AND SYSTEMS (ERTS 2014), Feb 2014, TOULOUSE, France. ⟨hal-01102152⟩

Collections

ONERA ERTS2014
224 Consultations
851 Téléchargements

Partager

More