Deterministic implementation of periodic-delayed communications and experimentation in AADL
- 1 June 2013
- conference paper
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE) in 16th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2013)
- No. 15550885,p. 1-8
- https://doi.org/10.1109/isorc.2013.6913210
Abstract
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.Keywords
This publication has 13 references indexed in Scilit:
- The OASIS Kernel: A Framework for High Dependability Real-Time SystemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2011
- Investigating the usability of real-time scheduling theory with the Cheddar projectReal-Time Systems, 2009
- Efficient Embedded Runtime Systems through Port Communication OptimizationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2008
- Real-time task scheduling anomalyPublished by Association for Computing Machinery (ACM) ,2005
- The time-triggered architectureProceedings of the IEEE, 2003
- Scheduling and communication in MetaHPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- The Ravenscar tasking profile for high integrity real-time programsPublished by Springer Science and Business Media LLC ,1998
- Real-time computing with lock-free shared objectsACM Transactions on Computer Systems, 1997
- A methodology for implementing highly concurrent data objectsACM Transactions on Programming Languages and Systems, 1993
- Distributed fault-tolerant real-time systems: the Mars approachIEEE Micro, 1989