Develop Failure Detection Isolation and Recovery (FDIR) Development and Verification and Validation (VV) Process, coordinated with the System and Software Development Processes. Develop corresponding FDIR Development Environment implementing the Process and allowing for the approach coherent with System and Software Engineering.

Currently employed approaches to FDIR development are poorly phased with regard to the main Software Development activities. They have tendency of starting late, awaiting for the system Failure Mode Effects and Criticality Analysis (FMECA) data. If functional FMECA is sometimes available, its update into the physical FMECA is seldom ready for software development. FDIR definition is not adequately synchronised with the nominal Software System behaviour. Traditional approaches to testing are often inadequate for FDIR due to large amount of possible combinations of the monitored events, limited system observability, and difficulties in recreating the necessary conditions. Dedicated FDIR Development Processes, and Verification methods, applicable to and harmonised within the European Space Industry, are required for the coordinated approach to FDIR development, effective project planning and control, and proper achievement of FDIR operational objectives. The FDIR Development Process resulting from this activity shall take into account the lessons learnt with regard to FDIR development from the current operational projects. It shall provide the FDIR Development Environment implementing the Process and allowing for the approach coherent with the System and Software Engineering. Set of methods and tools shall be developed for formal FDIR specification and analysis for correctness, consistency, FDIR operational effectiveness, and effect on the overall System Dependability. System-level FDIR VV shall be addressed. This activity shall leverage results of the ESA COMPASS project and developed Integrated Tool-set.