Real-Time Multi-Tasking in Software Synthesis for Information Processing Systems

Software synthesis is a new approach which focuses on the support of embedded systems without the use of operating-systems. Compared to traditional design practices, a better utilization of the available time and hardware resources can be achieved, because the static information provided by the system specification is fully exploited and an application specific solution is automatically generated. On-going research on a software synthesis approach for real-time information processing systems is presented which starts from a concurrent process system specification and tries to automate the mapping of this description to a single processor. An internal representation model which is well suited for the support of concurrency and timing constraints is proposed, together with flexible execution models for multi-tasking with real-time constraints. The method is illustrated on a personal terminal receiver demodulator for mobile satellite communication

Requirements for static task scheduling in real-time embedded systems

Static task scheduling is an important step in embedded system design. In this paper, we have studied a recently proposed representation model, called Multi Thread Graph and a given static scheduling heuristic based on this MTG. Applying the heuristic to the software part of a GPS receiver, we have successfully scheduled the tasks under the required timing constraints. The experiment shows that extension to the slack concept is effective as a scheduling metric in systems where timing constraints are the only issue. However, by analyzing the results we have also identified other cost related factors to be incorporated in the original heuristic to arrive at an applicable task scheduling algorithm

Software Synthesis for Real-Time Information Processing Systems

Software synthesis is a new approach which focuses on the support of embedded systems without the use of operating-systems. Compared to traditional design practices, a better utilization of the available time and hardware resources can be achieved with software synthesis, because the static information provided by the system specification is fully exploited and a application specific solution is automatically generated. In this paper on-going research on a software synthesis approach for real-time information processing systems is presented which starts from a concurrent process system specification and tries to automate the mapping of this description to a single processor. An internal representation model which is well suited for the support of concurrency and timing constraints is proposed, together with flexible execution models for multi-tasking with real-time constraints. The method is illustrated on a personal terminal receiver demodulator for mobile satellite communication

The Multi-Thread Graph Model for Embedded Software Synthesis

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..

Multi-Thread Graph: A System Model for Real-Time Embedded Software Synthesis

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