Projects

AHA: Automated Hardware Abstraction in Operating-System Engineering (DFG: LO 1719/4-1)

Goal of AHA is to improve nonfunctional properties of system software by a very deep, but fully automated specialization of the application-hardware bridge represented by the operating system. We investigate, how alternative implementations that are mapped more directly to hardware features, can be generated from a concrete application and their actual interactions with the operating system.

Publications

2024

RTSJ Journal
Applied static analysis and specialization of cross-core syscalls for multi-core AUTOSAR OS

Gerion Entrup, Andreas Kässens, Björn Fiedler, Daniel LohmannReal-Time SystemsSpringer2024.
PDF 10.1007/s11241-024-09429-1 [BibTex]

×

BibTex Entry

@article{entrup:24:rts,
author = {Gerion Entrup and Andreas Kässens and Björn Fiedler and Daniel Lohmann},
doi = {10.1007/s11241-024-09429-1},
entrysubtype = {Journal},
journaltitle = {Real-Time Systems},
month = {October},
publisher = {Springer},
title = {Applied static analysis and specialization of cross-core syscalls for multi-core {AUTOSAR OS}},
year = {2024},
}

Close

2023

RTAS Conference A
MultiSSE: Static Syscall Elision and Specialization for Event-Triggered Multi-Core RTOS

Gerion Entrup, Björn Fiedler, Daniel LohmannProceedings of the 29th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'23)2023.
PDF Details Slides [BibTex]

×

BibTex Entry

@inproceedings{entrup:23:rtas,
author = {Gerion Entrup and Björn Fiedler and Daniel Lohmann},
booktitle = {Proceedings of the 29th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'23)},
entrysubtype = {Conference},
month = {May},
title = {{MultiSSE}: Static Syscall Elision and Specialization for Event-Triggered Multi-Core {RTOS}},
year = {2023},
}

Close

2022

OSPERT Workshop B
RTOS-Independent Interaction Analysis in ARA

Gerion Entrup, Jan Neugebauer, Daniel LohmannProceedings of the 16th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '22)2022.
PDF Slides [BibTex]

×

BibTex Entry

@inproceedings{entrup:22:ospert,
author = {Gerion Entrup and Jan Neugebauer and Daniel Lohmann},
booktitle = {Proceedings of the 16th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '22)},
entrysubtype = {Workshop},
month = {July},
title = {RTOS-Independent Interaction Analysis in ARA},
venue = {Modena, Italy},
year = {2022},
}

Close

2021

RTAS Conference A
ARA: Static Initialization of Dynamically-Created System Objects

Björn Fiedler, Gerion Entrup, Christian Dietrich, Daniel LohmannProceedings of the 27th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'21)2021.
PDF Details Video Teaser Video 10.1109/RTAS52030.2021.00039 [BibTex]

×

BibTex Entry

@inproceedings{fiedler:21:rtas,
author = {Björn Fiedler and Gerion Entrup and Christian Dietrich and Daniel Lohmann},
booktitle = {Proceedings of the 27th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'21)},
doi = {10.1109/RTAS52030.2021.00039},
entrysubtype = {Conference},
month = {May},
pages = {400–412},
title = {{ARA}: Static Initialization of Dynamically-Created System Objects},
venue = {Virtual Event},
year = {2021},
}

Close

2019

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

2018

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

2017

Thesis
Generische Graphanalyse in LLVM: Bessere Fehlerprüfung zur Compilezeit mithilfe von Programm- und Kontrollflussgraphen

Gerion Entrup Master ThesisTechnische Universität Braunschweig, Leibniz Universität Hannover2017.
PDF [BibTex]

×

BibTex Entry

@thesis{entrup:17:master,
author = {Gerion Entrup},
entrysubtype = {Thesis},
month = {August},
institution = {Technische Universit{ä}t Braunschweig, Leibniz Universit{ä}t Hannover},
title = {Generische Graphanalyse in LLVM: Bessere Fehlerprüfung zur Compilezeit mithilfe von Programm- und Kontrollflussgraphen},
type = {Master Thesis},
year = {2017},
}

Close

2014

Thesis
Videosignaturen für die Detektion von Videoinhalten gleichen Ursprungs

Gerion Entrup Bachelor ThesisLeibniz Universität Hannover2014.
PDF [BibTex]

×

BibTex Entry

@thesis{entrup:14:bachelor,
author = {Gerion Entrup},
entrysubtype = {Thesis},
month = {October},
institution = {Leibniz Universit{ä}t Hannover},
title = {Videosignaturen für die Detektion von Videoinhalten gleichen Ursprungs},
type = {Bachelor Thesis},
year = {2014},
}

Close

2013

Thesis
Bitcoin – Der Stärkere gewinnt

Gerion Entrup Bachelor ThesisLeibniz Universität Hannover2013.
PDF [BibTex]

×

BibTex Entry

@thesis{entrup:13:bachelor,
author = {Gerion Entrup},
entrysubtype = {Thesis},
month = {September},
institution = {Leibniz Universit{ä}t Hannover},
title = {Bitcoin – Der Stärkere gewinnt},
type = {Bachelor Thesis},
year = {2013},
}

Close

Teaching

Supervised Theses

Running Theses

Finished Theses