The ISAAC project aims to increase the capability and efficiency of safety and systems engineers to perform safety assessments resulting in secure systems. The proposed methodology, built on formal method techniques, is an integrated part of a model-based development process where safety and reliability aspects are examined in the early steps of development.

The goals of the project are:

  • to consolidate the ESACS results by improving analysis for dynamic aspects like sequencing or temporal behaviour
  • to extend the scope of the integrated environment among designers and safety/reliability engineers
  • to take into account results from tools used in performing particular risk and zonal safety analysis and to use this information to analyse unintended interactions injected into independent ‘intended functionality’ but co-located systems
  • to evaluate the relationship between man and machine offering a complex human-complex machine interaction model
  • to automate the analyses to determine the impact of degraded situations on system operating modes and over pre-defined missions
  • to exploit the use of ESACS formal verification techniques to deal with testability aspects.

General Info:

Start Date: 9 Aug 2013


  • Alenia Aeronautica S.p.A. IT
  • Airbus France S.A.S. FR
  • Airbus UK Ltd. UK
  • Airbus Deutschland GmbH DE
  • Saab AB SE
  • Società Italiana Avionica S.p.A. IT
  • FBK
  • Office National d’Etudes et de Recherches Aérospatiales (ONERA) FR
  • Kuratorium OFFIS e.V. DE
  • Prover Technology AB SE
  • Dassault Aviation S.A. FR