From high-level specifications down to software implementations of parallel embedded real-time systems

In this paper we describe a methodology and accompanying tool support for the development of parallel and distributed embedded real-time system software. The presented approach comprises the complete design flow from the modeling of a distributed controller system by means of a high-level graphical language down to the synthesis of executable code for a given target hardware, whereby the implementation is verified to meet hard real-time constraints. The methodology is mainly based upon the tools SEA (system engineering and animation) and CHaRy (the C-LAB Hard Real-Time System)