Separate compilation of hierarchical real-time programs into linear-bounded Embedded Machine code
Arkadeb Ghosal,Daniel Iercan,Christoph M. Kirsch,Thomas A. Henzinger,Alberto Sangiovanni-Vincentelli +4 more
Reads0
Chats0
TLDR
This paper proposes a generalization of the E machine, which supports a hierarchical program structure at runtime through real-time trigger mechanisms that are arranged in a tree, and a modular compiler for HTL that generates code of linear size.About:
This article is published in Science of Computer Programming.The article was published on 2012-02-01 and is currently open access. It has received 13 citations till now. The article focuses on the topics: Code generation & Source code.read more
Citations
More filters
Book ChapterDOI
The Logical Execution Time Paradigm
Christoph M. Kirsch,Ana Sokolova +1 more
TL;DR: This chapter provides an easy-to-read overview of LET programming languages and runtime systems as well as some LET-inspired models of computation.
Proceedings ArticleDOI
Fast, multicore-scalable, low-fragmentation memory allocation through large virtual memory and global data structures
TL;DR: Scalloc as discussed by the authors provides uniform treatment of small and big objects through virtual spans, efficiently and effectively reclaiming free memory through fast and scalable global data structures, and constant-time (modulo synchronization) allocation and deallocation operations that trade off memory reuse and spatial locality without being subject to false sharing.
Proceedings ArticleDOI
Distributed, Modular HTL
TL;DR: This work presents a modular abstract syntax and semantics for HTL, modular checks of well-formedness, race freedom, and transmission safety, and modular code distribution, and complements previous results on HTL time safety and modularcode generation.
Journal ArticleDOI
Low-latency time-portable real-time programming with Exotasks
Joshua S. Auerbach,David F. Bacon,Daniel Iercan,Christoph M. Kirsch,Vadakkedathu T. Rajan,Harald Röck,Rainer Trummer +6 more
TL;DR: The experiments show that the implementation of Exotasks is able to maintain very low scheduling jitter and deterministic behavior in the face of variations in both software load and hardware platform.
A hierarchical coordination language for reliable real -time tasks
TL;DR: An effective use of platform based design methodology has been proposed in Logical Execution Time (LET) model of real-time tasks, which separates the timing requirements from the architecture guarantees.
References
More filters
Journal ArticleDOI
The synchronous data flow programming language LUSTRE
TL;DR: The authors describe LUSTRE, a data flow synchronous language designed for programming reactive systems-such as automatic control and monitoring systems-as well as for describing hardware.
Book
Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications
TL;DR: This book introduces the fundamental concepts of real-time computing, illustrates the most significant results in the field, and provides the essential methodologies for designing predictable computing systems which can be used to support critical control applications.
BookDOI
Hard Real-Time Computing Systems
TL;DR: The first € price and the £ and $ price are net prices, subject to local VAT, and the €(D) includes 7% for Germany, the€(A) includes 10% for Austria.
Book ChapterDOI
Giotto: A Time-Triggered Language for Embedded Programming
TL;DR: The time-triggered nature of Giotto achieves timing predictability, which makes Giotto particularly suitable for safety-critical applications.
Proceedings ArticleDOI
Trajectory tracking for non-holonomic cars: A linear approach to controlled leader-follower formation
TL;DR: This article describes the design of a linear robust dynamic output feedback control scheme for output reference trajectory tracking tasks in a leader-follower non-holonomic car formation problem using the cars' kinematic models.