Dr. Martin Hoffmann

Former 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.

Currently working at Brose Fahrzeugteile, Bamberg.

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)

OSPERT'15	Dietrich, Christian ; Hoffmann, Martin ; Lohmann, Daniel: Back to the Roots: Implementing the RTOS as a Specialized State Machine. In: Brandenburg, Björn ; Kaiser, Robert (Hrsg.) : 11th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '15 Lund, Sweden July). 2015, S. 7-12. (BibTeX)
LCTES'15	Dietrich, Christian ; Hoffmann, Martin ; Lohmann, Daniel: Cross-Kernel Control-Flow-Graph Analysis for Event-Driven Real-Time Systems. In: ACM (Hrsg.) : 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, S. 1-10. [doi>10.1145/2670529.2754963] (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 (Hrsg.) : 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 April 2015). 2015, S. 259-270. [doi>10.1109/RTAS.2015.7108449] (BibTeX)
EDCC'15	Schirmeier, Horst ; Hoffmann, Martin ; Dietrich, Christian ; Lenz, Michael ; Lohmann, Daniel ; Spinczyk, Olaf: Fail*: An Open and Versatile Fault-Injection Framework for the Assessment of Software-Implemented Hardware Fault Tolerance. In: Sens, Pierre (Hrsg.) : Proceedings of the 11th European Dependable Computing Conference - Dependability in Practice (EDCC '15) (11th European Dependable Computing Conference - Dependability in Practice (EDCC '15) Paris, France September 2015). 2015, S. (accepted). (BibTeX)
SQJ'16	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: Clarke, Peter J. ; Zulkernine, Mohammad (Bearb.): Software Quality Journal. Bd. 24, 1. Aufl. New York : Springer Science+Business Media, 2016, (Software Quality Journal Bd. 24, Nr. 1), S. 87-113.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 (Hrsg.) : 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, S. 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 (Hrsg.) : 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, S. 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: - ; - (Hrsg.) : 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, S. 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 (Hrsg.) : Proceedings of the 2nd GI Workshop on Software-Based Methods for Robust Embedded Systems (SOBRES '13) (Informatik 2013 Koblenz, Germany). 2013, S. -. (BibTeX)
LCTES'13	Stilkerich, Isabella ; Strotz, Michael ; Erhardt, Christoph ; Hoffmann, Martin ; Lohmann, Daniel ; Scheler, Fabian ; Schröder-Preikschat, Wolfgang: A JVM for Soft-Error-Prone Embedded Systems. In: ACM (Hrsg.) : Proceedings of the 14th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems (The 14th Conference on Languages, Compilers and Tools for Embedded Systems (LCTES 2013) Seattle, Washington, USA June 2013). 2013, S. 21-32. - ISBN 978-1-4503-2085-6 [doi>10.1145/2465554.2465571] (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 (Hrsg.) : 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, S. 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 (Hrsg.) : Mühl, Gero ; Richling, Jan ; Herkersdorf, Andreas (Veranst.) : Workshop on Dependability and Fault-Tolerance (VERFE) (25th International Conference on Architecture of Computing Systems (ARCS '12) Munich 28.02.2012). Bd. 200. Bonn : Köllen Druck+Verlag GmbH, 2012, S. 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 (Hrsg.) : 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, S. 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 (Hrsg.) : 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, S. 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 (Veranst.) : 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, S. 25-29. (BibTeX)
RFID SysTech'08	Löffler, Andreas ; Wissendheit, Uwe ; Gerhäuser, Heinz ; Hoffmann, Martin ; Zadeh, Ali Malek ; Kuznetsova, Dina: A SOAP capable HF-RFID-Reader. In: VDE (ITG) (Hrsg.) : RFID SysTech 2008, 4th European Workshop on RFID Systems and Technologies (4th European Workshop on RFID Systems and Technologies Freiburg June, 10-11, 2008). Berlin : VDE-Verlag, 2008, S. CD. - ISBN 978-3-8007-3106-0 (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): Betreuer: Prof. Dr.-Ing. Peter Ulbrich, Dr.-Ing. Martin Hoffmann, Prof. i. R. Dr.-Ing. habil. 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): Bearbeiter: Philip Taffner (beendet am 12.02.2014, Ausarbeitung...); Betreuer: Dr.-Ing. Isabella Stilkerich, Dr.-Ing. Christoph Erhardt, Dr.-Ing. Martin Hoffmann

Design and Implementation of a Soft-error Resilient OSEK Real-time Operating System (DanceOS_dOSEK): Bearbeiter: Florian Lukas (beendet am 19.05.2014 ); Betreuer: Dr.-Ing. Martin Hoffmann, Prof. Dr.-Ing. habil. Daniel Lohmann, Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat

Design and Implementation of an Operating System Service for Dependability Aspects (DanceOS_DepService): Betreuer: Dr.-Ing. Martin Hoffmann, Prof. Dr.-Ing. habil. Daniel Lohmann

Efficient Fault Tolerance for Operating System Data Structures (Dance_SafeCSW): Bearbeiter: Robby Zippel (beendet am 17.11.2011, Ausarbeitung...); Betreuer: Dr.-Ing. Martin Hoffmann, Dr.-Ing. Isabella Stilkerich, Prof. Dr.-Ing. habil. Daniel Lohmann, Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat

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

Ein erweiterter Software-Redundanzansatz für den Einsatz von Grafikkarten in sicherheitskritischen Anwendungen (CoRed_GPURed): Bearbeiter: Benedikt Dremel (beendet am 30.03.2011 ); Betreuer: Prof. Dr.-Ing. Peter Ulbrich, Dr.-Ing. Martin Hoffmann, Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat

Ein Miniaturquadrokopter als Plattform für mobile, adaptive Sensornetzwerke (QC_I4N): Bearbeiter: Peter Blank (beendet am 03.11.2011 ); Betreuer: Prof. Dr.-Ing. Peter Ulbrich, Dr.-Ing. Martin Hoffmann, Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat

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

Global Optimization of Non-Functional Properties in OSEK Real-Time Systems by Static Cross-Kernel Flow Analyses (dOSEK_Opt): Bearbeiter: Christian Dietrich (beendet am 01.09.2014, Ausarbeitung...); Betreuer: Dr.-Ing. Martin Hoffmann, Prof. Dr.-Ing. habil. Daniel Lohmann

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

Minimally-Invasive Control Flow Monitoring on Heterogeneous Multicore Systems (DanceOS-AppFlow): Bearbeiter: Guilherme Bufolo (beendet am 02.05.2013 ); Betreuer: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Dr.-Ing. Martin Hoffmann, Prof. Dr.-Ing. habil. Daniel Lohmann

Portierung und Evaluation einer Soft-Routerplattform auf das eingebettete Betriebssystem eCos (Dance_Router): Bearbeiter: Hauenstein Thomas (beendet am 30.09.2011, Ausarbeitung...); Betreuer: Dr.-Ing. Martin Hoffmann, Prof. Dr.-Ing. Rüdiger Kapitza, Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat

Porting the Ada Ravenscar runtime to an embedded ARM Cortex-M3 microcontroller: Bearbeiter: Hannes Greiner (beendet am 28.09.2012 ); Betreuer: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Dipl.-Ing. Florian Franzmann, Dr.-Ing. Martin Hoffmann

Teaching

Sommersemester 2014

Verlässliche Echtzeitsysteme [VEZS]

Wintersemester 2013/2014

Echtzeitsysteme [EZS]

Sommersemester 2013

Verlässliche Echtzeitsysteme [VEZS]

Wintersemester 2012/2013

Echtzeitsysteme [EZS]

Sommersemester 2012

Verlässliche Echtzeitsysteme [VEZS]

Wintersemester 2011/2012

Echtzeitsysteme [EZS]

Wintersemester 2010/2011