The multi-thread graph, a model for embedded software synthesis
Filip Thoen, Gert Goossens, Jan Van Der Steen, Hugo De Man · 1996
Software synthesis is a new approachwhich focuses on the support of real-time embedded software systems without the use of operating-systems. Our software synthesis methodology starts from a concurrent process system specification and tries to automate the mapping of this description onto a single processor. The internal system-level model which captures the embedded software and which is the backbone of our software synthesis methodology, is presented. The model is suited for the encapsulation of fine-grain behavior, support of multiple threads of control (concurrency), synchronization, data communication, hierarchy and timing constraints. Additionally, it is shown how the model is used to address the software scheduling sub-task within our software synthesis methodology. I. INTRODUCTION The target application domain of our software synthesis approach is advanced real-time information processing systems, such as personal communication systems. To make miniaturization possible and to r...