Formal Design Models for Distributed Embedded Control Systems

Provided by: RWTH Aachen University
Topic: Hardware
Format: PDF
In this paper, the authors present a formal specification of the software design models used in COMDES-II - a component-based framework for distributed control systems, featuring open architecture and predictable operation under hard real-time constraints. In this framework, an application is modelled as a network of distributed embedded actors that communicate transparently by exchanging labeled messages (signals), independent of their allocation on network nodes. Actors are configured from prefabricated executable components such as modal function blocks controlled by a master state machine, whereby actor structure is specified by a data flow model (function block network).

Find By Topic