|
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 ]
|
|
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 ]
|