FwDaCurCheck.c | Implementation of Current Failure Detection (FD) Check |
FwDaCurCheck.h | Definition of the Current Failure Detection (FD) Check |
FwDaCurRecAction.c | Implementation of Current Recovery Action |
FwDaCurRecAction.h | Definition of the Current Failure Recovery Action (RA) |
FwDaDeltaCheck.c | Implementation of Delta Failure Detection (FD) Check |
FwDaDeltaCheck.h | Definition of the Delta Failure Detection (FD) Check |
FwDaFDCheck.c | Implementation of FD Check State Machine |
FwDaFDCheck.h | Definition of the Failure Detection (FD) Check State Machine |
FwDaHwDev.c | Implementation of HW Device State Machine |
FwDaHwDev.h | Definition of the interface to access the Hardware Device |
FwDaMain.c | Demo application for the C1 Implementation of the FW Profile |
FwDaTempCheck.c | Implementation of Temperature Failure Detection (FD) Check |
FwDaTempCheck.h | Definition of the Temperature Failure Detection (FD) Check |
FwDaTempRecAction.c | Implementation of Temperature Recovery Action |
FwDaTempRecAction.h | Definition of the Temperature Failure Recovery Action (RA) |
FwPrConfig.c | Implements the configuration functions for the FW Procedure Module |
FwPrConfig.h | Declaration of the configuration interface for a FW Procedure |
FwPrConstants.h | Header file to define all constants and types for the procedure module of the FW Profile |
FwPrCore.c | Implements Core Functions of the FW Procedure |
FwPrCore.h | Declaration of the execution interface for a FW Procedure |
FwPrDCreate.c | Implements the dynamical creation functions for the FW Procedure Module |
FwPrDCreate.h | Declaration of the dynamical creation interface for a FW Procedure |
FwPrMakeTest.c | Implementation of test procedures for FW Procedure Module |
FwPrMakeTest.h | Declaration of functions to create and configure test procedures |
FwPrPrivate.h | Declaration of the internal data structures of the FW Procedure Module |
FwPrSCreate.c | Implements the static initialization functions for the FW Procedure Module |
FwPrSCreate.h | Declaration of the static creation interface for a FW Procedure |
FwPrTestCases.c | Implementation of test cases for FW Procedure Module |
FwPrTestCases.h | Declaration of the test cases for the FW Procedure Module |
FwRtConfig.c | Implements Configuration Functions of the RT Container |
FwRtConfig.h | Declaration of the configuration interface for a RT Container |
FwRtConstants.h | Header file to define all constants and types for the RT Container Module of the FW Profile |
FwRtCore.c | Implements Core Functions of the RT Container |
FwRtCore.h | Declaration of the API for a RT Container |
FwRtMakeTest.c | Implementation of test RT Containers for FW RT Container Module |
FwRtMakeTest.h | Declaration of functions to create and configure test RT Containers |
FwRtTestCases.c | Implementation of test cases for RT Container Module |
FwRtTestCases.h | Declaration of the test cases for the RT Container Module |
FwSmAux.c | Implements the auxiliary functions of the FW State Machine Module |
FwSmAux.h | Declaration of the auxiliary interface for a FW State Machine |
FwSmConfig.c | Implements the configuration functions for the FW State Machine Module |
FwSmConfig.h | Declaration of the configuration interface for a FW State Machine |
FwSmConstants.h | Header file to define all constants and types for the state machine module of the FW Profile |
FwSmCore.c | Implements the core functions of the FW State Machine Module |
FwSmCore.h | Declaration of the execution interface for a FW State Machine |
FwSmDCreate.c | Implements the dynamical creation functions for the FW State Machine Module |
FwSmDCreate.h | Declaration of the dynamical creation interface for a FW State Machine |
FwSmMakeTest.c | Implementation of test state machines for FW State Machine Module |
FwSmMakeTest.h | Declaration of functions to create and configure test state machines |
FwSmPrivate.h | Declaration of the internal data structures of the FW State Machine Module |
FwSmSCreate.c | Implements the static initialization functions for the FW State Machine Module |
FwSmSCreate.h | Declaration of the static creation interface for a FW State Machine |
FwSmTestCases.c | Implementation of test cases for FW State Machine Module |
FwSmTestCases.h | Declaration of test cases for the FW State Machine Module |
FwTestSuite.c | Test Suite for FW State Machine Module and FW Procedure Module |