Projects for tag "FDIR"

GAFE - Generic AOCS/GNC Techniques & Design Framework for FDIR

GAFE is the abbreviation for "Generic AOCS/GNC Techniques & Design Framework for Failure Detection, Isolation and Recovery" and the name of the framework develo...

Licenses: European Space Agency Community License – v2.4 Permissive (Type 3)
read more
Updated on: 04/11/2019
Created on: 01/11/2019
Owner: ESA
Tags: FDIR AOCS GNC
COMPASS

COMPASS (COrrectness, Modeling and Performance of AeroSpace Systems) is a toolset aiming to ensure system-level correctness, safety, dependability and performabili...

read more
Updated on: 14/04/2019
Created on: 13/09/2018
Owner: RWTH Aachen University (Germany) and Fondazione Bruno Kessler (Italy)
Links:
  1. Homepage : Compass toolset homepage
Tags: Model Checking correctness safety dependability performability FDIR simulation RAMS TFPG