Data Flow Model Coverage Analysis: Principles and Practice - Archive ouverte HAL
Communication Dans Un Congrès Année : 2016

Data Flow Model Coverage Analysis: Principles and Practice

Jean-Louis Camus
  • Fonction : Auteur
  • PersonId : 975475
Carole Haudebourg
  • Fonction : Auteur
  • PersonId : 975476
Marc Schlickling
  • Fonction : Auteur
  • PersonId : 975477
Joerg Barrho
  • Fonction : Auteur
  • PersonId : 975478

Résumé

Safety critical software requires rigorous processes in order to achieve a high degree of integrity. These processes include so-called " verification of verification ". In the case of Model Based Development and Verification, DO-178C/DO-331 requires model coverage analysis. This paper reminds the objectives of model coverage analysis and the difference with structural code coverage analysis. It proposes coverage criteria suited to data flow models. These criteria are a generalization of the functional masking effect and also take into account modularity and in-lining of the model operators. It presents a tool supporting model coverage analysis according to these criteria. It concludes with industry field experience and future extensions.
Fichier principal
Vignette du fichier
ERTSS2016_ModelCoverageScade.pdf (642.45 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01262411 , version 1 (26-01-2016)

Identifiants

  • HAL Id : hal-01262411 , version 1

Citer

Jean-Louis Camus, Carole Haudebourg, Marc Schlickling, Joerg Barrho. Data Flow Model Coverage Analysis: Principles and Practice. 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, Toulouse, France. ⟨hal-01262411⟩

Collections

ERTS2016 TDS-MACS
230 Consultations
1193 Téléchargements

Partager

More