论文信息 - ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects - 字舞流文

ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects

This paper aims at presenting methods and tools that are developed in the ISAAC project (Improvement of Safety Activities on Aeronautical

Pierre Bieber | Sylvain Metge | Marco Bozzano | Oleg Lisagor | Matthias Bretschneider | Christel Seguin | Chris Papadopoulos | Thomas Peikenkamp | Charles Castel | Antonella Cavallo | O Akerlund | E Boede | Massimo Cifaldi | J Gauthier | A Griffault | A Lüdtke | L. Sagaspe | H Trivedi | Laura Valacca | P. Bieber | C. Seguin | O. Åkerlund | M. Bozzano | T. Peikenkamp | Eckard Böde | A. Cavallo | O. Lisagor | Charles Castel | L. Valacca | Sylvain Metge | A. Griffault | Chris Papadopoulos | H. Trivedi | M. Bretschneider | Massimo Cifaldi | J. Gauthier | Andreas Lüdtke | L. Sagaspe

[1] Antoine Rauzy,et al. The AltaRica Formalism for Describing Concurrent Systems , 1999, Fundam. Informaticae.

[2] Sylvain Metge,et al. Advanced Multi-System Simulation Capabilities with AltaRica , 2004 .

[3] Valentin Goranko,et al. Logic in Computer Science: Modelling and Reasoning About Systems , 2007, J. Log. Lang. Inf..

[5] C. Seguin,et al. Architecture patterns for safe design • , 2004 .

[6] John Rushby,et al. Using model checking to help discover mode confusions and other automation surprises , 2002, Reliab. Eng. Syst. Saf..

[7] Matthias Bretschneider,et al. Model-based Safety Analysis of a Flap Control System , 2004 .

[8] Marco Bozzano,et al. ESACS: an integrated methodology for design and safety analysis of complex systems , 2003 .