Issue
Leibniz Transactions on Embedded Systems, Volume 6, Issue 1
LITES, Volume 6, Issue 1
-
Part of:
Volume:
LITES, Volume 6
Journal: Leibniz Transactions on Embedded Systems (LITES)
Publication Details
- published at: 2019-05-14
- Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
- DBLP: db/journals/lites/lites6
Access Numbers
- Detailed Access Statistics available here
-
Total Document Accesses (updated on a weekly basis):
0PDF Downloads
Documents
No documents found matching your filter selection.
Document
Complete Issue
LITES, Volume 6, Issue 1
Abstract
LITES, Volume 6, Issue 1
Cite as
LITES, Volume 6, Issue 1, pp. 1-188, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
Copy BibTex To Clipboard
@Article{LITES-v006-i001,
title = {{LITES, Volume 6, Issue 1}},
journal = {Leibniz Transactions on Embedded Systems},
pages = {1--188},
ISSN = {2199-2002},
year = {2019},
volume = {6},
number = {1},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LITES-v006-i001},
doi = {10.4230/LITES-v006-i001},
annote = {Keywords: LITES, Volume 6, Issue 1}
}
Document
Local Planning Semantics: A Semantics for Distributed Real-Time Systems
Abstract
Design, implementation and verification of distributed real-time systems are acknowledged to be very hard tasks. Such systems are prone to different kinds of delay, such as execution time of actions or communication delays implied by distributed platforms. The latter increase considerably the complexity of coordinating the parallel activities of running components. Scheduling such systems must cope with those delays by proposing execution strategies ensuring global consistency while satisfying the imposed timing constraints. In this paper, we investigate a formal model for such systems as compositions of timed automata subject to multiparty interactions, and propose a semantics aiming to overcome the communication delays problem through anticipating the execution of interactions. To be effective in a distributed context, scheduling an interaction should rely on (as much as possible) local information only, namely the state of its participating components. However, as shown in this paper these information is not always sufficient and does not guarantee a safe execution of the system as it may introduce deadlocks. Moreover, delays may also affect the satisfaction of timing constraints, which also corresponds to deadlocks in the former model. Thus, we also explore methods for analyzing such deadlock situations and for computing deadlock-free scheduling strategies when possible.
Cite as
Mahieddine Dellabani, Jacques Combaz, Saddek Bensalem, and Marius Bozga. Local Planning Semantics: A Semantics for Distributed Real-Time Systems. In LITES, Volume 6, Issue 1 (2019). Leibniz Transactions on Embedded Systems, Volume 6, Issue 1, pp. 01:1-01:27, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
Copy BibTex To Clipboard
@Article{dellabani_et_al:LITES-v006-i001-a001,
author = {Dellabani, Mahieddine and Combaz, Jacques and Bensalem, Saddek and Bozga, Marius},
title = {{Local Planning Semantics: A Semantics for Distributed Real-Time Systems}},
journal = {Leibniz Transactions on Embedded Systems},
pages = {01:1--01:27},
ISSN = {2199-2002},
year = {2019},
volume = {6},
number = {1},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LITES-v006-i001-a001},
URN = {urn:nbn:de:0030-drops-192776},
doi = {10.4230/LITES-v006-i001-a001},
annote = {Keywords: Distributed Real-Time Systems, Timed Automata, Formal Verification}
}
Document
Improving WCET Evaluation using Linear Relation Analysis
Abstract
The precision of a worst case execution time (WCET) evaluation tool on a given program is highly dependent on how the tool is able to detect and discard semantically infeasible executions of the program. In this paper, we propose to use the classical abstract interpretation-based method of linear relation analysis to discover and exploit relations between execution paths. For this purpose, we add auxiliary variables (counters) to the program to trace its execution paths. The results are easily incorporated in the classical workflow of a WCET evaluator, when the evaluator is based on the popular implicit path enumeration technique. We use existing tools - a WCET evaluator and a linear relation analyzer - to build and experiment a prototype implementation of this idea.
Cite as
Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Erwan Jahier, Nicolas Halbwachs, Fabienne Carrier, Mihail Asavoae, and Rémy Boutonnet. Improving WCET Evaluation using Linear Relation Analysis. In LITES, Volume 6, Issue 1 (2019). Leibniz Transactions on Embedded Systems, Volume 6, Issue 1, pp. 02:1-02:28, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
Copy BibTex To Clipboard
@Article{raymond_et_al:LITES-v006-i001-a002,
author = {Raymond, Pascal and Maiza, Claire and Parent-Vigouroux, Catherine and Jahier, Erwan and Halbwachs, Nicolas and Carrier, Fabienne and Asavoae, Mihail and Boutonnet, R\'{e}my},
title = {{Improving WCET Evaluation using Linear Relation Analysis}},
journal = {Leibniz Transactions on Embedded Systems},
pages = {02:1--02:28},
ISSN = {2199-2002},
year = {2019},
volume = {6},
number = {1},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LITES-v006-i001-a002},
URN = {urn:nbn:de:0030-drops-192784},
doi = {10.4230/LITES-v006-i001-a002},
annote = {Keywords: Worst Case Execution Time estimation, Infeasible Execution Paths, Abstract Interpretation}
}
Document
A Survey of Probabilistic Timing Analysis Techniques for Real-Time Systems
Abstract
This survey covers probabilistic timing analysis techniques for real-time systems. It reviews and critiques the key results in the field from its origins in 2000 to the latest research published up to the end of August 2018. The survey provides a taxonomy of the different methods used, and a classification of existing research. A detailed review is provided covering the main subject areas: static probabilistic timing analysis, measurement-based probabilistic timing analysis, and hybrid methods. In addition, research on supporting mechanisms and techniques, case studies, and evaluations is also reviewed. The survey concludes by identifying open issues, key challenges and possible directions for future research.
Cite as
Robert I. Davis and Liliana Cucu-Grosjean. A Survey of Probabilistic Timing Analysis Techniques for Real-Time Systems. In LITES, Volume 6, Issue 1 (2019). Leibniz Transactions on Embedded Systems, Volume 6, Issue 1, pp. 03:1-03:60, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
Copy BibTex To Clipboard
@Article{davis_et_al:LITES-v006-i001-a003,
author = {Davis, Robert I. and Cucu-Grosjean, Liliana},
title = {{A Survey of Probabilistic Timing Analysis Techniques for Real-Time Systems}},
journal = {Leibniz Transactions on Embedded Systems},
pages = {03:1--03:60},
ISSN = {2199-2002},
year = {2019},
volume = {6},
number = {1},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LITES-v006-i001-a003},
URN = {urn:nbn:de:0030-drops-192793},
doi = {10.4230/LITES-v006-i001-a003},
annote = {Keywords: Probabilistic, real-time, timing analysis}
}
Document
A Survey of Probabilistic Schedulability Analysis Techniques for Real-Time Systems
Abstract
This survey covers schedulability analysis techniques for probabilistic real-time systems. It reviews the key results in the field from its origins in the late 1980s to the latest research published up to the end of August 2018. The survey outlinesfundamental concepts and highlights key issues. It provides a taxonomy of the different methods used, and a classification of existing research. A detailed review is provided covering the main subject areas as well as research on supporting techniques. The survey concludes by identifying open issues, key challenges and possible directions for future research.
Cite as
Robert I. Davis and Liliana Cucu-Grosjean. A Survey of Probabilistic Schedulability Analysis Techniques for Real-Time Systems. In LITES, Volume 6, Issue 1 (2019). Leibniz Transactions on Embedded Systems, Volume 6, Issue 1, pp. 04:1-04:53, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
Copy BibTex To Clipboard
@Article{davis_et_al:LITES-v006-i001-a004,
author = {Davis, Robert I. and Cucu-Grosjean, Liliana},
title = {{A Survey of Probabilistic Schedulability Analysis Techniques for Real-Time Systems}},
journal = {Leibniz Transactions on Embedded Systems},
pages = {04:1--04:53},
ISSN = {2199-2002},
year = {2019},
volume = {6},
number = {1},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LITES-v006-i001-a004},
URN = {urn:nbn:de:0030-drops-192803},
doi = {10.4230/LITES-v006-i001-a004},
annote = {Keywords: Probabilistic, real-time, schedulability analysis, scheduling, }
}
Document
Elastic Scheduling for Parallel Real-Time Systems
Abstract
The elastic task model was introduced by Buttazzo et al.~in order to represent recurrent real-time workloads executing upon uniprocessor platforms that are somewhat flexible with regards to timing constraints. In this work, we propose an extension of this model and apply it to represent recurrent real-time workloads that exhibit internal parallelism and are executed on multiprocessor platforms. In our proposed extension, the elasticity coefficient - the quantitative measure of a task's elasticity that was introduced in the model proposed by Buttazzo et al. - is interpreted in the same manner as in the original (sequential) model. Hence, system developers who are familiar with the elastic task model in the uniprocessor context may use our more general model as they had previously done, now for real-time tasks whose computational demands require them to utilize more than one processor.
Cite as
James Orr, Chris Gill, Kunal Agrawal, Jing Li, and Sanjoy Baruah. Elastic Scheduling for Parallel Real-Time Systems. In LITES, Volume 6, Issue 1 (2019). Leibniz Transactions on Embedded Systems, Volume 6, Issue 1, pp. 05:1-05:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
Copy BibTex To Clipboard
@Article{orr_et_al:LITES-v006-i001-a005,
author = {Orr, James and Gill, Chris and Agrawal, Kunal and Li, Jing and Baruah, Sanjoy},
title = {{Elastic Scheduling for Parallel Real-Time Systems}},
journal = {Leibniz Transactions on Embedded Systems},
pages = {05:1--05:14},
ISSN = {2199-2002},
year = {2019},
volume = {6},
number = {1},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LITES-v006-i001-a005},
URN = {urn:nbn:de:0030-drops-192819},
doi = {10.4230/LITES-v006-i001-a005},
annote = {Keywords: Parallel real-time tasks, multiprocessor federated scheduling, elasticity coefficient}
}