Details
| Original language | English |
|---|---|
| Title of host publication | Proceedings - 2017 IEEE 23rd Real-Time and Embedded Technology and Applications Symposium, RTAS 2017 |
| Editors | Gabriel Parmer |
| Publisher | Institute of Electrical and Electronics Engineers Inc. |
| Pages | 37-48 |
| Number of pages | 12 |
| ISBN (electronic) | 9781509052691 |
| Publication status | Published - 5 Jun 2017 |
| Event | 23rd IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2017 - Pittsburgh, United States Duration: 18 Apr 2017 → 21 Apr 2017 |
Abstract
The worst-case response time (WCRT) - the time span from release to completion of a real-time task - is a crucial property of real-time systems. However, WCRT analysis is complex in practice, as it depends not only on the realistic examination of worst-case execution times (WCET), but also on system-level overheads and blocking/preemption times. While the implicit path enumeration technique (IPET) has greatly improved automated WCET analysis, the resulting values still need to be aggregated manually with the system-level overheads - an errorprone and tedious process that yields overly pessimistic results. With SysWCET, we provide an integrated approach for the automated WCRT analysis across multiple threads of execution, locks, interrupt service routines, and the real-time operating system (RTOS) in particular. Our approach spans a single IPET formulation over the whole system and exploits RTOS and scheduler semantics to derive cross-kernel flow facts in order to significantly reduce pessimism in the WCRT analysis. We evaluate our approach with a fully functional implementation of SysWCET for the automotive OSEK-OS standard (ECC1), including threads, alarms, interrupt-service routines, events, and PCP-based resource management.
ASJC Scopus subject areas
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
Proceedings - 2017 IEEE 23rd Real-Time and Embedded Technology and Applications Symposium, RTAS 2017. ed. / Gabriel Parmer. Institute of Electrical and Electronics Engineers Inc., 2017. p. 37-48 7939019.
Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
}
TY - GEN
T1 - SysWCET: Whole-System Response-Time Analysis for Fixed-Priority Real-Time Systems
AU - Dietrich, Christian
AU - Wägemann, Peter
AU - Ulbrich, Peter
AU - Lohmann, Daniel
PY - 2017/6/5
Y1 - 2017/6/5
N2 - The worst-case response time (WCRT) - the time span from release to completion of a real-time task - is a crucial property of real-time systems. However, WCRT analysis is complex in practice, as it depends not only on the realistic examination of worst-case execution times (WCET), but also on system-level overheads and blocking/preemption times. While the implicit path enumeration technique (IPET) has greatly improved automated WCET analysis, the resulting values still need to be aggregated manually with the system-level overheads - an errorprone and tedious process that yields overly pessimistic results. With SysWCET, we provide an integrated approach for the automated WCRT analysis across multiple threads of execution, locks, interrupt service routines, and the real-time operating system (RTOS) in particular. Our approach spans a single IPET formulation over the whole system and exploits RTOS and scheduler semantics to derive cross-kernel flow facts in order to significantly reduce pessimism in the WCRT analysis. We evaluate our approach with a fully functional implementation of SysWCET for the automotive OSEK-OS standard (ECC1), including threads, alarms, interrupt-service routines, events, and PCP-based resource management.
AB - The worst-case response time (WCRT) - the time span from release to completion of a real-time task - is a crucial property of real-time systems. However, WCRT analysis is complex in practice, as it depends not only on the realistic examination of worst-case execution times (WCET), but also on system-level overheads and blocking/preemption times. While the implicit path enumeration technique (IPET) has greatly improved automated WCET analysis, the resulting values still need to be aggregated manually with the system-level overheads - an errorprone and tedious process that yields overly pessimistic results. With SysWCET, we provide an integrated approach for the automated WCRT analysis across multiple threads of execution, locks, interrupt service routines, and the real-time operating system (RTOS) in particular. Our approach spans a single IPET formulation over the whole system and exploits RTOS and scheduler semantics to derive cross-kernel flow facts in order to significantly reduce pessimism in the WCRT analysis. We evaluate our approach with a fully functional implementation of SysWCET for the automotive OSEK-OS standard (ECC1), including threads, alarms, interrupt-service routines, events, and PCP-based resource management.
UR - http://www.scopus.com/inward/record.url?scp=85021814593&partnerID=8YFLogxK
U2 - 10.1109/rtas.2017.37
DO - 10.1109/rtas.2017.37
M3 - Conference contribution
AN - SCOPUS:85021814593
SP - 37
EP - 48
BT - Proceedings - 2017 IEEE 23rd Real-Time and Embedded Technology and Applications Symposium, RTAS 2017
A2 - Parmer, Gabriel
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 23rd IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2017
Y2 - 18 April 2017 through 21 April 2017
ER -