|
|
C. Borchert and O. Spinczyk.
Hardening an L4 microkernel against soft errors by aspect-oriented
programming and whole-program analysis.
In Proceedings of the 8th Workshop on Programming Languages and
Operating Systems (PLOS '15), pages 1–7, New York, NY, USA, Oct. 2015. ACM
Press.
[ bib |
DOI: 10.1145/2818302.2818304 |
.pdf ]
|
|
|
C. Dietrich, M. Hoffmann, and D. Lohmann.
Back to the roots: Implementing the RTOS as a specialized state
machine.
In Proceedings of the 11th Workshop on Operating Systems
Platforms for Embedded Real-Time Applications (OSPERT '15), pages 7–12,
July 2015.
[ bib |
.pdf ]
|
|
|
C. Dietrich, M. Hoffmann, and D. Lohmann.
Cross-kernel control-flow-graph analysis for event-driven real-time
systems.
In Proceedings of the 16th ACM SIGPLAN/SIGBED Conference on
Languages, Compilers and Tools for Embedded Systems (LCTES '15), New York,
NY, USA, June 2015. ACM Press.
[ bib |
DOI: 10.1145/2670529.2754963 ]
Keywords: Static Analysis; Control-Flow Graph; Cross-Kernel Analysis; Real-Time Systems; Optimization; Compiler
|
|
|
M. Hoffmann, F. Lukas, C. Dietrich, and D. Lohmann.
dOSEK: The design and implementation of a dependability-oriented
static embedded kernel.
In Proceedings of the 21st IEEE Real-Time and Embedded
Technology and Applications Symposium (RTAS '15), pages 259–270,
Piscataway, NJ, USA, Apr. 2015. IEEE Press.
Best Paper.
[ bib |
DOI: 10.1109/RTAS.2015.7108449 |
.pdf ]
|
|
|
H. Schirmeier, C. Borchert, and O. Spinczyk.
Avoiding pitfalls in fault-injection based comparison of program
susceptibility to soft errors.
In Proceedings of the 45th IEEE/IFIP International Conference on
Dependable Systems and Networks (DSN '15), pages 319–330, Piscataway, NJ,
USA, June 2015. IEEE Press.
[ bib |
DOI: 10.1109/DSN.2015.44 |
.pdf ]
|
|
|
H. Schirmeier, M. Hoffmann, C. Dietrich, M. Lenz, D. Lohmann, and O. Spinczyk.
FAIL*: An open and versatile fault-injection framework for the
assessment of software-implemented hardware fault tolerance.
In Proceedings of the 11th European Dependable Computing
Conference (EDCC '15), pages 245–255, Piscataway, NJ, USA, Sept. 2015. IEEE
Press.
[ bib |
DOI: 10.1109/EDCC.2015.28 |
.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
|
|
|
M. Shafique, P. Axer, C. Borchert, J. Chen, K. Chen, B. Döbel, R. Ernst,
H. Härtig, A. Heinig, R. Kapitza, F. Kriebel, D. Lohmann, P. Marwedel,
S. Rehman, F. Schmoll, and O. Spinczyk.
Multi-layer software reliability for unreliable hardware.
it - Information Technology, 57(3):170–180, June 2015.
[ bib |
DOI: 10.1515/itit-2014-1081 ]
|
|
|
M. Hoffmann, C. Borchert, C. Dietrich, H. Schirmeier, R. Kapitza, O. Spinczyk,
and D. Lohmann.
Effectiveness of fault detection mechanisms in static and dynamic
operating system designs.
In Proceedings of the 17th IEEE International Symposium on
Object-Oriented Real-Time Distributed Computing (ISORC '14), pages 230–237,
Piscataway, NJ, USA, June 2014. IEEE Press.
[ bib |
DOI: 10.1109/ISORC.2014.26 |
.pdf ]
|
|
|
M. Hoffmann, P. Ulbrich, C. Dietrich, H. Schirmeier, D. Lohmann, and
W. Schröder-Preikschat.
A practitioner's guide to software-based soft-error mitigation using
AN-codes.
In Proceedings of the 15th IEEE International Symposium on High
Assurance Systems Engineering (HASE '14), pages 33–40, Miami, Florida, USA,
Jan. 2014. IEEE Press.
[ bib |
DOI: 10.1109/HASE.2014.14 |
.pdf ]
|
|
|
A. Martens, C. Borchert, T. O. Geißler, D. Lohmann, O. Spinczyk, and
R. Kapitza.
Crosscheck: Hardening replicated multithreaded services.
In Proceedings of the 4th International Workshop on
Dependability of Clouds, Data Centers and Virtual Machine Technology (DCDV
'14), pages 648–653, Piscataway, NJ, USA, June 2014. IEEE Press.
[ bib |
DOI: 10.1109/DSN.2014.98 ]
|
|
|
H. Schirmeier, C. Borchert, and O. Spinczyk.
Rapid fault-space exploration by evolutionary pruning.
In Proceedings of the 33rd International Conference on Computer
Safety, Reliability and Security (SAFECOMP '14), pages 17–32, Cham,
Switzerland, Sept. 2014. Springer.
[ bib |
DOI: 10.1007/978-3-319-10506-2_2 |
.pdf ]
|
|
|
H. Schirmeier, L. Rademacher, and O. Spinczyk.
Smart-hopping: Highly efficient ISA-level fault injection on real
hardware.
In Proceedings of the 19th IEEE European Test Symposium (ETS
'14), pages 69–74. IEEE Press, May 2014.
[ bib |
DOI: 10.1109/ETS.2014.6847803 |
.pdf ]
|
|
|
C. Borchert, H. Schirmeier, and O. Spinczyk.
Generative software-based memory error detection and correction for
operating system data structures.
In Proceedings of the 43rd IEEE/IFIP International Conference on
Dependable Systems and Networks (DSN '13), Piscataway, NJ, USA, June 2013.
IEEE Press.
[ bib |
DOI: 10.1109/DSN.2013.6575308 |
.pdf ]
|
|
|
C. Borchert, H. Schirmeier, and O. Spinczyk.
Return-address protection in C/C++ code by dependability aspects.
In Proceedings of the 2nd GI Workshop on Software-Based Methods
for Robust Embedded Systems (SOBRES '13), Lecture Notes in Informatics,
pages 2519–2533, Bonn, Germany, Sept. 2013. German Society of Informatics.
[ bib |
.pdf |
.pdf ]
|
|
|
B. Döbel, H. Schirmeier, and M. Engel.
Investigating the limitations of PVF for realistic program
vulnerability assessment.
In Proceedings of the 5th HiPEAC Workshop on Design for
Reliability (DFR '13), Berlin, Germany, Jan. 2013.
[ bib |
.pdf ]
|
|
|
M. Hoffmann, C. Dietrich, and D. Lohmann.
dOSEK: A dependable RTOS for automotive applications.
In Proceedings of the 19th IEEE Pacific Rim International
Symposium on Dependable Computing (PRDC '13), pages 120–121, Vancouver,
British Columbia, Canada, Dec. 2013. IEEE Press.
Fast abstract.
[ bib |
DOI: 10.1109/PRDC.2013.22 |
.pdf ]
|
|
|
M. Hoffmann, C. Dietrich, and D. Lohmann.
Failure by design: Influence of the RTOS interface on memory fault
resilience.
In Proceedings of the 2nd GI Workshop on Software-Based Methods
for Robust Embedded Systems (SOBRES '13), Lecture Notes in Informatics.
German Society of Informatics, Sept. 2013.
[ bib |
.pdf ]
|
|
|
H. Schirmeier, I. Korb, O. Spinczyk, and M. Engel.
Efficient online memory error assessment and circumvention for
Linux with RAMpage.
International Journal of Critical Computer-Based Systems,
4(3):227–247, 2013.
Special Issue on PRDC 2011 Dependable Architecture and Analysis.
[ bib |
DOI: 10.1504/IJCCBS.2013.058397 |
.pdf ]
|
|
|
I. Stilkerich, M. Strotz, C. Erhardt, M. Hoffmann, D. Lohmann, F. Scheler, and
W. Schröder-Preikschat.
A JVM for soft-error-prone embedded systems.
In Proceedings of the 14th ACM SIGPLAN/SIGBED Conference on
Languages, Compilers and Tools for Embedded Systems (LCTES '13), pages
21–32, New York, NY, USA, June 2013. ACM Press.
[ bib |
DOI: 10.1145/2499369.2465571 |
.pdf ]
|
|
|
C. Borchert, D. Lohmann, and O. Spinczyk.
CiAO/IP: A highly configurable aspect-oriented IP stack.
In Proceedings of the 10th International Conference on Mobile
Systems, Applications, and Services (MobiSys '12), pages 435–448, New York,
NY, USA, June 2012. ACM Press.
[ bib |
DOI: 10.1145/2307636.2307676 |
.pdf ]
|
|
|
C. Borchert, H. Schirmeier, and O. Spinczyk.
Protecting the dynamic dispatch in C++ by dependability aspects.
In Proceedings of the 1st GI Workshop on Software-Based Methods
for Robust Embedded Systems (SOBRES '12), Lecture Notes in Informatics,
pages 521–535, Bonn, Germany, Sept. 2012. German Society of Informatics.
[ bib |
.pdf |
.pdf ]
|
|
|
D. Lohmann, O. Spinczyk, W. Hofer, and W. Schröder-Preikschat.
The aspect-aware design and implementation of the CiAO
operating-system family.
In G. T. Leavens, S. Chiba, M. Haupt, K. Ostermann, and
E. Wohlstadter, editors, Transactions on AOSD IX, number 7271 in
Lecture Notes in Computer Science, pages 168–215. Springer, 2012.
[ bib ]
|
|
|
H. Schirmeier, M. Hoffmann, R. Kapitza, D. Lohmann, and O. Spinczyk.
FAIL*: Towards a versatile fault-injection experiment framework.
In G. Mühl, J. Richling, and A. Herkersdorf, editors,
Proceedings of the 25th International Conference on Architecture of Computing
Systems (ARCS '12), Workshop Proceedings, volume 200 of Lecture Notes
in Informatics, pages 201–210. German Society of Informatics, Mar. 2012.
[ bib |
.pdf ]
|
|
|
P. Ulbrich, M. Hoffmann, R. Kapitza, D. Lohmann, W. Schröder-Preikschat,
and R. Schmid.
Eliminating single points of failure in software-based redundancy.
In Proceedings of the 9th European Dependable Computing
Conference (EDCC '12), pages 49–60, Piscataway, NJ, USA, May 2012. IEEE
Press.
[ bib |
DOI: 10.1109/EDCC.2012.21 ]
|
|
|
J. Henkel, L. Bauer, J. Becker, O. Bringmann, U. Brinkschulte, S. Chakraborty,
M. Engel, R. Ernst, H. Härtig, L. Hedrich, A. Herkersdorf, R. Kapitza,
D. Lohmann, P. Marwedel, M. Platzner, W. Rosenstiel, U. Schlichtmann,
O. Spinczyk, M. Tahoori, J. Teich, N. Wehn, and H.-J. Wunderlich.
Design and architectures for dependable embedded systems.
In R. P. Dick and J. Madsen, editors, Proceedings of the 9th
IEEE/ACM International Conference on Hardware/Software Codesign and System
Synthesis (CODES+ISSS '11), pages 69–78. ACM Press, Oct. 2011.
[ bib |
DOI: 10.1145/2039370.2039384 ]
|
|
|
D. Lohmann, W. Hofer, W. Schröder-Preikschat, and O. Spinczyk.
Aspect-aware operating system development.
In Proceedings of the 10th International Conference on
Aspect-Oriented Software Development (AOSD '11), pages 69–80, New York, NY,
USA, Mar. 2011. ACM Press.
[ bib |
DOI: 10.1145/1960275.1960285 ]
|
|
|
H. Schirmeier, M. Hoffmann, R. Kapitza, D. Lohmann, and O. Spinczyk.
Revisiting fault-injection experiment-platform architectures.
In Proceedings of the 17th IEEE Pacific Rim International
Symposium on Dependable Computing (PRDC '11), pages 284–285, Pasadena, CA,
USA, Dec. 2011. IEEE Press.
Fast abstract.
[ bib |
DOI: 10.1109/PRDC.2011.46 |
.pdf ]
|
|
|
H. Schirmeier, R. Kapitza, D. Lohmann, and O. Spinczyk.
DanceOS: Towards dependability aspects in configurable embedded
operating systems.
In A. Orailoglu, editor, Proceedings of the 3rd HiPEAC Workshop
on Design for Reliability (DFR '11), pages 21–26, Heraklion, Greece, Jan.
2011.
[ bib |
.pdf ]
Keywords: Dependability, AOP, Operating System, DanceOS
|
|
|
H. Schirmeier, J. Neuhalfen, I. Korb, O. Spinczyk, and M. Engel.
RAMpage: Graceful degradation management for memory errors in
commodity Linux servers.
In Proceedings of the 17th IEEE Pacific Rim International
Symposium on Dependable Computing (PRDC '11), pages 89–98, Pasadena, CA,
USA, Dec. 2011. IEEE Press.
[ bib |
DOI: 10.1109/PRDC.2011.20 |
.pdf ]
|
|
|
I. Thomm, M. Stilkerich, R. Kapitza, D. Lohmann, and
W. Schröder-Preikschat.
Automated application of fault tolerance mechanisms in a
component-based system.
In JTRES '11: Proceedings of the 9th International Workshop on
Java Technologies for Real-Time and Embedded Systems, pages 87–95. ACM
Press, Sept. 2011.
[ bib |
DOI: 10.1145/2043910.2043925 ]
|
