Concepedia

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

Ove Åkerlund, Pierre Bieber, Eckard Boede, Marco Bozzano, Matthias Bretschneider, Charles Castel, Antonella Cavallo, Massimo Cifaldi, Jack Gauthier, Alain Griffault,

HAL (Le Centre pour la Communication Scientifique Directe) · 2006 · 76 citations · 5 references

Full text

Open access

Concepts

Abstract

International audience

References

5

Logic in computer science: modelling and reasoning about systems

Choice Reviews Online · 2005 · 875 citations

, , +11

Using model checking to help discover mode confusions and other automation surprises

John Rushby · Reliability Engineering & System Safety · 2002 · 226 citations

, , +12

The AltaRica Formalism for Describing Concurrent Systems

André Arnold, Gérald Point, Alain Griffault et al. · Fundamenta Informaticae · 1999 · 163 citations

, , +16

ESACS: an integrated methodology for design and safety analysis of complex systems

Marco Bozzano, Pierre Bieber, Charles Castel et al. · 2003 · 105 citations

, , +12

2.2.1 Model‐based Safety Analysis of a Flap Control System

Matthias Bretschneider, Eckard Böde, Ingo Brückner et al. · INCOSE International Symposium · 2004 · 25 citations

, , +16