MIMOSA: Towards a model driven certification process - ONERA - Office national d'études et de recherches aérospatiales Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

MIMOSA: Towards a model driven certification process

Résumé

A certification process usually consists in analyzing, in a restricted amount of time a, potentially very large, set of documents that are intended to convince the auditor that the documented system fulfills all its requirements. The MIMOSA Project presented in this paper introduces a model driven certification process based on the key concepts of argumentation step, patterns and composition. The aim is: at first, to structure the documentation provided as evidences of the good properties of the system, and then to check this structure against identified argumentation patterns that will help identifying lacks or misuse of elements. Ar-gumentation step and composition principles as well as a set of patterns for arguing about real-time properties are given along with their expression in a prototype tool, that offers to describe the architecture, requirements and argumentation in a common language and then offers to compute some basic checks on the argumentation structure.
Fichier principal
Vignette du fichier
paper_42.pdf (583.12 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01289704 , version 1 (17-03-2016)

Identifiants

  • HAL Id : hal-01289704 , version 1

Citer

Pierre Bieber, Frédéric Boniol, Guy Durrieu, Olivier Poitou, Thomas Polacsek, et al.. MIMOSA: Towards a model driven certification process. 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France. ⟨hal-01289704⟩

Collections

ONERA ERTS2016
171 Consultations
163 Téléchargements

Partager

Gmail Facebook X LinkedIn More