Synthesising Real-Time Systems from Atomic Basic Blocks
Fabian Scheler, Wolfgang Schröder‐Preikschat · 2006
Whether a real-time system is implemented as timetriggered or event-triggered system is constituted quite early in the development process of real-time systems. Unfortunately, different task models are associated inseparably with these real-time architectures. This makes it very hard to migrate from time-triggered to event-triggered systems and vice versa, also the reuse of individual eventhandlers of a real-time system is prohibited by this fact. In this paper we point out that there is no need to prefer a certain real-time architecture in many cases. Therefore, we sketch an architecture-independent representation of realtime systems based on so called atomic basic blocks (ABB). These ABBs allow to describe reusable event-handlers that are composed into the final real-time system by an automated synthesis.