EXPERIMENTS IN MODEL BASED SAFETY ANALYSIS: FLIGHT CONTROLS (2008)
Romain Bernard, Jean-jacques Aubert, Pierre Bieber, Christophe Merlini, Sylvain Metge
investigating failure propagation models and more specifically AltaRica model-based safety analysis. This paper presents results and lessons learnt from an industrial system architecture modeling...
Analyses of Software Failure Data (2007)
Sarah Brocklehurst, Karama Kanoun, Jean-Claude Laprie, Bev Littlewood, Sylvain Metge, Peter Mellor, ...
In this paper we present and analyse a new set of software failure data which shows the failure behaviour, over a period of four years, of a single-user work station which was installed at the City...
Safety Assessment with Altarica - Lessons Learnt Based on Two Aircraft System Studies (2004)
Pierre Bieber, Christian Bougnol, Charles Castel, Jean-pierre Heckmann, Christophe Kehren, Sylvain Metge, ...
Abstract: AIRBUS and ONERA used the AltaRica formal language and associated tools to perform safety assessments. Lessons learnt during the study of an electrical and hydraulic system are presented....
Safety Assessment with Altarica - Lessons Learnt Based on Two Aircraft System Studies (2004)
Pierre Bieber, Christian Bougnol, Charles Castel, Jean-pierre Heckmann, Christophe Kehren, Sylvain Metge, ...
Abstract: AIRBUS and ONERA used the AltaRica formal language and associated tools to perform safety assessments. Lessons learnt during the study of an electrical and hydraulic system are presented....