Details
| Originalsprache | Englisch |
|---|---|
| Titel des Sammelwerks | Proceedings of the 16th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications |
| Untertitel | OSPERT 2022 |
| Herausgeber/-innen | Daniel Lohmann, Renato Mancuso |
| Publikationsstatus | Veröffentlicht - 2022 |
| Veranstaltung | OSPERT 2022 16th annual workshop on Operating Systems Platforms for Embedded Real-Time applications - Modena, Italien Dauer: 5 Juli 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.
Zitieren
- Standard
- Harvard
- Apa
- Vancouver
- BibTex
- RIS
Proceedings of the 16th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications: OSPERT 2022. Hrsg. / Daniel Lohmann; Renato Mancuso. 2022.
Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung
16th annual workshop on Operating Systems Platforms for Embedded Real-Time applications, Modena, Italien, 5 Juli 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 -