You are here

MISSA - More Integrated and cost efficient Systems Safety Assessment

Project researchers


The MISSA project aims at developing new procedures, based on formal methods, to support safety analysis and verification of complex systems. The ultimate goal of the project is the reduction of development costs and the optimization of the production chain. To reach this goal, MISSA will focus on the following dimensions: design and installation optimization, assessment of a systems organic architecture against the safety requirements, detailed system architecture and design, and a software infrastructure that facilitates the exchange of information. Finally, the project aims at improving the modeling and simulation tools, in order to support virtual prototyping and multi-site product development.

Tuesday, 1 April, 2008 to Thursday, 31 March, 2011
36 months
  • Airbus UK Ltd
  • Airbus Deutschland
  • Alenia Aeronautica S.p.A.
  • Dassault Aviation
  • EADS Apsys
  • High Integrity Solutions
  • Fondazione Bruno Kessler -- ES Unit
  • Office National d'Etudes et Recherches Aérospatiales
  • OFFIS - Institute for Information Technology
  • Prover Technology
  • Queen Mary and Westfield College, University of London
  • Thales
  • University of York