RTOS-Independent Interaction Analysis in ARA

Gerion Entrup; Jan Neugebauer; Daniel Lohmann

RTOS-Independent Interaction Analysis in ARA

Gerion Entrup^*, Jan Neugebauer^*, Daniel Lohmann^*

^*Korrespondierende*r Autor*in für diese Arbeit

Fachgebiet System- und Rechnerarchitektur

Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung

Abstract

ARA is an RTOS-aware whole-system compiler for
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.

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 → …

Workshop

Workshop	OSPERT 2022 16th annual workshop on Operating Systems Platforms for Embedded Real-Time applications
Land/Gebiet	Italien
Ort	Modena
Zeitraum	5 Juli 2022 → …

Zugriff auf Dokument

https://www.sra.uni-hannover.de/Publications/2022/entrup_22_ospert.pdfLizenz: Nicht angegeben

Dieses zitieren

@inproceedings{b0d8faf8c3b442388cc45a509ddeef38,

title = "RTOS-Independent Interaction Analysis in ARA",

abstract = "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.",

author = "Gerion Entrup and Jan Neugebauer and Daniel Lohmann",

note = "This work was partly supported by the German Research Foundation (DFG) under grant no. LO 1719/4-1; OSPERT 2022<br/>16th annual workshop on Operating Systems Platforms for Embedded Real-Time applications ; Conference date: 05-07-2022",

year = "2022",

language = "English",

editor = "Daniel Lohmann and Renato Mancuso",

booktitle = "Proceedings of the 16th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications",

}

Entrup, G, Neugebauer, J & Lohmann, D 2022, RTOS-Independent Interaction Analysis in ARA. in D Lohmann & R Mancuso (Hrsg.), Proceedings of the 16th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications: OSPERT 2022. OSPERT 2022
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 -