Hauptinhalt
BibTeX Source
@inproceedings{lohmann:12:taosd,
editor = {Gary T. Leavens and Shigeru Chiba and Michael Haupt and Klaus Ostermann and Eric Wohlstadter},
author = {Daniel Lohmann and Olaf Spinczyk and Wanja Hofer and Wolfgang Schr{\"o}der{-}Preikschat},
title = {The Aspect-Aware Design and Implementation of the {CiAO} Operating-System Family},
booktitle = {Transactions on AOSD IX},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
number = 7271,
year = 2012,
pages = {168--215},
category = {L4, ESS, DanceOS, JOURNAL}
}
@inproceedings{ulbrich:12:edcc,
author = {Peter Ulbrich and Martin Hoffmann and R{\"u}diger Kapitza and Daniel Lohmann and Wolfgang Schr{\"o}der{-}Preikschat and Reiner Schmid},
title = {Eliminating Single Points of Failure in Software-Based Redundancy},
venue = {Sibiu, Romania},
booktitle = {Proceedings of the 9th European Dependable Computing Conference (EDCC '12)},
month = may,
year = {2012},
pages = {49--60},
publisher = {IEEE Press},
address = {Piscataway, NJ, USA},
doi = {10.1109/EDCC.2012.21},
userd = {EDCC '12},
category = {L4, DanceOS}
}
@inproceedings{schirmeier:11:prdc,
author = {Horst Schirmeier and Jens Neuhalfen and Ingo Korb and Olaf Spinczyk and Michael Engel},
title = {{RAMpage}: Graceful Degradation Management for Memory Errors in Commodity {Linux} Servers},
booktitle = {Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC '11)},
publisher = {IEEE Press},
address = {Pasadena, CA, USA},
month = dec,
year = 2011,
pages = {89--98},
doi = {10.1109/PRDC.2011.20},
category = {ESS, DanceOS},
download-url = {https://ess.cs.tu-dortmund.de/~hsc/Publications/files/PRDC-2011-Schirmeier.pdf}
}
@article{schirmeier:13:ijccbs,
author = {Horst Schirmeier and Ingo Korb and Olaf Spinczyk and Michael Engel},
title = {Efficient Online Memory Error Assessment and Circumvention for {Linux} with {RAMpage}},
journal = {International Journal of Critical Computer-Based Systems},
volume = 4,
number = 3,
year = {2013},
pages = {227--247},
note = {Special Issue on PRDC 2011 Dependable Architecture and Analysis},
doi = {10.1504/IJCCBS.2013.058397},
category = {ESS, DanceOS, JOURNAL},
download-url = {https://ess.cs.tu-dortmund.de/~hsc/Publications/files/IJCCBS-2013-Schirmeier.pdf}
}
@inproceedings{schirmeier:11:prdc-fast,
author = {Horst Schirmeier and Martin Hoffmann and R{\"u}diger Kapitza and Daniel Lohmann and Olaf Spinczyk},
title = {Revisiting Fault-Injection Experiment-Platform Architectures},
booktitle = {Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC '11)},
publisher = {IEEE Press},
address = {Pasadena, CA, USA},
month = dec,
pages = {284--285},
year = 2011,
doi = {10.1109/PRDC.2011.46},
category = {ESS, DanceOS},
note = {Fast abstract},
download-url = {https://ess.cs.tu-dortmund.de/~hsc/Publications/files/PRDC-FAST-2011-Schirmeier.pdf}
}
@inproceedings{schirmeier:12:arcs-dft,
author = {Horst Schirmeier and Martin Hoffmann and R{\"u}diger Kapitza and Daniel Lohmann and Olaf Spinczyk},
title = {{FAIL*}: Towards a Versatile Fault-Injection Experiment Framework},
booktitle = {Proceedings of the 25th International Conference on Architecture of Computing Systems (ARCS '12), Workshop Proceedings},
location = {Munich, Germany},
series = {Lecture Notes in Informatics},
volume = 200,
editor = {Gero M{\"u}hl and Jan Richling and Andreas Herkersdorf},
isbn = {978-3-88579-294-9},
month = mar,
year = 2012,
pages = {201--210},
publisher = {German Society of Informatics},
category = {ESS, DanceOS},
download-url = {https://ess.cs.tu-dortmund.de/~hsc/Publications/files/VERFE-2012-Schirmeier.pdf}
}
@inproceedings{doebel:13:dfr,
author = {Bj{\"o}rn D{\"o}bel and Horst Schirmeier and Michael Engel},
title = {Investigating the Limitations of {PVF} for Realistic Program Vulnerability Assessment},
booktitle = {Proceedings of the 5th HiPEAC Workshop on Design for Reliability (DFR '13)},
address = {Berlin, Germany},
month = jan,
year = 2013,
category = {ESS, DanceOS},
download-url = {https://ess.cs.tu-dortmund.de/~hsc/Publications/files/HiPEAC-DFR-2013-Doebel.pdf}
}
@phdthesis{hoffmann:2016:phdthesis,
author = {Martin Hoffmann},
title = {{Konstruktive Zuverl{\"a}ssigkeit -- Eine Methodik f{\"u}r zuverl{\"a}ssige Systemsoftware auf unzuverl{\"a}ssiger Hardware}},
month = apr,
year = 2016,
school = {Friedrich-Alexander-Universit{\"a}t Erlangen-N{\"u}rnberg},
type = {Dissertation},
download-url = {https://opus4.kobv.de/opus4-fau/frontdoor/index/index/docId/7038},
category = {L4, DanceOS}
}
@inproceedings{thomm:11:jtres,
author = {Thomm, Isabella and Stilkerich, Michael and Kapitza, R{\"u}diger and Lohmann, Daniel and Schr{\"o}der{-}Preikschat, Wolfgang},
title = {Automated application of fault tolerance mechanisms in a component-based system},
booktitle = {JTRES '11: Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems },
month = sep,
year = {2011},
isbn = {978-1-4503-0731-4},
pages = {87--95},
doi = {10.1145/2043910.2043925},
location = {York, UK},
publisher = {ACM Press},
category = {L4,DanceOS}
}
@inproceedings{stilkerich:13:lctes,
author = {Isabella Stilkerich and Michael Strotz and Christoph Erhardt and Martin Hoffmann and Daniel Lohmann and Fabian Scheler and Wolfgang Schr{\"o}der{-}Preikschat},
title = {A {JVM} for Soft-Error-Prone Embedded Systems},
isbn = {978-1-4503-2085-6},
doi = {10.1145/2499369.2465571},
location = {Seattle, Washington, USA},
booktitle = {Proceedings of the 14th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '13)},
pages = {21--32},
month = jun,
year = {2013},
publisher = {ACM Press},
address = {New York, NY, USA},
category = {L4,DanceOS},
download-url = {http://web.archive.org/web/20210122215142/http://danceos.org/publications/LCTES-2013-Stilkerich.pdf}
}
@inproceedings{dietrich:15:lctes,
author = {Christian Dietrich and Martin Hoffmann and Daniel Lohmann},
title = {Cross-Kernel Control-Flow-Graph Analysis for Event-Driven Real-Time Systems},
booktitle = {Proceedings of the 16th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '15)},
month = jun,
year = 2015,
venue = {Portland, Oregon, USA},
publisher = {ACM Press},
address = {New York, NY, USA},
category = {L4, DanceOS},
doi = {10.1145/2670529.2754963},
keywords = {Static Analysis; Control-Flow Graph; Cross-Kernel Analysis; Real-Time Systems; Optimization; Compiler}
}
@inproceedings{dietrich:15:ospert,
author = {Dietrich, Christian and Hoffmann, Martin and Lohmann, Daniel},
title = {Back to the Roots: Implementing the {RTOS} as a Specialized State Machine},
booktitle = {Proceedings of the 11th Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '15)},
month = jul,
year = 2015,
pages = {7--12},
download-url = {http://www.mpi-sws.org/~bbb/events/ospert15/pdf/ospert15-p7.pdf},
venue = {Lund, Sweden},
category = {L4, DanceOS}
}
@inproceedings{henkel:11:codesisss,
title = {Design and Architectures for Dependable Embedded Systems},
author = {Henkel, J{\"o}rg and Bauer, Lars and Becker, Joachim and Bringmann, Oliver and Brinkschulte, Uwe and Chakraborty, Samarjit and Engel, Michael and Ernst, Rolf and H{\"a}rtig, Hermann and Hedrich, Lars and Herkersdorf, Andreas and Kapitza, R{\"u}diger and Lohmann, Daniel and Marwedel, Peter and Platzner, Marco and Rosenstiel, Wolfgang and Schlichtmann, Ulf and Spinczyk, Olaf and Tahoori, Mehdi and Teich, J{\"u}rgen and Wehn, Norbert and Wunderlich, Hans-Joachim},
doi = {10.1145/2039370.2039384},
pages = {69--78},
editor = {Robert P. Dick and Jan Madsen},
isbn = {978-1-4503-0715-4},
location = {Taipei, Taiwan},
booktitle = {Proceedings of the 9th IEEE/ACM International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS '11)},
year = {2011},
month = oct,
publisher = {ACM Press},
category = {ESS, DanceOS}
}
@inproceedings{lohmann:11:aosd,
author = {Daniel Lohmann and Wanja Hofer and Wolfgang Schr{\"o}der{-}Preikschat and Olaf Spinczyk},
title = {Aspect-Aware Operating System Development},
booktitle = {Proceedings of the 10th International Conference on Aspect-Oriented Software Development (AOSD '11)},
publisher = {ACM Press},
address = {New York, NY, USA},
month = mar,
year = 2011,
doi = {10.1145/1960275.1960285},
pages = {69--80},
isbn = {978-1-4503-0605-8},
category = {ESS, DanceOS}
}
@inproceedings{schirmeier:11:dfr,
author = {Horst Schirmeier and R{\"u}diger Kapitza and Daniel Lohmann and Olaf Spinczyk},
title = {{DanceOS}: Towards Dependability Aspects in Configurable Embedded Operating Systems},
keywords = {Dependability, AOP, Operating System, DanceOS},
editor = {Alex Orailoglu},
booktitle = {Proceedings of the 3rd HiPEAC Workshop on Design for Reliability (DFR '11)},
address = {Heraklion, Greece},
month = jan,
year = 2011,
pages = {21--26},
category = {ESS, DanceOS},
download-url = {https://ess.cs.tu-dortmund.de/~hsc/Publications/files/HiPEAC-DFR-2011-Schirmeier.pdf}
}
@inproceedings{borchert:12:mobisys,
author = {Christoph Borchert and Daniel Lohmann and Olaf Spinczyk},
title = {{CiAO/IP}: A Highly Configurable Aspect-Oriented {IP} Stack},
booktitle = {Proceedings of the 10th International Conference on Mobile Systems, Applications, and Services (MobiSys '12)},
venue = {Low Wood Bay, Lake District, UK},
year = {2012},
isbn = {978-1-4503-1301-8},
month = jun,
pages = {435--448},
numpages = {14},
doi = {10.1145/2307636.2307676},
category = {ESS, DanceOS},
publisher = {ACM Press},
address = {New York, NY, USA},
download-url = {http://web.archive.org/web/20210122215142/http://danceos.org/publications/MobiSys-2012-Borchert.pdf}
}
@inproceedings{borchert:12:sobres,
author = {Christoph Borchert and Horst Schirmeier and Olaf Spinczyk},
title = {Protecting the Dynamic Dispatch in {C++} by Dependability Aspects},
booktitle = {Proceedings of the 1st GI Workshop on Software-Based Methods for Robust Embedded Systems (SOBRES '12)},
venue = {Braunschweig, Germany},
month = sep,
year = 2012,
pages = {521--535},
category = {ESS, DanceOS},
publisher = {German Society of Informatics},
series = {Lecture Notes in Informatics},
address = {Bonn, Germany},
url = {http://subs.emis.de/LNI/Proceedings/Proceedings208/521.pdf},
download-url = {https://ess.cs.tu-dortmund.de/~hsc/Publications/files/SOBRES-2012-Borchert.pdf}
}
@inproceedings{borchert:13:dsn,
author = {Christoph Borchert and Horst Schirmeier and Olaf Spinczyk},
title = {Generative Software-based Memory Error Detection and Correction for Operating System Data Structures},
booktitle = {Proceedings of the 43rd IEEE/IFIP International Conference on Dependable Systems and Networks (DSN '13)},
venue = {Budapest, Hungary},
month = jun,
year = 2013,
category = {ESS, DanceOS},
publisher = {IEEE Press},
address = {Piscataway, NJ, USA},
numpages = {12},
download-url = {https://ess.cs.tu-dortmund.de/~hsc/Publications/files/DSN-2013-Borchert.pdf},
doi = {10.1109/DSN.2013.6575308},
isbn = {978-1-4673-6471-3}
}
@inproceedings{borchert:13:sobres,
author = {Christoph Borchert and Horst Schirmeier and Olaf Spinczyk},
title = {Return-Address Protection in {C/C++} Code by Dependability Aspects},
booktitle = {Proceedings of the 2nd GI Workshop on Software-Based Methods for Robust Embedded Systems (SOBRES '13)},
venue = {Koblenz, Germany},
month = sep,
year = 2013,
category = {ESS, DanceOS},
publisher = {German Society of Informatics},
series = {Lecture Notes in Informatics},
address = {Bonn, Germany},
pages = {2519--2533},
numpages = {15},
url = {http://subs.emis.de/LNI/Proceedings/Proceedings220/2519.pdf},
download-url = {https://ess.cs.tu-dortmund.de/~hsc/Publications/files/SOBRES-2013-Borchert.pdf}
}
@inproceedings{martens:14:dcdv,
author = {Arthur Martens and Christoph Borchert and Tobias Oliver Gei{\ss}ler and Daniel Lohmann and Olaf Spinczyk and R{\"u}diger Kapitza},
booktitle = {Proceedings of the 4th International Workshop on Dependability of Clouds, Data Centers and Virtual Machine Technology ({DCDV} '14)},
title = {Crosscheck: Hardening replicated multithreaded services},
year = 2014,
month = jun,
publisher = {IEEE Press},
address = {Piscataway, NJ, USA},
doi = {10.1109/DSN.2014.98},
pages = {648--653},
category = {ESS, DanceOS}
}
@inproceedings{martens:16:edcc,
author = {Arthur Martens and Christoph Borchert and Manuel Nieke and Olaf Spinczyk and R{\"u}diger Kapitza},
title = {{CrossCheck}: A Holistic Approach for Tolerating Crash-Faults and Arbitrary Failures},
booktitle = {Proceedings of the 12th European Dependable Computing Conference (EDCC '16)},
venue = {Gothenburg, Sweden},
month = sep,
year = 2016,
publisher = {IEEE Press},
address = {Piscataway, NJ, USA},
numpages = 12,
category = {ESS, DanceOS},
pages = {65--76},
doi = {10.1109/EDCC.2016.29},
download-url = {https://www.ibr.cs.tu-bs.de/users/martens/papers/martens-16-edcc.pdf}
}
@inproceedings{martens:2018:systor,
author = {Martens, Arthur and Scholz, Rouven and Lindow, Phil and Lehnfeld, Niklas and Kastner, Marc A. and Kapitza, R{\"u}diger},
title = {Dependable Non-Volatile Memory},
booktitle = {Proceedings of the 11th ACM International Systems and Storage Conference },
series = {SYSTOR '18},
year = 2018,
isbn = {978-1-4503-5849-1},
location = {Haifa, Israel},
pages = {1--12},
numpages = 12,
doi = {10.1145/3211890.3211898},
acmid = 3211898,
publisher = {ACM Press},
address = {New York, NY, USA},
category = {DanceOS},
download-url = {https://www.ibr.cs.tu-bs.de/users/martens/papers/martens-18-systor.pdf}
}
@inproceedings{hoffmann:13:sobres,
author = {Martin Hoffmann and Christian Dietrich and Daniel Lohmann},
title = {Failure by Design: Influence of the {RTOS} Interface on Memory Fault Resilience},
booktitle = {Proceedings of the 2nd GI Workshop on Software-Based Methods for Robust Embedded Systems (SOBRES '13)},
venue = {Koblenz, Germany},
month = sep,
year = 2013,
category = {L4, DanceOS},
publisher = {German Society of Informatics},
series = {Lecture Notes in Informatics},
download-url = {http://web.archive.org/web/20210122215142/http://danceos.org/publications/SOBRES-2013-Hoffmann.pdf}
}
@inproceedings{hoffmann:13:prdc-fast,
author = {Martin Hoffmann and Christian Dietrich and Daniel Lohmann},
title = {{dOSEK}: A Dependable {RTOS} for Automotive Applications},
booktitle = {Proceedings of the 19th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC '13)},
publisher = {IEEE Press},
address = {Vancouver, British Columbia, Canada},
month = dec,
year = 2013,
category = {L4, DanceOS},
note = {Fast abstract},
pages = {120--121},
doi = {10.1109/PRDC.2013.22},
download-url = {http://web.archive.org/web/20210122215142/http://danceos.org/publications/PRDC-FAST-2013-Hoffmann.pdf}
}
@inproceedings{hoffmann:14:hase,
author = {Martin Hoffmann and Peter Ulbrich and Christian Dietrich and Horst Schirmeier and Daniel Lohmann and Wolfgang Schr{\"o}der{-}Preikschat},
title = {A Practitioner's Guide to Software-based Soft-Error Mitigation Using {AN}-Codes},
booktitle = {Proceedings of the 15th IEEE International Symposium on High Assurance Systems Engineering (HASE '14)},
publisher = {IEEE Press},
pages = {33--40},
isbn = {978-1-4799-3465-2},
address = {Miami, Florida, USA},
month = jan,
year = 2014,
category = {L4, ESS, DanceOS},
download-url = {http://www4.cs.fau.de/Publications/2014/hoffmann_14_hase.pdf},
doi = {10.1109/HASE.2014.14}
}
@inproceedings{hoffmann:14:isorc,
author = {Martin Hoffmann and Christoph Borchert and Christian Dietrich and Horst Schirmeier and R{\"u}diger Kapitza and Olaf Spinczyk and Daniel Lohmann},
publisher = {IEEE Press},
address = {Piscataway, NJ, USA},
location = {Reno, Nevada, USA},
booktitle = {Proceedings of the 17th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '14)},
title = {Effectiveness of Fault Detection Mechanisms in Static and Dynamic Operating System Designs},
month = jun,
pages = {230--237},
year = 2014,
category = {L4, ESS, DanceOS},
download-url = {http://www4.cs.fau.de/Publications/2014/hoffmann_14_isorc.pdf},
doi = {10.1109/ISORC.2014.26}
}
@article{hoffmann:14:sqj,
author = {Martin Hoffmann and Peter Ulbrich and Christian Dietrich and Horst Schirmeier and Daniel Lohmann and Wolfgang Schr{\"o}der{-}Preikschat},
year = 2016,
month = mar,
journal = {Software Quality Journal},
volume = 24,
number = 1,
pages = {87--113},
title = {Experiences with Software-based Soft-Error Mitigation using {AN} Codes},
publisher = {Springer},
address = {Heidelberg, BW, Germany},
issn = {1573-1367},
doi = {10.1007/s11219-014-9260-4},
keywords = {Fault injection; Arithmetic code; Dependability},
category = {L4, ESS, DanceOS}
}
@inproceedings{hoffmann:15:rtas-best,
author = {Martin Hoffmann and Florian Lukas and Christian Dietrich and Daniel Lohmann},
title = {{dOSEK}: The Design and Implementation of a Dependability-Oriented Static Embedded Kernel},
booktitle = {Proceedings of the 21st IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS '15)},
doi = {10.1109/RTAS.2015.7108449},
pages = {259--270},
year = 2015,
month = apr,
publisher = {IEEE Press},
address = {Piscataway, NJ, USA},
category = {L4, DanceOS},
note = {Best Paper},
download-url = {http://web.archive.org/web/20210122215142/http://danceos.org/publications/RTAS-2015-Hoffmann.pdf}
}
@inproceedings{schirmeier:14:ets,
author = {Horst Schirmeier and Lars Rademacher and Olaf Spinczyk},
title = {Smart-Hopping: Highly Efficient {ISA}-Level Fault Injection on Real Hardware},
publisher = {IEEE Press},
location = {Paderborn, Germany},
booktitle = {Proceedings of the 19th IEEE European Test Symposium (ETS '14)},
month = may,
year = 2014,
pages = {69--74},
category = {ESS, DanceOS},
download-url = {https://ess.cs.tu-dortmund.de/~hsc/Publications/files/ETS-2014-Schirmeier.pdf},
doi = {10.1109/ETS.2014.6847803}
}
@inproceedings{schirmeier:14:safecomp,
author = {Horst Schirmeier and Christoph Borchert and Olaf Spinczyk},
title = {Rapid Fault-Space Exploration by Evolutionary Pruning},
publisher = {Springer},
address = {Cham, Switzerland},
location = {Florence, Italy},
booktitle = {Proceedings of the 33rd International Conference on Computer Safety, Reliability and Security (SAFECOMP '14)},
month = sep,
year = 2014,
category = {ESS, DanceOS},
pages = {17--32},
isbn = {978-3-319-10505-5},
download-url = {https://ess.cs.tu-dortmund.de/~hsc/Publications/files/SAFECOMP-2014-Schirmeier.pdf},
doi = {10.1007/978-3-319-10506-2_2}
}
@inproceedings{schirmeier:15:dsn,
author = {Horst Schirmeier and Christoph Borchert and Olaf Spinczyk},
title = {Avoiding Pitfalls in Fault-Injection Based Comparison of Program Susceptibility to Soft Errors},
booktitle = {Proceedings of the 45th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN '15)},
venue = {Rio de Janeiro, Brazil},
month = jun,
year = 2015,
category = {ESS, DanceOS},
publisher = {IEEE Press},
address = {Piscataway, NJ, USA},
numpages = 12,
download-url = {https://ess.cs.tu-dortmund.de/~hsc/Publications/files/DSN-2015-Schirmeier.pdf},
pages = {319--330},
doi = {10.1109/DSN.2015.44}
}
@inproceedings{schirmeier:15:edcc,
author = {Horst Schirmeier and Martin Hoffmann and Christian Dietrich and Michael Lenz and Daniel Lohmann and Olaf Spinczyk},
title = {{FAIL*}: An Open and Versatile Fault-Injection Framework for the Assessment of Software-Implemented Hardware Fault Tolerance},
booktitle = {Proceedings of the 11th European Dependable Computing Conference (EDCC '15)},
pages = {245--255},
venue = {Paris, France},
month = sep,
year = 2015,
category = {ESS, DanceOS},
publisher = {IEEE Press},
address = {Piscataway, NJ, USA},
numpages = 11,
download-url = {https://ess.cs.tu-dortmund.de/~hsc/Publications/files/EDCC-2015-Schirmeier.pdf},
keywords = {Fault-Injection Tool, Hardware Fault Injection, Software-Implemented Hardware Fault Tolerance, Continuous Fault-Resilience Assessment, Fault-Resilience, Quantification, Post-Injection Analysis, Sensitive Spot Analysis, Error-Detection Measures},
doi = {10.1109/EDCC.2015.28}
}
@phdthesis{schirmeier:2016:phdthesis,
author = {Horst Schirmeier},
title = {Efficient Fault-Injection-based Assessment of Software-Implemented Hardware Fault Tolerance},
month = jul,
year = 2016,
school = {Technische Universit{\"a}t Dortmund},
type = {Dissertation},
doi = {10.17877/DE290R-17222},
download-url = {https://eldorado.tu-dortmund.de/bitstream/2003/35175/1/Dissertation.pdf},
category = {ESS, DanceOS}
}
@inproceedings{lenz:2016:edcc-fast,
author = {Michael Lenz and Horst Schirmeier},
title = {{DETOx}: Towards Optimal Software-based Soft-Error Detector Configurations},
booktitle = {Proceedings of the 12th European Dependable Computing Conference (EDCC '16)},
venue = {Gothenburg, Sweden},
month = sep,
year = 2016,
category = {ESS, DanceOS},
numpages = 2,
download-url = {https://arxiv.org/abs/1608.06144},
note = {Fast abstract}
}
@inproceedings{schirmeier:19:edcc,
author = {Horst Schirmeier and Mark Breddemann},
title = {Quantitative Cross-Layer Evaluation of Transient-Fault Injection Techniques for Algorithm Comparison},
booktitle = {Proceedings of the 15th European Dependable Computing Conference (EDCC '19)},
pages = {15--22},
venue = {Naples, Italy},
month = sep,
year = 2019,
doi = {10.1109/EDCC.2019.00016},
issn = {2641-810X},
category = {ESS, DanceOS},
publisher = {IEEE Press},
address = {Piscataway, NJ, USA},
numpages = 8,
download-url = {https://ess.cs.tu-dortmund.de/~hsc/Publications/files/EDCC-2019-Crosslayer-Schirmeier.pdf},
keywords = {failure analysis;fault diagnosis;flip-flops;integrated circuit reliability;microcontrollers;transient analysis;quantitative cross-layer evaluation;transient-fault injection techniques;soft-error problem;standard methodology;gate-level machine models;fast simulators;abstracted system models;ISA-level register injection;ISA-level FI techniques;specific sorting algorithm;relative inter-benchmark measurements;cross-layer alignment;algorithm-resilience rankings;fault resilience;flip-flop;ARM Cortex-M0 processor;gate-level baseline-injection techniques;machine-model levels;extrapolated absolute failure-count metric;ISA-level injection techniques;Logic gates;Benchmark testing;Registers;Sorting;Measurement;Runtime;Field programmable gate arrays;fault injection;algorithm comparison;soft errors;silent data corruption;extrapolated absolute failure count metric;EAFC}
}
@incollection{schirmeier:20:spp1500-danceos,
author = {Horst Schirmeier and Christoph Borchert and Martin Hoffmann and Christian Dietrich and
Arthur Martens and R{\"u}diger Kapitza and Daniel Lohmann and Olaf Spinczyk},
title = {Dependability Aspects in Configurable Embedded Operating Systems},
editor = {Nikil Dutt and J{\"o}rg Henkel},
booktitle = {Dependable Embedded Systems},
publisher = {Springer},
address = {Heidelberg, BW, Germany},
year = 2020,
chapter = 4,
pages = {85--116},
isbn = {978-3-030-52017-5},
doi = {10.1007/978-3-030-52017-5_4},
category = {ESS, DanceOS}
}
@incollection{schirmeier:20:spp1500-editorialA,
author = {Horst Schirmeier},
title = {{Part I}: Cross-Layer from Operating System to Application},
editor = {Nikil Dutt and J{\"o}rg Henkel},
booktitle = {Dependable Embedded Systems},
publisher = {Springer},
address = {Heidelberg, BW, Germany},
year = 2020,
pages = {29--31},
isbn = {978-3-030-52017-5},
category = {ESS, DanceOS}
}
@inproceedings{boenninghoff:2016:edcc-fast,
author = {Bj{\"o}rn B{\"o}nninghoff and Horst Schirmeier},
title = {Estimating Maximum Error Impact in Dynamic Data-driven Applications for Resource-aware Adaption of Software-based Fault-Tolerance},
booktitle = {Proceedings of the 12th European Dependable Computing Conference (EDCC '16)},
venue = {Gothenburg, Sweden},
month = sep,
year = 2016,
category = {ESS, DanceOS},
numpages = 2,
download-url = {https://arxiv.org/abs/1608.06103},
note = {Fast abstract}
}
@phdthesis{borchert:2017:phdthesis,
author = {Christoph Borchert},
title = {Aspect-Oriented Technology for Dependable Operating Systems},
month = may,
year = 2017,
school = {Technische Universit{\"a}t Dortmund},
type = {Dissertation},
doi = {10.17877/DE290R-17995},
download-url = {https://eldorado.tu-dortmund.de/bitstream/2003/35975/1/Dissertation_Borchert.pdf},
category = {ESS, DanceOS}
}
@article{borchert:15:tdsc,
author = {Christoph Borchert and Horst Schirmeier and Olaf Spinczyk},
journal = {IEEE Transactions on Dependable and Secure Computing},
title = {Generic Soft-Error Detection and Correction for Concurrent Data Structures},
publisher = {IEEE Press},
address = {Piscataway, NJ, USA},
volume = 14,
number = 1,
year = 2017,
month = jan,
pages = {22--36},
doi = {10.1109/TDSC.2015.2427832},
issn = {1545-5971},
keywords = {Benchmark testing;Data structures;Instruction sets;Kernel;Programming;Redundancy;Runtime;Concurrency;Fault tolerance;Object-Oriented Programming;Operating Systems},
category = {ESS, DanceOS, JOURNAL},
download-url = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=7097670&isnumber=4358699}
}
@inproceedings{borchert:15:plos,
author = {Christoph Borchert and Olaf Spinczyk},
title = {Hardening an {L4} Microkernel Against Soft Errors by Aspect-Oriented Programming and Whole-Program Analysis},
booktitle = {Proceedings of the 8th Workshop on Programming Languages and Operating Systems (PLOS '15)},
publisher = {ACM Press},
address = {New York, NY, USA},
month = oct,
year = 2015,
isbn = {978-1-4503-3942-1},
pages = {1--7},
numpages = 7,
doi = {10.1145/2818302.2818304},
category = {ESS, DanceOS},
download-url = {http://web.archive.org/web/20210122215142/http://www.danceos.org/publications/PLOS-15-Borchert.pdf}
}
@article{borchert:2016:osr,
author = {Christoph Borchert and Olaf Spinczyk},
title = {Hardening an {L4} Microkernel Against Soft Errors by Aspect-Oriented Programming and Whole-Program Analysis},
journal = {ACM Operating Systems Review},
issue_date = {December 2015},
volume = {49},
number = {2},
month = jan,
year = 2016,
issn = {0163-5980},
pages = {37--43},
numpages = 7,
doi = {10.1145/2883591.2883600},
publisher = {ACM Press},
address = {New York, NY, USA},
category = {ESS, DanceOS, JOURNAL}
}
@inproceedings{santini:2016:selse-radiation,
author = {Thiago Santini and Christoph Borchert and Christian Dietrich and Horst Schirmeier and Martin Hoffmann and Olaf Spinczyk and Daniel Lohmann and Wagner, Fl{\'a}vio Rech and Paolo Rech},
title = {Evaluating the Radiation Reliability of Dependability-Oriented Real-Time Operating Systems},
booktitle = {Proceedings of the 12th Workshop on Silicon Errors in Logic -- System Effects (SELSE '16)},
year = 2016,
month = mar,
address = {Austin, TX, USA},
numpages = 6,
category = {ESS, L4, DanceOS},
download-url = {ftp://ftp.inf.ufrgs.br/pub/simoo/papers/selse16.pdf}
}
@inproceedings{santini:17:arcs-radiation,
author = {Thiago Santini and Christoph Borchert and Christian Dietrich and Horst Schirmeier and Martin Hoffmann and Olaf Spinczyk and Daniel Lohmann and Fl{\'a}vio Rech Wagner and Paolo Rech},
title = {Effectiveness of Software-Based Hardening for Radiation-Induced Soft Errors in Real-Time Operating Systems},
booktitle = {Proceedings of the 30th International Conference on Architecture of Computing Systems (ARCS '17)},
pages = {3--15},
publisher = {Springer},
address = {Cham, Switzerland},
venue = {Vienna, Austria},
year = 2017,
month = apr,
doi = {10.1007/978-3-319-54999-6_1},
category = {ESS, L4, DanceOS}
}
@article{Shafique:15:IT,
author = {Muhammad Shafique and
Philip Axer and
Christoph Borchert and
Jian{-}Jia Chen and
Kuan{-}Hsun Chen and
Bj{\"{o}}rn D{\"{o}}bel and
Rolf Ernst and
Hermann H{\"{a}}rtig and
Andreas Heinig and
R{\"{u}}diger Kapitza and
Florian Kriebel and
Daniel Lohmann and
Peter Marwedel and
Semeen Rehman and
Florian Schmoll and
Olaf Spinczyk},
title = {Multi-layer software reliability for unreliable hardware},
journal = {it - Information Technology},
volume = {57},
number = {3},
pages = {170--180},
year = 2015,
month = jun,
publisher = {De Gruyter},
doi = {10.1515/itit-2014-1081},
category = {ESS, DanceOS}
}