Felix Brüning

Doctoral student and research associate in the operating systems and distributed systems group.

- Part-Teaching the development of an ARINC-compatible hard real-time operating system - develop sample solutions for the RTOS including system call interfaces for machine and user mode, MMU configuration, Watchdogs and timer interrupt driven context switch - Preparation of the course in terms of technical means and selecting the artifacts - give advice on the choice of hardware and teaching materials - preparing and correcting the exercises and holding the tutorials

Entwicklung eines Testsystems für Steuergeräte

Research fields: - verification and validation of autonomous safety-critical systems - scenario-based testing - cloud-based testing - real-time operating systems

Thesis: 1.0, Overall 1.4 Thesis: "Model-driven generation of CSP code for verification of railway-networks." Project: Development and Verification of an autonomous railway system. Safety-critical software, model checking, autonomous rail systems, verification.

Thesis: 1.0, Overall: 2.0 Thesis: "Model Checking eines Stellwerksalgorithmus mit FDR4" / "IXL-Model Checking with FDR4" Project: Development of an autonomous railway system.