Sprungmarken

Service navigation

Fakultät für Informatik Logo-Text ESS

Hauptnavigation

DanceOS
You are here:

Bereichsnavigation

Hauptinhalt


2015

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 ]

2014

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 ]

2013

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 ]

2012

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 ]

2011

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 ]