MIMOSA: Towards a model driven certification processReport as inadecuate




MIMOSA: Towards a model driven certification process - Download this document for free, or read online. Document in PDF available to download.

1 Toulouse - ONERA - The French Aerospace Lab 2 DGA-TA - Direction générale de l-armement - Techniques aéronautiques

Abstract : 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.

Keywords : Certification Safety Real-Time Model-based System Engineering Argumentation





Author: Pierre Bieber - Frédéric Boniol - Guy Durrieu - Olivier Poitou - Thomas Polacsek - Virginie Wiels - Ghilaine Martinez -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents