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

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)

2014

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
Keywords:  DanceOS, CoRed, Operating Systems, Embedded Systems, Real-Time Systems, Dependability, Safety, Coded Processing
[doi>10.1109/HASE.2014.14] (BibTeX)

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 (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).
to appear : to appear, 2014. (BibTeX)

2013

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 (Ed.) : 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, pp 21-32. - ISBN 978-1-4503-2085-6
Keywords:  KESO; DanceOS; AORTA; Java; RTSJ; Embedded Systems; Real-Time Systems; Reliability
[doi>10.1145/2465554.2465571] (BibTeX)

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.
Keywords:  dependability, EAN, DanceOS, OSEK, embedded systems, CoRed (BibTeX)

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. (BibTeX)

2012

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
Keywords:  Domain-specific architectures , Fault-tolerance , Frameworks , Reliability , Soft errors , Software and System Safety, DanceOS
[doi>10.1109/EDCC.2012.21] (BibTeX)

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)

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
Keywords:  Architecture, Software Design, Operating Systems, Robotics and Automation, Sensor Systems, Control Engineering, Measurement System Data Handling
[doi>10.1109/ROSE.2012.6402632] (BibTeX)

2011

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
Keywords:  dependability, fault-injection, DanceOS
[doi>10.1109/PRDC.2011.46] (BibTeX)

2010

Hoffmann, Martin:
Softwarebasierte Redundanz für zuverlässige eingebettete Echtzeitsysteme - CoRed - Combined Software Redundancy .
Talk: GI Fachgruppentreffen Betriebssysteme, IBM Deutschland Research & Development,
Böblingen, 15.10.2010 (BibTeX)

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.
Keywords:  Real-time System; MARTE; Reverse Engineering; I4Copter (BibTeX)

2008

Löffler, Andreas ; Wissendheit, Uwe ; Gerhäuser, Heinz ; Hoffmann, Martin ; Zadeh, Ali Malek ; Kuznetsova, Dina:
A SOAP capable HF-RFID-Reader .
In: VDE (ITG) (Ed.) : 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. - ISBN 978-3-8007-3106-0 (BibTeX)

Teaching

Sommersemester 2013

Wintersemester 2012/2013

Sommersemester 2012

Wintersemester 2011/2012

Wintersemester 2010/2011

Theses

(automatically exported by UnivIS)

Open Topics

Ongoing Theses

Finished Theses

A Multi-OS Hardware Abstraction Layer for the I4Copter Project (QC_PASST_M3)
Supervisors: Dipl.-Inf. 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)
Supervisors: Dipl.-Inf. Isabella Stilkerich, Dipl.-Inf. Christoph Erhardt, Dipl.-Ing. Martin Hoffmann


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, Dr.-Ing. Daniel Lohmann, Akad. Rat, Prof. Dr.-Ing. Wolfgang Schröder-Preikschat


Ein erweiterter Software-Redundanzansatz für den Einsatz von Grafikkarten in sicherheitskritischen Anwendungen (CoRed_GPURed)
Supervisors: Dipl.-Inf. 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: Dipl.-Inf. 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


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, Dr.-Ing. Daniel Lohmann, Akad. Rat, 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, Dr.-Ing. Daniel Lohmann, Akad. Rat


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