TY - GEN
T1 - Deterministic implementation of periodic-delayed communications and experimentation in AADL
AU - Cadoret, Fabien
AU - Robert, Thomas
AU - Borde, Etienne
AU - Pautet, Laurent
AU - Singhoff, Frank
N1 - Publisher Copyright:
© 2013 IEEE.
PY - 2014/9/29
Y1 - 2014/9/29
N2 - The design of hard real-time embedded systems has to comply with strong requirements with respect to time determinism and resource consumption. However, interacting tasks may induce pessimism in schedulability analysis or introduce significant overheads in memory usage. In this paper, we restrict the execution and communication models to enforce an efficient and predictable implementation. To ensure determinism, a message sent by an emitting task is delivered at its deadline. We take advantage of a wait-free specialized message queues to provide predictable and efficient implementation. The integration of such mechanisms is assisted by a model driven engineering framework1.
AB - The design of hard real-time embedded systems has to comply with strong requirements with respect to time determinism and resource consumption. However, interacting tasks may induce pessimism in schedulability analysis or introduce significant overheads in memory usage. In this paper, we restrict the execution and communication models to enforce an efficient and predictable implementation. To ensure determinism, a message sent by an emitting task is delivered at its deadline. We take advantage of a wait-free specialized message queues to provide predictable and efficient implementation. The integration of such mechanisms is assisted by a model driven engineering framework1.
KW - model driven engineering
KW - real-time middleware
KW - scheduling theory
U2 - 10.1109/ISORC.2013.6913210
DO - 10.1109/ISORC.2013.6913210
M3 - Conference contribution
AN - SCOPUS:84910070704
T3 - 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2013
BT - 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2013
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2013
Y2 - 19 June 2013 through 21 June 2013
ER -