OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Model based system assessment: formalisation et évaluation de systèmes autonomes en Event-B

Chaudemar, Jean-Charles and Bensana, Eric and Seguin, Christel Model based system assessment: formalisation et évaluation de systèmes autonomes en Event-B. (2011) In: Model Based Safety Assessment Workshop, 15-16 Mar 2011, Toulouse, France .

[img]
Preview
(Document in French)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
54Kb

Official URL: http://cisec.enseeiht.fr/index.php?option=com_content&view=article&id=82:mbsaw2011&catid=37:past-events&Itemid=96

Abstract

Cet article vise à décrire une architecture de sécurité de systèmes autonomes à l’aide de la méthode formelle Event-B. Le formalisme Event-B supporte une conception rigoureuse de ces systèmes. La technique de raffinement permet une modélisation progressive en vérifiant la correction et la pertinence des modèles par décharge de preuves. L’application de la méthode Event-B présente un intérêt dans la formalisation des relations entre couches qui assurent la cohérence d’un fonctionnement sûr ainsi que le respect des exigences de sécurité concernées par notre analyse. Par conséquent, la modélisation autour de ces relations fait apparaître en permanence un comportement nominal associé à des comportements en présence de fautes sous l’hypothèse d’une architecture intégrant des mécanismes de tolérance aux fautes.

Item Type:Conference or Workshop Item (Paper)
Audience (conference):National conference without published proceedings
Uncontrolled Keywords:
Institution: Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE
French research institutions > Office National d'Etudes et Recherches Aérospatiales - ONERA
Laboratory name:
Statistics:download
Deposited By:jc Chaudemar

Repository Staff Only: item control page