PHYLOG: a model-based certification framework - ONERA - Office national d'études et de recherches aérospatiales Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

PHYLOG: a model-based certification framework

Résumé

This paper describes PHYLOG, a framework in- tended to help certify the use of a multi-core in an aeronautical context. Specific guidelines for such systems have been published in a document, the MCP-CRI / CAST-32A, which provides a series of objectives to be fulfilled. To justify that an objective is indeed achieved, PHYLOG relies on structured graphical no- tations, recursively refining each objective by solving it using a strategy, itself having its own sub-objectives, until all that remains are evidences found either through the use of formal methods, as part of the design choices, or in external documentation. The PHYLOG framework includes such formal methods, providing the means to model the multi-core and to acquire further evidences through automatic analysis.
Fichier principal
Vignette du fichier
DTIS18223.1538731195.pdf (192.81 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01888687 , version 1 (05-10-2018)

Identifiants

  • HAL Id : hal-01888687 , version 1

Citer

Frédéric Boniol, Youcef Bouchebaba, Julien Brunel, Kevin Delmas, Claire Pagetti, et al.. PHYLOG: a model-based certification framework. 37th AIAA/IEEE Digital Avionics Systems Conference (DASC), Sep 2018, LONDRES, United Kingdom. ⟨hal-01888687⟩

Collections

ONERA PHYLOG
269 Consultations
279 Téléchargements

Partager

Gmail Facebook X LinkedIn More