FAU UnivIS
Techn. Fak. Dep. Informatik
Dept. of CS > CS 4 > People > Hoffmann
People, Research, Pubs
Lehre, Examensarbeiten
(a picture of me)

Martin Hoffmann

Member of the research staff at the
Department of Computer Science 4 (Distributed Systems and Operating Systems) at
Friedrich-Alexander-Universität Erlangen-Nürnberg.

Research and Academic Activities

dosek
A Dependability-Oriented Static Embedded Kernel
DanceOS
Dependability Aspects in Configurable Operating Systems
CoRed
Combined Redundancy - Software-based Fault Tolerance for Mixed-criticality Systems
I4Copter
Interdisciplinary quadrocopter project to develop a platform for application-oriented research and teaching

Publications

(automatically exported by UnivIS)

LCTES'15

Dietrich, Christian ; Hoffmann, Martin ; Lohmann, Daniel: Cross-Kernel Control-Flow-Graph Analysis for Event-Driven Real-Time Systems . In: ACM (Ed.) : Proceedings of the 16th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems (The 16th Conference on Languages, Compilers and Tools for Embedded Systems (LCTES 2015) Portland, Oregon, USA June 2015). New York, NY, USA : ACM Press, 2015, pp to appear. (BibTeX)

RTAS'15

Hoffmann, Martin ; Lukas, Florian ; Dietrich, Christian ; Lohmann, Daniel: dOSEK: The Design and Implementation of a Dependability-Oriented Static Embedded Kernel . In: West, Richard (Ed.) : Proceedings of the 20th Real-Time and Embedded Technology and Applications Symposium (RTAS '15) (21st Real-Time and Embedded Technology and Applications Symposium (RTAS '15) Seatlle, WA, USA to appear). 2015, pp -. (BibTeX)

SQJ'14

Hoffmann, Martin ; Ulbrich, Peter ; Dietrich, Christian ; Schirmeier, Horst ; Lohmann, Daniel ; Schröder-Preikschat, Wolfgang: Experiences with Software-based Soft-Error Mitigation using AN-Codes . In: Software Quality Journal. - : Springer US, 2014. - ISSN 0963-9314
[doi>10.1007/s11219-014-9260-4] (BibTeX)

HASE'14

Hoffmann, Martin ; Ulbrich, Peter ; Dietrich, Christian ; Schirmeier, Horst ; Lohmann, Daniel ; Schröder-Preikschat, Wolfgang: A Practitioner's Guide to Software-based Soft-Error Mitigation Using AN-Codes . In: IEEE Computer Society (Ed.) : Proceedings of the 15th IEEE International Symposium on High Assurance Systems Engineering (HASE '14) (Symposium on High Assurance Systems Engineering Miami, FL, USA Januar 2014). 2014, pp 33-40. - ISBN 978-1-4799-3465-2
[doi>10.1109/HASE.2014.14] (BibTeX)

ISORC'14

Hoffmann, Martin ; Borchert, Christoph ; Dietrich, Christian ; Schirmeier, Horst ; Kapitza, Rüdiger ; Spinczyk, Olaf ; Lohmann, Daniel: Effectiveness of Fault Detection Mechanisms in Static and Dynamic Operating System Designs . In: IEEE Computer Society (Ed.) : Proceedings of the 17th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC '14) (IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing Reno, NV, USA June 2014). 2014, pp 230-237.
[doi>10.1109/ISORC.2014.26] (BibTeX)

PRDC'13

Hoffmann, Martin ; Dietrich, Christian ; Lohmann, Daniel: dOSEK: A Dependable RTOS for Automotive Applications . In: - ; - (Ed.) : Proceedings of the 19th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC '13) (19th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC '13) Vancouver, British Columbia, Canada 02.-04. Dez. 2013). 2013, pp 120-121.
[doi>10.1109/PRDC.2013.22] (BibTeX)

SOBRES'13

Hoffmann, Martin ; Dietrich, Christian ; Lohmann, Daniel: Failure by Design: Influence of the RTOS Interface on Memory Fault Resilience . In: German Society of Informatics (Ed.) : Proceedings of the 2nd GI Workshop on Software-Based Methods for Robust Embedded Systems (SOBRES '13) (Informatik 2013 Koblenz, Germany). 2013, pp -. (BibTeX)

EDCC'12

Ulbrich, Peter ; Hoffmann, Martin ; Kapitza, Rüdiger ; Lohmann, Daniel ; Schmid, Reiner ; Schröder-Preikschat, Wolfgang: Eliminating Single Points of Failure in Software-Based Redundancy . In: Correia, Miguel (Ed.) : Proceedings of the 9th European Dependable Computing Conference (9th European Dependable Computing Conference (EDCC '12) Sibiu, Romania 08-11 May 2012). Los Alamitos : IEEE Computer Society, 2012, pp 49-60. - ISBN 978-1-4673-0938-7
[doi>10.1109/EDCC.2012.21] (BibTeX)

VERFE'12

Schirmeier, Horst ; Hoffmann, Martin ; Kapitza, Rüdiger ; Lohmann, Daniel ; Spinczyk, Olaf : FAIL: Towards a Versatile Fault-Injection Experiment Framework . In: German Society of Informatics (Ed.) : Mühl, Gero ; Richling, Jan ; Herkersdorf, Andreas (Org.) : Workshop on Dependability and Fault-Tolerance (VERFE) (25th International Conference on Architecture of Computing Systems (ARCS '12) Munich 28.02.2012). Vol. 200. Bonn : Köllen Druck+Verlag GmbH, 2012, pp 201-210. - ISBN 978-3-88579-294-9 (BibTeX)

ROSE'12

Ulbrich, Peter ; Franzmann, Florian ; Harkort, Christian ; Hoffmann, Martin ; Klaus, Tobias ; Rebhan, Anja ; Schröder-Preikschat, Wolfgang: Taking Control: Modular and Adaptive Robotics Process Control Systems . In: Payeur, Pierre ; Ben-Tzvi, Pinhas (Ed.) : Proceedings of the 10th IEEE International Symposium on Robotic and Sensors Environments (10th IEEE International Symposium on Robotic and Sensors Environments (ROSE '12) Magdeburg 16-18 November 2012). Los Alamitos : IEEE Computer Society, 2012, pp 55-60. - ISBN 978-1-4673-2705-3
[doi>10.1109/ROSE.2012.6402632] (BibTeX)

PRDC'11

Schirmeier, Horst ; Hoffmann, Martin ; Kapitza, Rüdiger ; Lohmann, Daniel ; Spinczyk, Olaf: Revisiting Fault-Injection Experiment-Platform Architectures . In: Tsai, Timothy ; Yoneda. Tomohiro (Ed.) : Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC '11) (17th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC '11) Pasadena, CA, USA 12.-14. Dez. 2011). Los Alamitos, CA, USA : IEEE Computer Society, 2011, pp 284-285. - ISBN 978-1-4577-2005-5
[doi>10.1109/PRDC.2011.46] (BibTeX)

MBED'10

Ulbrich, Peter ; Elsner, Christoph ; Hoffmann, Martin ; Schmid, Reiner ; Schröder-Preikschat, Wolfgang: Using MARTE in Code-centric Real-time Projects Providing Evolution Support . In: Boulet, Pierre ; Cancila, Daniela ; Espinoza, Huascar ; Morawiec, Adam (Org.) : Proceedings of the First Workshop on Model Based Engineering for Embedded Systems Design (M-BED 2010) (First Workshop on Model Based Engineering for Embedded Systems Design (M-BED 2010) Dresden, Germany 03/12/2010). 2010, pp 25-29. (BibTeX)

Theses (Bachelor, Master, etc.)

(automatically exported by UnivIS)

Open Topics

Ongoing Theses

Finished Theses

A Multi-OS Hardware Abstraction Layer for the I4Copter Project (QC_PASST_M3)
Supervisors: Dr.-Ing. Peter Ulbrich, Dipl.-Ing. Martin Hoffmann, Prof. Dr.-Ing. Wolfgang Schröder-Preikschat


Design and Implementation of a Fault Tolerant Garbage Collector for the KESO JVM (Design und Implementierung einer fehlertoleranten Speicherbereinigung für die KESO-JVM) (KESO-FTGC)
Student: Philip Taffner (handed in on 12.02.2014, Thesis file...)
Supervisors: Dipl.-Inf. Isabella Stilkerich, Dipl.-Inf. Christoph Erhardt, Dipl.-Ing. Martin Hoffmann


Design and Implementation of a Soft-error Resilient OSEK Real-time Operating System (DanceOS_dOSEK)
Student: Florian Lukas (handed in on 19.05.2014 )
Supervisors: Dipl.-Ing. Martin Hoffmann, PD Dr.-Ing. habil. Daniel Lohmann, Akad. ORat, Prof. Dr.-Ing. Wolfgang Schröder-Preikschat


Design and Implementation of an Operating System Service for Dependability Aspects (DanceOS_DepService)
Supervisors: Dipl.-Ing. Martin Hoffmann, PD Dr.-Ing. habil. Daniel Lohmann, Akad. ORat


Efficient Fault Tolerance for Operating System Data Structures (Dance_SafeCSW)
Student: Robby Zippel (handed in on 17.11.2011, Thesis file...)
Supervisors: Dipl.-Ing. Martin Hoffmann, Dipl.-Inf. Isabella Stilkerich, PD Dr.-Ing. habil. Daniel Lohmann, Akad. ORat, Prof. Dr.-Ing. Wolfgang Schröder-Preikschat


Ein eingebetteter Autopilot für ein simuliertes Flugzeug (TTE_AUTOPILOT)
Supervisors: Dipl.-Ing. Florian Franzmann, Dipl.-Ing. Tobias Klaus, Dipl.-Ing. Martin Hoffmann, Prof. Dr.-Ing. Wolfgang Schröder-Preikschat


Ein erweiterter Software-Redundanzansatz für den Einsatz von Grafikkarten in sicherheitskritischen Anwendungen (CoRed_GPURed)
Student: Benedikt Dremel (handed in on 30.03.2011 )
Supervisors: Dr.-Ing. Peter Ulbrich, Dipl.-Ing. Martin Hoffmann, Prof. Dr.-Ing. Wolfgang Schröder-Preikschat


Ein Miniaturquadrokopter als Plattform für mobile, adaptive Sensornetzwerke (QC_I4N)
Student: Peter Blank (handed in on 03.11.2011 )
Supervisors: Dr.-Ing. Peter Ulbrich, Dipl.-Ing. Martin Hoffmann, Prof. Dr.-Ing. Wolfgang Schröder-Preikschat


Flexible Fehlerinjektion mittels einer virtuellen Plattform (DanceOS_FI_OVP)
Supervisors: Dipl.-Ing. Martin Hoffmann, Prof. Dr.-Ing. Rüdiger Kapitza, Prof. Dr.-Ing. Wolfgang Schröder-Preikschat


Global Optimization of Non-Functional Properties in OSEK Real-Time Systems by Static Cross-Kernel Flow Analyses (dOSEK_Opt)
Student: Christian Dietrich (handed in on 01.09.2014, Thesis file...)
Supervisors: Dipl.-Ing. Martin Hoffmann, PD Dr.-Ing. habil. Daniel Lohmann, Akad. ORat


Increasing Reliability in Embedded Real Time Operating Systems With a Modular, Transparent Fault Tolerance Framework
Supervisors: Dipl.-Ing. Martin Hoffmann, Prof. Dr.-Ing. Rüdiger Kapitza, PD Dr.-Ing. habil. Daniel Lohmann, Akad. ORat, Prof. Dr.-Ing. Wolfgang Schröder-Preikschat


Minimally-Invasive Control Flow Monitoring on Heterogeneous Multicore Systems (DanceOS-AppFlow)
Student: Guilherme Bufolo (handed in on 02.05.2013 )
Supervisors: Prof. Dr.-Ing. Wolfgang Schröder-Preikschat, Dipl.-Ing. Martin Hoffmann, PD Dr.-Ing. habil. Daniel Lohmann, Akad. ORat


Portierung und Evaluation einer Soft-Routerplattform auf das eingebettete Betriebssystem eCos (Dance_Router)
Supervisors: Dipl.-Ing. Martin Hoffmann, Prof. Dr.-Ing. Rüdiger Kapitza, Prof. Dr.-Ing. Wolfgang Schröder-Preikschat


Porting the Ada Ravenscar runtime to an embedded ARM Cortex-M3 microcontroller
Student: Hannes Greiner (handed in on 28.09.2012 )
Supervisors: Prof. Dr.-Ing. Wolfgang Schröder-Preikschat, Dipl.-Ing. Florian Franzmann, Dipl.-Ing. Martin Hoffmann


Teaching

Sommersemester 2014

Wintersemester 2013/2014

Sommersemester 2013

Wintersemester 2012/2013

Sommersemester 2012

Wintersemester 2011/2012

Wintersemester 2010/2011