FDIRGEN

FDIRGEN - generate fdir code from high-level declarative specification

FdirGen tries to cover the problem of fault detection through the specification of temporal properties togegher with a recovery procedure on a high-level state machine DSL. It will generate C code for the monitor of the properties and the state machine of all of the fault conditions and procedures. It also implements more functionalities (such as external interfaces, priorities on the fault modes ...) , for a more detailed description of the tool and its overall architecture, we point you to the fdirgen paper

There is also available an artifact containing the code and a DockerFile to boostrap the required environment.