Zobrazeno 1 - 10
of 12
pro vyhledávání: '"Stephan Thesing"'
Publikováno v:
Proceedings of the IEEE. 91:1038-1054
The architecture of tools for the determination of worst case execution times (WCETs) as well as the precision of the results of WCET analyses strongly depend on the architecture of the employed processor. The cache replacement strategy influences th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b762628058e9d20af3a2cc5e89186cca
https://doi.org/10.1109/jproc.2003.814618
https://doi.org/10.1109/jproc.2003.814618
Autor:
Daniel Kästner, Stephan Thesing
Publikováno v:
Real-Time Systems. 17:235-256
We present a novel pre-runtime scheduling method for uniprocessors which precisely takes the effects of task switching on the processor cache into consideration. Tasks are modelled as a sequence of non preemptable segments with precedence constraints
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::534d7729e96f402561126d68279f7031
https://doi.org/10.1023/a:1008142508047
https://doi.org/10.1023/a:1008142508047
Autor:
Frank Mueller, Christian Ferdinand, Niklas Holsti, Guillem Bernat, Isabelle Puaut, Reinhard Wilhelm, Jakob Engblom, Reinhold Heckmann, David Whalley, Jan Staschulat, Andreas Ermedahl, Stephan Thesing, Tulika Mitra, Per Stenström, Peter Puschner
Publikováno v:
ACM Transactions on Embedded Computing Systems
The determination of upper bounds on execution times, commonly called worst-case execution times (WCETs), is a necessary step in the development and validation process for hard real-time systems. This problem is hard if the underlying processor archi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::88fcabd33c7d70e7acffad12c8a8a6f5
Autor:
Ingmar Stein, Stephan Thesing, Florian Martin, Christoph Cullmann, Marc Schlickling, Christian Ferdinand, Reinhold Heckmann
Publikováno v:
Program Analysis and Compilation, Theory and Practice ISBN: 9783540713159
The worst-case execution time analyzer aiT originally developed by Saarland University and AbsInt GmbH computes safe and precise upper bounds for the WCETs of tasks. It relies on a pipeline model that usually has been handcrafted.We present some new
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d8a4c39d59ac869011b053d5b8f1a736
https://doi.org/10.1007/978-3-540-71322-7_2
https://doi.org/10.1007/978-3-540-71322-7_2
Autor:
Stephan Thesing
Publikováno v:
EMSOFT
Upper bounds on worst-case execution times, which are commonly called WCET, are a prerequisite for validating the temporal correctness of tasks in a real-time system. Due to the execution history sensitive behavior of components like caches, pipeline
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::882a6e85774c45f2fb1498feca372580
https://doi.org/10.1145/1176887.1176929
https://doi.org/10.1145/1176887.1176929
Autor:
Marc Langenbach, Reinhold Heckmann, Christian Ferdinand, Stephan Thesing, Reinhard Wilhelm, Jean Souyris, F. Randimbivololona
Publikováno v:
DSN
Hard real-time avionics systems like flight control software are expected to always react in time. Consequently, it is essential for the timing validation of the software that the worst-case execution time (WCET) of all tasks on a given hardware conf
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::875daa6adb9dfd930123d929302ce06e
https://doi.org/10.1109/dsn.2003.1209972
https://doi.org/10.1109/dsn.2003.1209972
Publikováno v:
Automated Technology for Verification and Analysis ISBN: 9783540236108
ATVA
ATVA
The precise determination of worst-case execution times (WCETs) for programs is mostly being performed on fully linked executables, since all needed information is available and all machine parameters influencing cache performance are available to th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a9a3596d8eb6eb75eaad83afd2f65670
https://doi.org/10.1007/978-3-540-30476-0_20
https://doi.org/10.1007/978-3-540-30476-0_20
Publikováno v:
Static Analysis ISBN: 9783540442356
SAS
SAS
In hard real-time systems, the worst-case execution times of programs must be known. Obtaining safe upper bounds for these times by measuring actual executions is rarely possible, since the worst case input is normally not known. We apply static prog
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f77064e1b95232c69fd9f2abf3523452
https://doi.org/10.1007/3-540-45789-5_22
https://doi.org/10.1007/3-540-45789-5_22
Autor:
Marc Langenbach, Henrik Theiling, Michael Schmidt, Florian Martin, Reinhold Heckmann, Christian Ferdinand, Reinhard Wilhelm, Stephan Thesing
Publikováno v:
Embedded Software ISBN: 9783540426738
EMSOFT
EMSOFT
The USES-groupat the Universitat des Saarlandes follows an approach to compute reliable run-time guarantees which is both wellbased on theoretical foundations and practical from a software engineering and an efficiency point of view. Several aspects
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::35162337cff5eeac39d3fc81fd362d65
https://doi.org/10.1007/3-540-45449-7_32
https://doi.org/10.1007/3-540-45449-7_32
Autor:
Christian Ferdinand, Reinhard Wilhelm, Jörn Schneider, Marc Langenbach, Daniel Kästner, Florian Martin, Stephan Thesing, Henrik Theiling, Michael Schmidt
Publikováno v:
Informatik aktuell ISBN: 9783540664505
GI Jahrestagung
GI Jahrestagung
The USES group follows an approach to compute reliable runtime guarantees which is based on well-understood theoretical foundations, practical in use, and efficient.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7d7f726045a914c0ef8727cc196947c5
https://doi.org/10.1007/978-3-662-01069-3_60
https://doi.org/10.1007/978-3-662-01069-3_60