Propagation rules of real-time constraints on physical systems simulators in a hardware-in-the loop context

Authors:
Cyril Faure;Nicolas Pernet
Affiliations:
CEA LIST, Embedded Real Time System foundations Laboratory (LaSTRE);IFP Energies nouvelles, Rueil Malmaison, France
Venue:
Proceedings of the 20th International Conference on Real-Time and Network Systems
Year:
2012

Citing 4
Cited 0

Dynamic scheduling of real-time tasks under precedence constraints

Real-Time Systems
Generalized Multiframe Tasks

Real-Time Systems
The feasibility of general task systems with precedence constraints on multiprocessor platforms

Real-Time Systems
A hybrid synchronous language with hierarchical automata: static typing and translation to synchronous code

EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software

Quantified Score

Hi-index	0.00

Visualization

Abstract

The conception of a Hardware-in-the-loop system requires the antagonist compliance of simulations with real-time constraints. Namely, specific parts of complex embedded systems are simulated using physical continuous models execution called simulators. So-called "real-time simulations" thus strongly interact through data exchange with the real components in the loop imposing restrictions on computations. In this paper, we show that inferring these constraints from those imposed by data transfers is not trivial. Indeed, present commercial code generation tools from physical models do not tackle this problem appropriately. We consequently introduce the notion of mesh constraints, as temporal points where simulated time has to match real-time. We then propose propagation rules to compute these mesh constraints when simulated parts consist of several simulators. The resulting constraints lead to less drastically constrained task sets, potentially allowing more efficient scheduling.