Multi-thread graph: a system model for real-time embedded software synthesis
Filip Thoen, Jan Van Der Steen, Gjalt de Jong, Gert Goossens, Hillarie Man · 1997
Software synthesis is a new approach which focuses on the support of real-time embedded multi-tasking software without the use of operating systems. A software synthesis system starts from a concurrent process system specification and maps this description automatically onto one or more processors. In this paper, the internal system-level model which captures the embedded software and which is the backbone of our software synthesis methodology, is presented. The model captures the fine-grain behaviour of a system, and supports multiple threads of control (concurrency), synchronisation, data communication, hierarchy and timing constraints. Keywords - real-time embedded software, multi-tasking, software modelling, software synthesis. 1 Introduction Advanced real time informationprocessing and personal communication systems are of increasing industrial importance. In this domain, there is a continuous evolution towards more complex applications, often integrating whole systems on a sin...