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)

SQJ'15

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. Heidelberg, BW, Germany : Springer, 2015. (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 -. (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 -. (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


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 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 2013

Wintersemester 2012/2013

Sommersemester 2012

Wintersemester 2011/2012

Wintersemester 2010/2011