You are here


HASDEL (Hardware Software Dependability for Launchers) is an ESA project, conducted by a consortium coordinated by Airbus Defence and Space with FBK and RWTH, aiming at analysing the specific needs of launcher systems in the domain of RAMS (Reliability, Availability, Maintainability and Safety) analysis and at extending the COMPASS (Correctness, Modelling and Performance of Aerospace Systems) toolset with these specific needs

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.

The ESA AUTOGEF (Dependability Design Approach  for Critical Flight Software) study is a direct follow-on  of the ESA TRP COMPASS (Correctness, Modelling  and Performance of Aerospace Systems).

AUTOGEF aims to demonstrate that synthesis  approaches can allow for effective automated FDIR development in accordance with the dependability requirements, through the implementation of an add-on
to the COMPASS tool.

The COMPASS Project is an international research project for developing a theoretical and technological basis for the system-software co-engineering approach focusing on a coherent set of specification and analysis techniques for evaluation of system-level correctness, safety, dependability and performability of on-board computer-based aerospace systems. These techniques shall significantly improve the reliability of modern and future space missions.

SIMS is a industrial project which aims to analyze operational data provided by devices (Oil & Gas, Rail domains) in order to take appropriate corrective actions in terms of preventive maintenance

The CATSY (Catalogue of System and Software Properties) project aims to improve the early verification and validation (V&V) activities by providing new methods to formalise requirements and validate the formal properties.

The VMT format is an extension of the SMT-LIBv2 (SMT2 for short) format to represent symbolic transition systems. VMT exploits the capability offered by the SMT2 language of attaching annotations to terms and formulas in order to specify the components of the transition system and the properties to verify.