COMPASS
The project is running since its kick-off in February 1st, 2008. The consortium consists of the chair of Software Modeling and Verification at the Institute of Computer Science of the RWTH Aachen University in Germany (project coordinator), research center Fondazione Bruno Kessler in Italy (research subcontractor), Thales Alenia Space in …
AUTOGEF
Welcome to AUTOGEF! The AUTOGEF Project is an international research project for developing an FDIR development and V&V process. It is based on the COMPASS project, which it extends with new functionalities. The project was started in April 2012 and was concluded in July 2013. The consortium consists of …
FAME
Welcome to FAME! The FAME Project is an international research project for developing an FDIR development and V&V process. It is based on the COMPASS project, which it extends with new functionalities. The project was started in July 2012 and was concluded in May 2014. The consortium consists of …
HASDEL
Welcome to HASDEL! HASDEL (Hardware Software Dependability for Launchers) is an ESA project (contract ESTEC 4000107221/13/NL/JK), 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 …
CATSY
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, both validation and verification can be performed earlier and more accurately. The project was started in 2015 and concluded in 2016 …
COMPASS 3
The COMPASS 3 project aims to improve the overall quality of the toolset, and consolidate all the previous improvements of past COMPASS projects. Objectives Provide a consolidated definition of the syntax and semantics of the SLIM language, by incorporating selected constructs from previous projects, and resolve existing semantics issues and …
