Community Research and Development Information Service - CORDIS


Final Report - ISAAC (Improvement of Safety Activities on Aeronautical Complex systems (ISAAC))

Project ID: 501848
Funded under: FP6-AEROSPACE


This is the final report of the ISAAC project, which aimed to increase the capability and efficiency for safety and systems engineers to perform safety assessment resulting in safe systems. The proposed methodology, built on formal method techniques, is an integrated part in a model based development process where safety and reliability aspects are examined in early steps of development.

This report includes summary description of project objectives, contractors involved, work performed and end results, elaborating on the degree to which the objectives were reached. It briefly describes the methodologies and approaches employed and relates the achievements of the project to the state of the art. It explains the impact of the project on its industry or research sector.

Download application/pdf (1443990)

Related information

Record Number: 11498 / Last updated on: 2011-04-14
Category: PROJ