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
Publications
(automatically exported by UnivIS)
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 2012
Wintersemester 2011/2012
Wintersemester 2010/2011
Theses
(automatically exported by UnivIS)
Open Topics
- Eine zuverlässige CiAO-Betriebssystemplattform für den I4Copter (CIAO_DEP)
- Supervisors: Dr.-Ing. Daniel Lohmann, Akad. Rat, Dipl.-Ing. Martin Hoffmann
- Mehrkernunterstützung für die aspektorientierte CiAO Betriebssystemfamilie unter Berücksichtigung des AUTOSAR-OS Multicore Standards (CIAO_MC)
- Supervisors: Dr.-Ing. Daniel Lohmann, Akad. Rat, Dipl.-Ing. Martin Hoffmann
Ongoing Theses
- Portierung der I4Copter Fluglagesteuerung auf die ARM Cortex-M3 Plattform (QC_PASST_M3)
- Supervisors: Dipl.-Inf. Peter Ulbrich, Dipl.-Ing. Martin Hoffmann
Finished Theses
- Efficient Fault Tolerance for Operating System Data Structures (Dance_SafeCSW)
- 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 einer ADA Laufzeitumgebung auf einen eingebetteten ARM Cortex-M3 Mikrocontroller (DanceOS_ADA_M3)
- Student: Greiner Hannes (handed in on 30.09.2012 )
- Supervisors: Dipl.-Ing. Martin Hoffmann, Prof. Dr.-Ing. Wolfgang Schröder-Preikschat
- 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





hoffmann@cs.fau.de
170885318
