MISSA – More Integrated and Cost Efficient Systems Safety Assessment
General Info
Start Date: 1 Apr 2008
End Date: 31 Mar 2013
Duration: 36 months
Partners
- 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
Contacts
Marco Bozzano <>
-
PhD Grant on Model-based system-software engineering and formal methods for space systems
-
PhD positions in collaboration with the University of Trento on formal-methods-related topics
-
VAIPOSA Kick Off Meeting
-
New Software Developer Position in the Field of Formal Methods
-
Distinguished artifact award at TACAS conference