资 源 简 介
The project is moved to github
https://github.com/pnp-software/fwprofile
FW Profile - C1 Implementation
The Framework Profile (FW Profile) provides an unambiguous definition of State Machines, Procedures (Activity Diagrams) and RT Containers (encapsulation of threads). The C1 Implementation is a C-language implementation of these concepts. Its main features are:
Well-Defined Semantics: clearly and unambiguously defined behaviour.
Minimal Memory Requirements: core module footprint of a few kBytes.
Small CPU Demands: one single level of indirection (due to actions and guards being implemented as function pointers).
Excellent Scalability: memory footprint and CPU demands are independent of number and size of state machine and procedure instances.
High Reliability: test suite with 100% code, branch, and condition cover
