Sprungmarken

Service navigation

Fakultät für Informatik Logo-Text ESS

Hauptnavigation

Publications of Horst Schirmeier
You are here:

Bereichsnavigation

Hauptinhalt

Since 10/2021 I am affiliated with TU Dresden and can be contacted there via horst.schirmeier@tu-dresden.de.

Publications

See also: Google Scholar profile, DBLP publication list
C. Hakert, K.-H. Chen, H. Schirmeier, L. Bauer, P. R. Genssler, G. von der Brüggen, H. Amrouch, J. Henkel, and J.-J. Chen. Software-managed read and write wear-leveling for non-volatile main memory. ACM Transactions on Embedded Computing Systems, 2021. to appear. [ bib | DOI: 10.1145/3483839 ]
A. Lochmann and H. Schirmeier. Beastie in for checkup: Analyzing FreeBSD with LockDoc. In Tagungsband des FGBS-Herbsttreffens 2021, Bonn, Germany, Sept. 2021. Gesellschaft für Informatik e.V. [ bib | DOI: 10.18420/fgbs2021h-04 ]
A. Lochmann, R. Thunig, and H. Schirmeier. Improving Linux-kernel tests for LockDoc with feedback-driven fuzzing. In Tagungsband des FGBS-Herbsttreffens 2020, Bonn, Germany, Sept. 2020. Gesellschaft für Informatik e.V. [ bib | DOI: 10.18420/fgbs2020h-01 ]
H. Schirmeier. Part I: Cross-layer from operating system to application. In N. Dutt and J. Henkel, editors, Dependable Embedded Systems, pages 29–31. Springer, Heidelberg, BW, Germany, 2020. [ bib ]
H. Schirmeier, C. Borchert, M. Hoffmann, C. Dietrich, A. Martens, R. Kapitza, D. Lohmann, and O. Spinczyk. Dependability aspects in configurable embedded operating systems. In N. Dutt and J. Henkel, editors, Dependable Embedded Systems, chapter 4, pages 85–116. Springer, Heidelberg, BW, Germany, 2020. [ bib | DOI: 10.1007/978-3-030-52017-5_4 ]
A. Lochmann, H. Schirmeier, H. Borghorst, and O. Spinczyk. LockDoc: Trace-based analysis of locking in the Linux kernel. In Proceedings of the 14th ACM SIGOPS/EuroSys European Conference on Computer Systems (EuroSys '19), New York, NY, USA, Mar. 2019. ACM Press. [ bib | DOI: 10.1145/3302424.3303948 | .pdf ]
EDCC 2019 Distinguished Paper:
H. Schirmeier and M. Breddemann. Quantitative cross-layer evaluation of transient-fault injection techniques for algorithm comparison. In Proceedings of the 15th European Dependable Computing Conference (EDCC '19), pages 15–22, Piscataway, NJ, USA, Sept. 2019. IEEE Press. [ bib | DOI: 10.1109/EDCC.2019.00016 | .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
L. Schönberger, G. von der Brüggen, H. Schirmeier, and J.-J. Chen. Design optimization for hardware-based message filters in broadcast buses. In Proceedings of the 2019 Conference on Design, Automation & Test in Europe (DATE '19), Piscataway, NJ, USA, Mar. 2019. IEEE Press. [ bib | DOI: 10.23919/DATE.2019.8714793 ]
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: 10.1109/TDSC.2015.2427832 | http ]
Keywords: Benchmark testing;Data structures;Instruction sets;Kernel;Programming;Redundancy;Runtime;Concurrency;Fault tolerance;Object-Oriented Programming;Operating Systems
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: 10.1007/978-3-319-54999-6_1 ]
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 ]
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, 24(1):87–113, Mar. 2016. [ bib | DOI: 10.1007/s11219-014-9260-4 ]
Keywords: Fault injection; Arithmetic code; Dependability
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 ]
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 ]
H. Schirmeier. Efficient Fault-Injection-based Assessment of Software-Implemented Hardware Fault Tolerance. Dissertation, Technische Universität Dortmund, July 2016. [ bib | DOI: 10.17877/DE290R-17222 | .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. 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 ]
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 ]
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 ]
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 ]
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 ]
M. Meier, D. Austin, H. Schirmeier, and O. Spinczyk. TMPL: A hardware transactional memory product line. In Proceedings of the Workshop on Multiprocessor Systems on (Programmable) Chips (MPSoC 2011), pages 539–546, Istanbul, Turkey, July 2011. IEEE Press. [ bib | DOI: 10.1109/HPCSim.2011.5999872 ]
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 ]
H. Schirmeier, M. Bahne, J. Streicher, and O. Spinczyk. Towards eCos autoconfiguration by static application analysis. In Proceedings of the 1st International Workshop on Automated Configuration and Tailoring of Applications (ACoTA '10), CEUR Workshop Proceedings, pages 35–44, Antwerp, Belgium, Sept. 2010. CEUR-WS.org. [ bib ]
H. Schirmeier and O. Spinczyk. Challenges in software product line composition. In Proceedings of the 42nd Hawai'i International Conference on System Sciences (HICSS '09), pages 1–7, Waikoloa, Big Island, Hawaii, Jan. 2009. IEEE Press. [ bib | DOI: 10.1109/HICSS.2009.106 ]
M. Rosenmüller, N. Siegmund, H. Schirmeier, J. Sincero, S. Apel, T. Leich, O. Spinczyk, and G. Saake. FAME-DBMS: Tailor-made data management solutions for embedded systems. In Workshop on Software Engineering for Tailor-made Data Management, pages 1–6. School of Computer Science, University of Magdeburg, Mar. 2008. [ bib | .pdf ]
M. Rosenmüller, M. Kuhlemann, N. Siegmund, and H. Schirmeier. Avoiding variability of method signatures in software product lines: A case study. In GPCE Workshop on Aspect-Oriented Product Line Engineering, Oct. 2007. [ bib | .pdf ]
F. Scheler, M. Mitzlaff, W. Schröder-Preikschat, and H. Schirmeier. Towards a real-time systems compiler. In Proceedings of the 5th International Workshop on Intelligent Solutions in Embedded Systems (WISES '07), pages 62–75, Leganes (Madrid), Spain, June 2007. IEEE Press. [ bib | DOI: 10.1109/WISES.2007.4408506 ]
H. Schirmeier. Werkzeugunterstützung für die statische Anwendungsanalyse im Kontext von Software-Produktlinien. Diplomarbeit, Friedrich-Alexander-Universität Erlangen-Nürnberg, Jan. 2007. [ bib ]
H. Schirmeier and O. Spinczyk. Maßschneiderung von Infrastrukturproduktlinien durch statische Anwendungsanalyse. In M. Jarke, T. Seidl, C. Quix, D. Kensche, S. Conrad, E. Rahm, R. Klamma, H. Kosch, M. Granitzer, S. Apel, M. Rosenmüller, G. Saake, and O. Spinczyk, editors, Proceedings of the BTW Workshop Maßgeschneidertes Datenmanagement, pages 355–365, Bonn, Deutschland, Mar. 2007. Verlagshaus Mainz, Aachen. [ bib | .pdf ]
H. Schirmeier and O. Spinczyk. Tailoring infrastructure software product lines by static application analysis. In Proceedings of the 11th Software Product Line Conference (SPLC '07), pages 255–260. IEEE Press, Sept. 2007. [ bib | DOI: 10.1109/SPLINE.2007.33 | .pdf ]
J. Sincero, H. Schirmeier, W. Schröder-Preikschat, and O. Spinczyk. Is the Linux kernel a software product line? In F. van der Linden and B. Lundell, editors, Proceedings of the International Workshop on Open Source Software and Product Lines (SPLC-OSSPL 2007), Kyoto, Japan, Sept. 2007. [ bib | .pdf ]
H. Schirmeier. Design und Implementierung eines USB-Subsystem-Simulators für FAUmachine. Studienarbeit, Friedrich-Alexander-Universität Erlangen-Nürnberg, Aug. 2005. [ bib ]