Download The CORDET Framework C2 Implementation - USER MANUAL -

PP-UM-COR-00002
Revision 0.6.0
Table 2.2: Source Code in CORDET Delivery File
Sub-Directory
Sub-Directory Description
/src/crFramework
Invariant Framework Software implementin
the CORDET Components.
For each
CORDET Component, a dedicated subdirectory is present which holds the code implementing the component. The name of the
sub-directory is the same as the name of the
component. The code in this directory is
used unchanged in all applications instantiated from the CORDET Framework.
/src/FwProfile
Source code for the State Machine and Procedure modules of the C1 Implementation of
the FW Profile. The code in this directory
is used unchanged in all applications instantiated from the CORDET Framework.
/src/CrTestSuite
Application-Specific Software for the Test
Suite application.
/src/CrConfigTestSuite
Configurable Framework Software for the Test
Suite application.
/src/CrDemoMaster
Application-Specific Software for the Master
Application of the Demo Application.
/src/CrConfigDemoMaster Configurable Framework Software for the
Master Application of the Demo Application.
/src/CrDemoSlave1
Application-Specific Software for the Slave 1
Application of the Demo Application.
/src/CrConfigDemoSlave1 Configurable Framework Software for the
Slave 1 Application of the Demo Application.
/src/CrDemoSlave2
Application-Specific Software for the Slave 2
Application of the Demo Application.
/src/CrConfigDemoSlave2 Configurable Framework Software for the
Slave 2 Application of the Demo Application.
2.4
Support Documentation
The C2 Implementation is delivered with the following support documents:
• The CORDET Framework Definition Document which specifies the
framework implemented by the C2 Implementation
• A User Manual (this document) which describes how the C2 Implementation is used
• A User Requirement Document which formally specifies the C2 Implementation through a set of requirements and provides validation and
verification evidence for each requirement
These documents, together with the Test Suite and the detailed software documentation in the Doxygen web site, constitute the Qualification Data Package (QDP) for the C2 Implementation. The QDP is provided for users who need
to certify their application or, more generally, who need to provide evidence of
c
2013
P&P Software GmbH. All Rights Reserved.
This document is provided with the GPL version of the
C2 Implementation of the CORDET Framework.
11