Integration of formal fault analysis in ASSERT: (2009)
P. Bieber, Jp. Blanquart, G. Durrieu, D. Lesens, J. Lucotte, F. Tardy, ...
Case studies and lessons learnt
O. Akerlund, P. Bieber, E. Boede, M. Bozzano, M. Bretschneider, C. Castel, ...
a framework for integrated safety analysis of functional,
Architecture Patterns for Safe Design (2008)
C. Kehren, C. Seguin, P. Bieber, C. Castel, C. Bougnol, ...
The design, prototyping and analysis of complex systems architectures are often very difficult because of their important size. Our modelling experience of several aircraft systems in AltaRica...
Automated functional test case generation from data flow specifications (2008)
B. Blanc, G. Durrieu, A. Lakehal, O. Laurent, B. Marre, I. Parissis, ...
using structural coverage criteria
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....
Module templates for the specification of fault-tolerant systems (1998)
M. Doche, J. Cazin, D. Le Berre, P. Michel, C. Seguin, V. Wiels
Critical systems are often too complex to be easily analyzed and validated as a whole. An interesting solution is to define basic components and then to describe how they interact. In this paper, we...
J. Cazin, C. Seguin, W. Osnowycz, Sextant Avionique, E. Ciapessoni, E. Ratto
During the development of Safety Critical Systems, the early specification activity, and the late phase of test have a primary importance. Software companies involved in the domain use to propose...