[1] C. Borchert. Aspect-Oriented Technology for Dependable Operating Systems. Dissertation, Technische Universität Dortmund, May 2017. [ bib | DOI | .pdf ]
[2] T. Santini, C. Borchert, C. Dietrich, H. Schirmeier, M. Hoffmann, O. Spinczyk, D. Lohmann, F. R. Wagner, and P. Rech. Effectiveness of software-based hardening for radiation-induced soft errors in real-time operating systems. In Proceedings of the 30th International Conference on Architecture of Computing Systems (ARCS '17), pages 3–15, Cham, Switzerland, Apr. 2017. Springer. [ bib | DOI ]
[3] C. Borchert, H. Schirmeier, and O. Spinczyk. Generic soft-error detection and correction for concurrent data structures. IEEE Transactions on Dependable and Secure Computing, 14(1):22–36, Jan. 2017. [ bib | DOI | http ]
Keywords: Benchmark testing;Data structures;Instruction sets;Kernel;Programming;Redundancy;Runtime;Concurrency;Fault tolerance;Object-Oriented Programming;Operating Systems
[4] A. Martens, C. Borchert, M. Nieke, O. Spinczyk, and R. Kapitza. CrossCheck: A holistic approach for tolerating crash-faults and arbitrary failures. In Proceedings of the 12th European Dependable Computing Conference (EDCC '16), pages 65–76, Piscataway, NJ, USA, Sept. 2016. IEEE Press. [ bib | DOI | .pdf ]
[5] M. Lenz and H. Schirmeier. DETOx: Towards optimal software-based soft-error detector configurations. In Proceedings of the 12th European Dependable Computing Conference (EDCC '16), Sept. 2016. Fast abstract. [ bib | http ]
[6] B. Bönninghoff and H. Schirmeier. Estimating maximum error impact in dynamic data-driven applications for resource-aware adaption of software-based fault-tolerance. In Proceedings of the 12th European Dependable Computing Conference (EDCC '16), Sept. 2016. Fast abstract. [ bib | http ]
[7] H. Schirmeier. Efficient Fault-Injection-based Assessment of Software-Implemented Hardware Fault Tolerance. Dissertation, Technische Universität Dortmund, July 2016. [ bib | DOI | .pdf ]
[8] M. Hoffmann. Konstruktive Zuverlässigkeit – Eine Methodik für zuverlässige Systemsoftware auf unzuverlässiger Hardware. Dissertation, Friedrich-Alexander-Universität Erlangen-Nürnberg, Apr. 2016. [ bib | http ]
[9] T. Santini, C. Borchert, C. Dietrich, H. Schirmeier, M. Hoffmann, O. Spinczyk, D. Lohmann, F. R. Wagner, and P. Rech. Evaluating the radiation reliability of dependability-oriented real-time operating systems. In Proceedings of the 12th Workshop on Silicon Errors in Logic – System Effects (SELSE '16), Austin, TX, USA, Mar. 2016. [ bib | .pdf ]
[10] C. Borchert and O. Spinczyk. Hardening an L4 microkernel against soft errors by aspect-oriented programming and whole-program analysis. ACM Operating Systems Review, 49(2):37–43, Jan. 2016. [ bib | DOI ]
[11] 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 | .pdf ]
[12] 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 | .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
[13] 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 ]
[14] 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 ]
Keywords: Static Analysis; Control-Flow Graph; Cross-Kernel Analysis; Real-Time Systems; Optimization; Compiler
[15] 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 | .pdf ]
[16] 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 ]
[17] 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 | .pdf ]
[18] M. Hoffmann, P. Ulbrich, C. Dietrich, H. Schirmeier, D. Lohmann, and W. Schröder-Preikschat. Experiences with software-based soft-error mitigation using AN codes. Software Quality Journal, pages 1–27, Nov. 2014. [ bib | DOI ]
Keywords: Fault injection; Arithmetic code; Dependability
[19] 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 | .pdf ]
[20] 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 ]
[21] 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 | .pdf ]
[22] 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 | .pdf ]
[23] 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 | .pdf ]
[24] 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 | .pdf ]
[25] 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 ]
[26] 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 ]
[27] 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 | .pdf ]
[28] 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 | .pdf ]
[29] 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 | .pdf ]
[30] 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 ]
[31] 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 ]
[32] 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 | .pdf ]
[33] 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 ]
[34] 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 ]
[35] 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 ]
[36] 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 | .pdf ]
[37] 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 | .pdf ]
[38] 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 ]
[39] 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 ]
[40] 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 ]
[41] 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

This file was generated by bibtex2html 1.98.