OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

AltaRica and event-B models for operational safety analysis: unmanned aerial vehicle case study

Chaudemar, Jean-Charles and Bensana, Eric and Castel, Charles and Seguin, Christel AltaRica and event-B models for operational safety analysis: unmanned aerial vehicle case study. (2009) In: Workshop on Integration of Model-based Formal Methods and Tools , 15-19 Fev 2009, Düsseldorf, Germany .

[img] (Document in English)

PDF ( Author's version) - Depositor and staff only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: http://www.formal-methods.de/ifm09/


This paper presents a method to analyse the operational safety of complex systems and the application of this method to an Unmanned Aerial Vehicle (UAV). The method relies on the complementary use of AltaRica and Event-B models. On the one hand, the AltaRica failure propagation models well support the safety analysis of complex systems. On the other hand, Event-B formalism well supports the design of system, from abstract specification to software development. Thus, the relationship between AltaRica and Event-B enables a better understanding for such a safety analysis.Accordingly, this paper focuses on the association of these two formalisms in the safety analysis of an UAV control system. This association is applied for an architecture which is structured in three hierarchical layers: operational layer, functional layer and physical equipment layer. But only the first two layers are dealt with in this paper.

Item Type:Conference or Workshop Item (Paper)
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE-SUPAERO (FRANCE)
French research institutions > Office National d'Etudes et Recherches Aérospatiales - ONERA (FRANCE)
Laboratory name:
Deposited On:16 Feb 2009 15:45

Repository Staff Only: item control page