F´ Flight Software - C/C++ Documentation
NASA-v1.5.0
A framework for building embedded system applications to NASA flight quality standards.
|
Svc::AssertFatalAdapter
is an passive component that intercepts calls to FW_ASSERT and issues FATAL events for each.
The requirements for Svc::AssertFatalAdapter
are as follows:
Requirement | Description | Verification Method |
---|---|---|
AF-001 | The Svc::AssertFatalAdapter component shall convert all calls to FW_ASSERT to FATAL events | Unit test |
The Svc::AssertFatalAdapter
component has the following component diagram:
The Svc::AssertFatalAdapter
component uses only the log infrastructure ports.
Port Data Type | Name | Direction | Kind | Usage -----------— | -— | ------— | -— | --—
The Svc::AssertFatalAdapter
component contains a private implementation of the Fw::AssertHook
base class (AssertFatalAdapter
). Upon instantiation, the derived class registers itself to receive calls the FW_ASSERT. When it receives any one of them, it issues a FATAL event corresponding to the number of arguments to FW_ASSERT. Whatever mechanism in the system that deals with FATAL events will handle the asserts via that mechanism.
As described in the Functional Description section, the Svc::ActiveRateGroup
component accepts calls to the CycleIn and invokes the RateGroupMemberOut ports:
Svc::AssertFatalAdapter
has no state machines.
Svc::AssertFatalAdapter
has no significant algorithms.
Dictionaries: HTML MD
Document | Link -----— | -— None yet
The unit test results are as follows:
Log | Link |
---|---|
Test Output | Link |
Coverage Output | Link |
Date | Description |
---|---|
10/16/2016 | Implementation and unit tests |