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 .
(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|
|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
Département de Mathématiques, Informatique, Automatique - DMIA (Toulouse, France) - Automatique, Dynamique et Interface des Systèmes - ADIS
Département Commande des Systèmes et Dynamique du vol - DCSD (Toulouse, France)
|Deposited By:||jc Chaudemar|
|Deposited On:||16 Feb 2009 15:45|
Repository Staff Only: item control page