FAME – FDIR Development and Verification & Validation Process
The FAME Project is an international research project for developing an FDIR (Fault-Detection, Fault-Isolation and Recovery) development and Verification & Validation process.
The global objective of this study is to identify a dedicated FDIR Development and V&V Process in order to address the issues and shortcomings in the current industrial FDIR development practices and to allow for the consistent and timely FDIR conception, development, and Verification & Validation.
General Info
Start Date: 1 Jul 2012
End Date: 1 May 2014
Partners
- FBK
- European Space Research and Technology Centre
- Thales Alenia Space Italia
- Thales Alenia Space France
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