MultiSSE: Full Static Emulation of a Multicore System at the example of AUTOSAR RTOS

• Typ der Arbeit: Masterarbeit
• Status der Arbeit: abgeschlossen
• Projekte: AHA
• Betreuer: Gerion Entrup, Daniel Lohmann
• Bearbeiter: Fredo Nowak
• Ende der Arbeit: 24. Dec 2020

The System-State Enumeration (SSE) is an analysis technique for real-time systems that builds a graph of all possible system states. Currently, this analysis is bound to a single execution unit (i.e. processor core). Goal of this thesis is to extend the technique to also support multiple execution units. As a first target, the current specification of AUTOSAR should be used, that allows a partitioned multicore architecture.

ARA is a program to statically analyze an application to get different degrees of information, how the application interacts with the operating system to enable further specialization of the operating system. The extended SSE should be implemented in ARA to proof its working.

The tasks that should be done in this thesis are:

• Extend the SSE state model to support multiple execution units at the example of AUTOSAR.
• Apply timing information to the current control flow model.
• Implement an AUTOSAR interpreter in ARA that supports this model.
• Develop a multicore scheduler for the AUTOSAR interpreter.
• Proof the working of the implementation with an AUTOSAR test application.

Topics covered by this thesis:
static analysis, synchonization, AUTOSAR, Python, C++, C

Further Reading

OSPERT Workshop B
ARA: Automatic Instance-Level Analysis in Real-Time Systems

Gerion Entrup, Benedikt Steinmeier, Christian DietrichProceedings of the 15th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '19)2019.
PDF [BibTex]

×

BibTex Entry

@inproceedings{entrup:19:ospert,
author = {Gerion Entrup and Benedikt Steinmeier and Christian Dietrich},
booktitle = {Proceedings of the 15th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '19)},
entrysubtype = {Workshop},
month = {July},
title = {ARA: Automatic Instance-Level Analysis in Real-Time Systems},
venue = {Stuttgart, Germany},
year = {2019},
}

Close

OSPERT Workshop B Best Paper Award
Levels of Specialization in Real-Time Operating Systems

Björn Fiedler, Gerion Entrup, Christian Dietrich, Daniel LohmannProceedings of the 14th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '18)2018Best Paper Award.
PDF [BibTex]

×

BibTex Entry

@inproceedings{fiedler:18:ospert,
author = {Björn Fiedler and Gerion Entrup and Christian Dietrich and Daniel Lohmann},
booktitle = {Proceedings of the 14th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '18)},
entrysubtype = {Workshop},
month = {July},
title = {Levels of Specialization in Real-Time Operating Systems},
venue = {Barcelona, Spain},
year = {2018},
}

Close

TECS Journal A
Global Optimization of Fixed-Priority Real-Time Systems by RTOS-Aware Control-Flow Analysis

Christian Dietrich, Martin Hoffmann, Daniel LohmannACM Transactions on Embedded Computing Systems16.2ACM Press2017.
PDF Raw Data 10.1145/2950053 [BibTex]

×

BibTex Entry

@article{dietrich:17:tecs,
location = {New York, NY, USA},
author = {Dietrich, Christian and Hoffmann, Martin and Lohmann, Daniel},
doi = {10.1145/2950053},
entrysubtype = {Journal},
journaltitle = {ACM Transactions on Embedded Computing Systems},
number = {2},
pages = {35:1–35:25},
publisher = {ACM Press},
title = {Global Optimization of Fixed-Priority Real-Time Systems by {RTOS}-Aware Control-Flow Analysis},
volume = {16},
year = {2017},
}

Close