Details
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 16th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications |
| Subtitle of host publication | OSPERT 2022 |
| Editors | Daniel Lohmann, Renato Mancuso |
| Publication status | Published - 2022 |
| Event | OSPERT 2022 16th annual workshop on Operating Systems Platforms for Embedded Real-Time applications - Modena, Italy Duration: 5 Jul 2022 → … |
Abstract
embedded applications that takes RTOS semantics into account
for interprocedural analysis and optimization. To be applicable
for a multitude of RTOS interfaces and semantics, ARAs analysis
steps shall operate on an abstract RTOS model as far as possible,
while still providing means to exploit OS-specific particularities.
In this paper, we describe the design of such a model and its
utilization with two static analysis algorithms for AUTOSAR,
FreeRTOS, Zephyr and a subset of POSIX.
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
Proceedings of the 16th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications: OSPERT 2022. ed. / Daniel Lohmann; Renato Mancuso. 2022.
Research output: Chapter in book/report/conference proceeding › Conference contribution › Research
16th annual workshop on Operating Systems Platforms for Embedded Real-Time applications, Modena, Italy, 5 Jul 2022. <https://www.sra.uni-hannover.de/Publications/2022/entrup_22_ospert.pdf>
}
TY - GEN
T1 - RTOS-Independent Interaction Analysis in ARA
AU - Entrup, Gerion
AU - Neugebauer, Jan
AU - Lohmann, Daniel
N1 - This work was partly supported by the German Research Foundation (DFG) under grant no. LO 1719/4-1
PY - 2022
Y1 - 2022
N2 - ARA is an RTOS-aware whole-system compiler forembedded applications that takes RTOS semantics into accountfor interprocedural analysis and optimization. To be applicablefor a multitude of RTOS interfaces and semantics, ARAs analysissteps shall operate on an abstract RTOS model as far as possible,while still providing means to exploit OS-specific particularities.In this paper, we describe the design of such a model and itsutilization with two static analysis algorithms for AUTOSAR,FreeRTOS, Zephyr and a subset of POSIX.
AB - ARA is an RTOS-aware whole-system compiler forembedded applications that takes RTOS semantics into accountfor interprocedural analysis and optimization. To be applicablefor a multitude of RTOS interfaces and semantics, ARAs analysissteps shall operate on an abstract RTOS model as far as possible,while still providing means to exploit OS-specific particularities.In this paper, we describe the design of such a model and itsutilization with two static analysis algorithms for AUTOSAR,FreeRTOS, Zephyr and a subset of POSIX.
M3 - Conference contribution
BT - Proceedings of the 16th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications
A2 - Lohmann, Daniel
A2 - Mancuso, Renato
T2 - OSPERT 2022<br/>16th annual workshop on Operating Systems Platforms for Embedded Real-Time applications
Y2 - 5 July 2022
ER -