CORDET Framework - C2 Implementation
Introduction

The C2 Implementation is a C-language implementation of the CORDET Framework.The CORDET Framework is a software framework for service-oriented distributed embedded applications. The CORDET Framework defines an application in terms of the services it provides to other applications and in terms of the services it uses from other applications. A service is implemented by a set of commands through which an application is asked to perform certain activities and by a set of reports through which an application gives visibility over its internal state. The CORDET Framework defines the components to receive, send, distribute, and process commands and reports. The full documentation and code of the CORDET Framework is available from its project web site.

The CORDET Framework is implementation-independent. The C2 Implementation is a C language implementation of the components which implement the service concept of the CORDET Framework. The main features of the C2 Implementation are:

  • Well-Defined Semantics: clearly and unambiguously defined behaviour.
  • Minimal Memory and CPU Requirements: core module footprint of a few kBytes and efficient implementation in C.
  • Excellent Scalability: code memory footprint and CPU demands are independent of number and size of command and report instances.
  • High Reliability: a test suite provides full code, branch, and condition coverage (excluding error branches for system call errors).
  • Formal Specification: user requirements formally specify the implementation.
  • Requirement Traceability: all requirements are individually traced to their implementation and to verification evidence.
  • Documented Code: doxygen documentation for all the source code.

These characteristics make the C2 Implementation especially well-suited for use in mission-critical applications.

The CORDET Framework components are implemented using state machines and procedures (activity diagrams) defined with the semantics of the FW Profile (a UML profile with simple and unambiguous semantics). This doxygen web site does not cover the low-level code implementing the state machine and procedure behaviour (this is covered as part of the FW Profile implementation delivery).

P&P Software GmbH, Copyright 2012-2013, All Rights Reserved