The Real-Time Systems Compiler: migrating event-triggered systems to time-triggered systems

Scheler F, Schröder-Preikschat W (2011)


Publication Type: Journal article

Publication year: 2011

Journal

Publisher: Wiley-Blackwell

Book Volume: 41

Pages Range: 1491-1515

Journal Issue: 12

URI: http://onlinelibrary.wiley.com/doi/10.1002/spe.1099/abstract

DOI: 10.1002/spe.1099

Abstract

In this paper, we present a prototype of the Real-Time Systems Compiler (RTSC). The RTSC is a compiler-based tool that enables the migration from event-triggered to time-triggered real-time systems. This is achieved by replacing the real-time systems architecture of a given real-time system. The real-time systems architecture governs the structural properties of the white-box view of a real-time system: how are tasks attached to events and how are dependencies between different tasks implemented. The RTSC uses an abstraction called Atomic Basic Blocks (ABBs) to hide the real-time systems architecture and capture all relevant dependencies of an event-triggered system in a global ABB-graph. The RTSC automatically extracts that ABB-graph from an event-triggered real-time system given as source code, transforms that ABB-graph appropriately, and maps it to a statically computed schedule that could be executed by standard time-triggered real-time operating systems. Important temporal properties of the physical environment of the real-time system needed for that transformation are stored in a system model provided as additional input to the RTSC. Furthermore, we demonstrate the applicability of our approach and the operation of our prototype by transforming an event-triggered control application into a time-triggered equivalent. © 2011 John Wiley & Sons, Ltd.

Authors with CRIS profile

How to cite

APA:

Scheler, F., & Schröder-Preikschat, W. (2011). The Real-Time Systems Compiler: migrating event-triggered systems to time-triggered systems. Software-Practice & Experience, 41(12), 1491-1515. https://doi.org/10.1002/spe.1099

MLA:

Scheler, Fabian, and Wolfgang Schröder-Preikschat. "The Real-Time Systems Compiler: migrating event-triggered systems to time-triggered systems." Software-Practice & Experience 41.12 (2011): 1491-1515.

BibTeX: Download