|
|
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 ]
|
|
|
H. Borghorst, M. Müller, and O. Spinczyk.
More or less? a discussion about the abstraction level of future
operating systems.
In Proceedings of the 1st International Workshop on
Next-Generation Operating Systems for Cyber-Physical Systems (NGOSCPS 2019),
2019.
[ bib |
.pdf ]
|
|
|
H. Borghorst and O. Spinczyk.
CyPhOS – A component-based cache-aware multi-core operating
system.
In Proceedings of the 32th International Conference on
Architecture of Computing Systems (ARCS '19), 2019.
[ bib |
DOI: 10.1007/978-3-030-18656-2_13 ]
|
|
|
M. Buschhoff.
Energy-aware design of hardware and software for ultra-low-power
systems.
Dissertation, Technische Universität Dortmund, Sept. 2019.
[ bib |
DOI: 10.17877/DE290R-20241 |
.pdf ]
|
|
|
U. T. Gabor, S. Dierl, and O. Spinczyk.
Spectrum-based fault localization in deployed embedded systems with
driver interaction models.
In A. Romanovsky, E. Troubitsyna, and F. Bitsch, editors,
Proceedings of the 38rd International Conference on Computer Safety,
Reliability and Security (SAFECOMP '19), pages 97–112, Cham, 2019. Springer
International Publishing.
[ bib |
DOI: 10.1007/978-3-030-26601-1_7 ]
|
|
|
U. T. Gabor, D. Siegert, and O. Spinczyk.
High-accuracy software fault injection in source code with Clang.
In Proceedings of the 24th IEEE Pacific Rim International
Symposium on Dependable Computing (PRDC '19), pages 75–84, Pasadena, CA,
USA, Dec. 2019. IEEE Press.
[ bib |
DOI: 10.1109/PRDC47002.2019.00029 ]
|
|
|
U. T. Gabor, D. Siegert, and O. Spinczyk.
Software-fault injection in source code with Clang.
In Proceedings of the 32th International Conference on
Architecture of Computing Systems (ARCS '19), Workshop Proceedings, pages
1–6, 2019.
[ bib ]
|
|
|
U. T. Gabor, C.-C. von Egidy, and O. Spinczyk.
Interface injection with AspectC++ in embedded systems.
In Proceedings of the 19th IEEE International Symposium on High
Assurance Systems Engineering (HASE '19), pages 131–138. IEEE Press, Jan.
2019.
[ bib |
DOI: 10.1109/HASE.2019.00028 ]
Keywords: Embedded systems;C++ languages;Libraries;Testing;Standards;Java;Reliability;fault tolerance;software reliability;embedded software;software testing
|
|
|
B. Jablkowski.
Design of Fault-Tolerant Virtual Execution Environments for
Cyber-Physical Systems.
Dissertation, Technische Universität Dortmund, Aug. 2019.
[ bib |
DOI: 10.17877/DE290R-20133 |
.pdf ]
|
|
|
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 ]
|
|
|
M. Buschhoff, R. Falkenberg, and O. Spinczyk.
Energy-aware device drivers for embedded operating systems.
SIGBED Rev., 2018.
[ bib ]
|
|
|
M. Buschhoff, D. Friesel, and O. Spinczyk.
Energy models in the loop.
Procedia Computer Science, 130:1063 – 1068, 2018.
The 9th International Conference on Ambient Systems, Networks and
Technologies (ANT 2018) / The 8th International Conference on Sustainable
Energy Information Technology (SEIT-2018) / Affiliated Workshops.
[ bib |
DOI: 10.1016/j.procs.2018.04.154 |
http ]
|
|
|
D. Friesel, M. Buschhoff, and O. Spinczyk.
Parameter-aware energy models for embedded-system peripherals.
In 2018 IEEE 13th International Symposium on Industrial Embedded
Systems (SIES), pages 1–4, June 2018.
[ bib |
DOI: 10.1109/SIES.2018.8442096 |
.pdf |
http ]
Keywords: Hardware;Bit rate;Payloads;Adaptation models;Automata;Data models;Predictive models
|
|
|
A. Grosche, B. Igel, and O. Spinczyk.
Exploiting modular language extensions in legacy C code: An
automotive case study.
In I. Schaefer, D. Karagiannis, A. Vogelsang, D. Méndez, and
C. Seidl, editors, Modellierung 2018, pages 103–118, Bonn, 2018.
Gesellschaft für Informatik e.V.
[ bib |
http ]
|
|
|
C. Borchert.
Aspect-Oriented Technology for Dependable Operating Systems.
Dissertation, Technische Universität Dortmund, May 2017.
[ bib |
DOI: 10.17877/DE290R-17995 |
.pdf ]
|
|
|
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
|
|
|
R. Falkenberg, M. Masoudinejad, M. Buschhoff, A. K. Ramachandran Venkatapathy,
D. Friesel, M. ten Hompel, O. Spinczyk, and C. Wietfeld.
PhyNetLab: An IoT-based warehouse testbed.
In 2017 Federated Conference on Computer Science and Information
Systems (FedCSIS), Sept. 2017.
[ bib ]
|
|
|
D. Friesel, M. Buschhoff, and O. Spinczyk.
Annotations in operating systems with custom AspectC++ attributes.
In Proceedings of the 9th Workshop on Programming Languages and
Operating Systems (PLOS '17), PLOS'17, pages 36–42, New York, NY, USA,
2017. ACM.
[ bib |
DOI: 10.1145/3144555.3144561 |
.pdf ]
|
|
|
R. Höttger, B. Igel, and O. Spinczyk.
On reducing busy waiting in AUTOSAR via task-release-delta-based
runnable reordering.
In Proceedings of the 2017 Conference on Design, Automation &
Test in Europe (DATE '17), Piscataway, NJ, USA, Mar. 2017. IEEE Press.
[ bib ]
|
|
|
B. Jablkowski, U. T. Gabor, and O. Spinczyk.
Evolutionary planning of virtualized cyber-physical compute and
control clusters.
Journal of Systems Architecture, 73:17–27, Feb. 2017.
[ bib |
DOI: 10.1016/j.sysarc.2016.11.001 ]
|
|
|
B. Jablkowski, M. Kuech, N. Dorsch, A. Kubis, O. Spinczyk, C. Wietfeld, and
C. Rehtanz.
vGridLab: A testbed for virtualized smart grids.
Journal of Computer Science-Research and Development, Aug 2017.
Extended abstract.
[ bib ]
|
|
|
S. Kerrison, M. Buschhoff, J. Nunez-Yanez, and K. Eder.
Measuring energy.
In G. Fagas, L. Gammaitoni, J. P. Gallagher, and D. J. Paul, editors,
ICT - Energy Concepts for Energy Efficiency and Sustainability,
chapter 03. InTech, Rijeka, 2017.
[ bib |
DOI: 10.5772/65989 |
http ]
|
|
|
A. Kohne.
SLA-basierte VM-Scheduling-Verfahren für
Cloud-Föderationen.
Dissertation, Technische Universität Dortmund, Oct. 2017.
[ bib |
DOI: 10.1007/978-3-658-20973-5 ]
|
|
|
A. Kohne, M. Krüger, M. Pfahlberg, L. Nagel, and O. Spinczyk.
Financial evaluation of SLA-based VM scheduling strategies for
cloud federations.
In Proceedings of the 4th Workshop on CrossCloud Infrastructures
& Platforms, CrossCloud '17, pages 1:1–1:7, New York, NY, USA, 2017. ACM.
[ bib |
DOI: 10.1145/3069383.3069384 |
http ]
Keywords: FederatedCloudSim, SLA, auction, cloud accounting, cloud federation, scheduling, simulation, virtual machine trading
|
|
|
A. Lochmann, F. Bruckner, and O. Spinczyk.
Reproducible load tests for Android systems with trace-based
benchmarks.
In Proceedings of the 8th ACM/SPEC International Conference on
Performance Engineering Companion, ICPE '17 Companion, pages 73–76, New
York, NY, USA, 2017. ACM Press.
[ bib |
DOI: 10.1145/3053600.3053615 ]
Keywords: Android, application tracing, benchmark, benchmark generator, load testing
|
|
|
M. Meier.
Co-Konfiguration von Hardware- und
Systemsoftware-Produktlinien.
Dissertation, Technische Universität Dortmund, Mar. 2017.
[ bib |
DOI: 10.17877/DE290R-18024 |
.pdf ]
|
|
|
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 ]
|
|
|
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: 10.1145/2883591.2883600 ]
|
|
|
H. Borghorst, K. Bieling, and O. Spinczyk.
Towards versatile models for contemporary hardware platforms.
In Proceedings of the 12th Workshop on Operating Systems
Platforms for Embedded Real-Time Applications (OSPERT '16), pages 7–9.
RheinMain University of Applied Sciences, July 2016.
[ bib |
.pdf ]
|
|
|
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
|
|
|
A. Kohne, D. Pasternak, L. Nagel, and O. Spinczyk.
Evaluation of sla-based decision strategies for vm scheduling in
cloud data centers.
In Proceedings of the 3rd Workshop on CrossCloud Infrastructures
& Platforms, CrossCloud '16, pages 6:1–6:5, New York, NY, USA, 2016. ACM.
[ bib |
DOI: 10.1145/2904111.2904113 |
http ]
Keywords: cloud computing, scheduling, service level agreement, simulation
|
|
|
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 ]
|
|
|
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: 10.1109/EDCC.2016.29 |
.pdf ]
|
|
|
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 ]
|
|
|
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 ]
|
|
|
H. Borghorst and O. Spinczyk.
Increasing the predictability of modern COTS hardware through
cache-aware OS-design.
In Proceedings of the 11th Workshop on Operating Systems
Platforms for Embedded Real-Time Applications (OSPERT '15), July 2015.
[ bib |
.pdf ]
|
|
|
B. Jablkowski and O. Spinczyk.
CPS-Remus: Eine Hochverfügbarkeitslösung für
virtualisierte cyber-physische Anwendungen.
In W. A. Halang and O. Spinczyk, editors, Tagungsband zum Thema
Betriebssysteme und Echtzeit (Echtzeit 2015). Springer, Nov. 2015.
[ bib ]
|
|
|
B. Jablkowski and O. Spinczyk.
CPS-Xen: A virtual execution environment for cyber-physical
applications.
In Proceedings of the 28th International Conference on
Architecture of Computing Systems (ARCS '15), pages 108–119, Porto,
Portugal, Mar. 2015. Springer.
[ bib ]
|
|
|
A. Kubis, L. Robitzky, M. Küch, S.-C. Müller, B. Jablkowski, H. Georg,
N. Dorsch, S. Krey, C. Langesberg, D. Surmann, D. Mayorga, C. Rehtanz,
U. Häger, O. Spinczyk, C. Wietfeld, C. Weihs, U. Ligges, J. Myrzik, and
J. Götze.
Validation of ICT-based protection and control applications in
electric power systems.
In PowerTech Conference (POWERTECH), Eindhoven, Netherlands,
June 2015. IEEE Press.
[ bib ]
|
|
|
M. Meier, M. Breddemann, and O. Spinczyk.
Interfacing the hardware API with a feature-based operating system
family.
Journal of Systems Architecture, 61(10):531–538, 2015.
[ bib |
DOI: 10.1016/j.sysarc.2015.07.010 ]
|
|
|
N. Piatkowski, J. Streicher, O. Spinczyk, and K. Morik.
Open smartphone data for structured mobility and utilization analysis
in ubiquitous systems.
In M. Atzmueller, A. Chin, C. Scholz, and C. Trattner, editors,
Mining, Modeling, and Recommending `Things' in Social Media, volume 8940 of
Lecture Notes in Computer Science, pages 116–130. Springer
International Publishing, 2015.
[ bib |
DOI: 10.1007/978-3-319-14723-9_7 ]
|
|
|
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 ]
|
|
|
J. Streicher, A. Lochmann, and O. Spinczyk.
kCQL: Declarative stream-based acquisition and processing of
diagnostic OS data.
In Proceedings of the Conference on Timely Results in Operating
Systems (TRIOS). ACM, 2015.
[ bib ]
|
|
|
N. Dorsch, B. Jablkowski, H. Georg, O. Spinczyk, and C. Wietfeld.
Analysis of communication networks for smart substations using a
virtualized execution platform.
In Proceedings of the International Conference on Communications
(ICC '14). IEEE Press, 2014.
[ bib ]
|
|
|
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 ]
|
|
|
B. Jablkowski, M. Küch, O. Spinczyk, and C. Rehtanz.
A hardware-in-the-loop co-simulation architecture for power system
applications in virtual execution environments.
In Proceedings of the Workshop on Modeling and Simulation of
Cyber-Physical Energy Systems (MSCPES 2014), pages 1–6. IEEE Press, 2014.
[ bib |
DOI: 10.1109/MSCPES.2014.6842403 ]
|
|
|
A. Kohne and O. Spinczyk.
Model for SLA-based VM scheduling in federated cloud
environments.
Journal of Integrated Design and Process Science, 18(1):39–52,
2014.
[ bib |
DOI: 10.3233/jid-2014-0002 ]
|
|
|
A. Kohne, M. Spohr, L. Nagel, and O. Spinczyk.
FederatedCloudSim: a SLA-aware federated cloud simulation
framework.
In Proceedings of the 2nd International Workshop on CrossCloud
Systems, CCB@Middleware 2014, Bordeaux, France, December 8, 2014, pages
3:1–3:5, 2014.
[ bib |
DOI: 10.1145/2676662.2676674 ]
|
|
|
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 ]
|
|
|
M. Meier, M. Breddemann, and O. Spinczyk.
Hardware APIs: A software-centric approach for automated derivation
of MPSoC hardware structures based on static code analysis.
In Proceedings of the 27th International Conference on
Architecture of Computing Systems (ARCS '14), pages 111–122, Luebeck,
Germany, Feb. 2014. Springer.
[ bib |
DOI: 10.1007/978-3-319-04891-8_10 ]
|
|
|
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 ]
|
|
|
M. Buschhoff, C. Günter, and O. Spinczyk.
MIMOSA, a highly sensitive and accurate power measurement technique
for low-power systems.
In Real-World Wireless Sensor Networks, Lecture Notes in
Computer Science. Springer Berlin Heidelberg, 2013.
[ bib ]
|
|
|
M. Buschhoff, J. Streicher, B. Dusza, C. Wietfeld, and O. Spinczyk.
MobiSIM: A simulation library for resource prediction of
smartphones and wireless sensor networks.
In Proceedings of the 46th Annual Simulation Symposium, ANSS
'13, Society for Computer Simulation International, 2013. Society for
Computer Simulation International.
[ bib ]
|
|
|
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 ]
|
|
|
A. Kohne.
Modell für ein SLA-basiertes VM-Scheduling in föderierten
Cloud-Umgebungen.
In Informatik 2013, 43. Jahrestagung der Gesellschaft für
Informatik e.V. (GI), Informatik angepasst an Mensch, Organisation und
Umwelt, 16.-20. September 2013, Koblenz, pages 3047–3061, 2013.
[ bib ]
|
|
|
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 ]
|
|
|
J. Streicher, O. Nassour, and O. Spinczyk.
System support for privacy-preserving and energy-efficient data
gathering in the global smartphone network – opportunities and challenges.
In Proceedings of the 3rd International Conference on Pervasive
and Embedded Computing and Communication Systems (PECCS '13), pages 80–85.
SciTePress, Feb. 2013.
[ bib |
DOI: 10.5220/0004339200800085 ]
|
|
|
J. Streicher, N. Piatkowski, K. Morik, and O. Spinczyk.
Open smartphone data for mobility and utilization analysis in
ubiquitous environments.
In M. Atzmüller and C. Scholz, editors, Proceedings of the
4th International Workshop on Mining Ubiquitous and Social Environments
(MUSE), 2013.
[ bib ]
|
|
|
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 ]
|
|
|
M. Buschhoff, C. Günter, and O. Spinczyk.
A unified approach for online and offline estimation of sensor
platform energy consumption.
In Proceedings of the 8th International Wireless Communications
and Mobile Computing Conference (IWCMC '12), pages 1154–1158, Aug. 2012.
[ bib |
DOI: 10.1109/IWCMC.2012.6314369 ]
|
|
|
E. Eide, G. Muller, W. Schröder-Preikschat, and O. Spinczyk.
Summary of PLOS 2011: the sixth workshop on programming languages
and operating systems.
ACM SIGOPS Operating Systems Review, 5:1–4, Jan. 2012.
[ bib |
DOI: 10.1145/2094091.2094093 ]
|
|
|
B. Jablkowski and O. Spinczyk.
Continuous performance analysis of fault-tolerant virtual machines.
In Proceedings of the 1st GI Workshop on Software-Based Methods
for Robust Embedded Systems (SOBRES '12), Lecture Notes in Informatics,
pages 494–505. German Society of Informatics, Sept. 2012.
[ bib ]
|
|
|
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 ]
|
|
|
M. Meier, S. Hanenberg, and O. Spinczyk.
AspectVHDL Stage 1: The prototype of an aspect-oriented hardware
description language.
In Proceedings of the 2nd AOSD Workshop on Modularity in Systems
Software (AOSD-MISS '12), pages 3–8, Potsdam, Germany, Mar. 2012. ACM
Press.
[ bib |
DOI: 10.1145/2162024.2162028 ]
|
|
|
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. Fricke, F. Jungermann, K. Morik, N. Piatkowski, O. Spinczyk, M. Stolpe, and
J. Streicher.
Towards Adjusting Mobile Devices To User's Behaviour, volume
6904 of Lecture Notes in Computer Science, pages 99–118.
Springer-Verlag, Berlin, Heidelberg, 2011.
[ bib |
DOI: 10.1007/978-3-642-23599-3_6 ]
|
|
|
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 ]
|
|
|
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 ]
|
|
|
M. Meier and O. Spinczyk.
LavA: Model-driven development of configurable MPSoC hardware
structures for robots.
In Proceedings of the Workshop on Software Language Engineering
for Cyber-physical Systems (WS4C 2011), Lecture Notes in Informatics,
Berlin, Germany, Oct. 2011. German Society of Informatics.
[ bib ]
|
|
|
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 ]
|
|
|
J. Streicher, C. Borchert, and O. Spinczyk.
Upcall dispatcher aspects: Combining modularity with efficiency in
the CiAO IP stack.
In Proceedings of the 1st AOSD Workshop on Modularity in Systems
Software (AOSD-MISS '11), pages 23–27, New York, NY, USA, Mar. 2011. ACM
Press.
[ bib |
DOI: 10.1145/1960518.1960524 |
.pdf ]
|
|
|
M. Urban, D. Lohmann, and O. Spinczyk.
PUMA: An aspect-oriented code analysis and manipulation framework
for C and C++.
In C. Schwanninger and W. Joosen, editors, Transactions on AOSD
VIII, number 6580 in Lecture Notes in Computer Science, pages 141–162.
Springer, 2011.
[ bib |
DOI: 10.1007/978-3-642-22031-9_5 ]
Keywords: AOSD, Industrial Applications, OOP, AspectC++, Puma, Parser Framework, Compiler Construction, CiAO
|
|
|
M. Engel, H. P. Reiser, O. Spinczyk, R. Kapitza, and J. Nolte.
Proceedings of the workshop on isolation and integration for
dependable systems (IIDS 2010).
Paris, France, Apr. 2010. ACM Press.
[ bib ]
|
|
|
P. Fricke, F. Jungermann, K. Morik, N. Piatkowski, O. Spinczyk, and M. Stolpe.
Towards adjusting mobile devices to user's behaviour.
In Lernen, Wissen & Adaptivität (LWA 2010) – Workshop
Proceedings, pages 51–58, 2010.
[ bib ]
|
|
|
P. Fricke, F. Jungermann, K. Morik, N. Piatkowski, O. Spinczyk, and M. Stolpe.
Towards adjusting mobile devices to user's behaviour.
In Proceedings of the International Workshop on Mining
Ubiquitous and Social Environments (MUSE 2010), pages 7–22, Barcelona,
Spain, 2010.
[ bib ]
|
|
|
A. Heinig, M. Engel, F. Schmoll, and P. Marwedel.
Improving transient memory fault resilience of an H.264 decoder.
In Proceedings of the Workshop on Embedded Systems for Real-time
Multimedia (ESTIMedia 2010), Scottsdale, AZ, USA, Oct. 2010. IEEE Press.
[ bib |
.pdf ]
|
|
|
A. Heinig, M. Engel, F. Schmoll, and P. Marwedel.
Using application knowledge to improve embedded systems
dependability.
In Proceedings of the Workshop on Hot Topics in System
Dependability (HotDep 2010), Vancouver, Canada, Oct. 2010. USENIX
Association.
[ bib |
.pdf ]
|
|
|
M. Meier, M. Engel, M. Steinkamp, and O. Spinczyk.
LavA: An open platform for rapid prototyping of MPSoCs.
In Proceedings of the 20th International Conference on Field
Programmable Logic and Applications (FPL '10), pages 452–457, Milano,
Italy, 2010. IEEE Press.
[ bib |
DOI: 10.1109/FPL.2010.92 ]
|
|
|
K. Morik, F. Jungermann, N. Piatkowski, and M. Engel.
Enhancing ubiquitous systems through system call mining.
In Proceedings of the ICDM Workshop on Large-scale Analytics for
Complex Instrumented Systems (LACIS 2010), pages 1338–1345, Sydney,
Australia, Dec. 2010. IEEE Press.
[ bib |
DOI: 10.1109/ICDMW.2010.133 ]
|
|
|
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 ]
|
|
|
J. Sincero, W. Schröder-Preikschat, and O. Spinczyk.
Approaching non-functional properties of software product lines:
Learning from products.
In Proceedings of the 17th Asia-Pacific Software Engineering
Conference (APSEC '10), pages 147–155, Sydney, Australia, 2010.
[ bib ]
|
|
|
R. Tartler, D. Lohmann, F. Scheler, and O. Spinczyk.
AspectC++: An integrated approach for static and dynamic adaptation
of system software.
Knowledge-Based Systems, 23(7):704–720, Oct. 2010.
Special issue on Intelligent Formal Techniques for Software Design:
IFTSD.
[ bib |
DOI: 10.1016/j.knosys.2010.03.002 ]
|
|
|
E. Eide, G. Muller, and O. Spinczyk.
PLOS 2009: Fifth workshop on programming languages and operating
systems.
ACM SIGOPS Operating Systems Review, 43(4):31–34, 2009.
[ bib |
DOI: 10.1145/1713254.1713262 ]
|
|
|
M. Engel and J. Nolte, editors.
Proceedings of the 2nd Workshop on Isolation and Integration in
Embedded Systems (IIES 2009), Nuremberg, Germany, Apr. 2009. ACM Press.
[ bib ]
|
|
|
M. Engel and O. Spinczyk.
A Radical Approach to Network-on-Chip Operating Systems.
In Proceedings of the 42nd Hawai'i International Conference on
System Sciences (HICSS '09), Waikoloa, Big Island, Hawaii, Jan. 2009. IEEE
Press.
[ bib ]
|
|
|
D. Lohmann, W. Hofer, W. Schröder-Preikschat, J. Streicher, and
O. Spinczyk.
CiAO: An aspect-oriented operating-system family for
resource-constrained embedded systems.
In Proceedings of the 2009 USENIX Annual Technical Conference
(ATC '09), pages 215–228, Berkeley, CA, USA, June 2009. USENIX Association.
[ 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 ]
|
|
|
R. Tartler, D. Lohmann, W. Schröder-Preikschat, and O. Spinczyk.
Dynamic AspectC++: Generic advice at any time.
In H. Fujita and V. Marík, editors, Proceedings of the 2009
Conference on New Trends in Software Methodologies, Tools and Techniques
(SoMeT '09), number 199 in Frontiers in Artificial Intelligence and
Applications, pages 165–186, Amsterdam, The Netherlands, Sept. 2009. IOS
Press.
[ bib |
DOI: 10.3233/978-1-60750-049-0-165 ]
|
|
|
S. Apel, D. Batory, G. Graefe, G. Saake, and O. Spinczyk, editors.
Software Engineering for Tailor-made Data Management, number
08281 in Dagstuhl Seminar Proceedings, Dagstuhl, Germany, 2008. Schloss
Dagstuhl – Leibniz-Zentrum für Informatik, Germany.
[ bib |
http ]
|
|
|
S. Apel, M. Rosenmüller, G. Saake, and O. Spinczyk, editors.
EDBT'08 Workshop on Software Engineering for Tailor-made Data
Management (SETMDM).
University of Magdeburg, Nantes, France, Mar. 2008.
[ bib ]
|
|
|
M. Engel and O. Spinczyk.
Aspects in hardware – what do they look like?
In Proceedings of the 7th AOSD Workshop on Aspects, Components,
and Patterns for Infrastructure Software (AOSD-ACP4IS '08), Brussels,
Belgium, Apr. 2008. ACM Press.
[ bib ]
|
|
|
M. Engel and O. Spinczyk, editors.
Proceedings of the 1st Workshop on Isolation and Integration in
Embedded Systems (IIES 2008), Glasgow, UK, Apr. 2008. ACM Press.
[ bib ]
|
|
|
M. Engel and O. Spinczyk.
System-on-chip integration of embedded automotive controllers.
In Proceedings of the First Workshop on Isolation and
Integration in Embedded Systems, Glasgow, UK, Apr. 2008. ACM Press.
[ bib ]
|
|
|
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 ]
|
|
|
C. Gibbs, M. Südholt, and O. Spinczyk, editors.
Proceedings of the 6th AOSD Workshop on Aspects, Components, and
Patterns for Infrastructure Software (AOSD-ACP4IS '07), Vancouver, Canada,
Mar. 2007. ACM Press.
[ bib ]
|
|
|
W. Gilani, F. Scheler, D. Lohmann, O. Spinczyk, and
W. Schröder-Preikschat.
Unification of static and dynamic aop for evolution in embedded
software systems.
In M. Lumpe and W. Vanderperren, editors, Proceedings of the
Sixth International Symposium on Software Composition, volume 4829, pages
216–234, Braga, Portugal, 2007. Lecture Notes in Computer Science.
[ bib |
.pdf ]
|
|
|
W. Gilani, J. Sincero, and O. Spinczyk.
Aspectizing a web server for adaptation.
In Proceedings of the Twelfth IEEE Symposium on Computers and
Communications (ISCC'07), pages 349–356, Aveiro, Portugal, 2007. IEEE
Press.
[ bib |
.pdf ]
|
|
|
W. Gilani, O. Spinczyk, and W. Schröder-Preikschat.
Dynamic weaving for runtime adaptation in middleware.
In Proceedings of the First Workshop on Middleware-Application
Interaction (MAI'2007), pages 15–20, Lisbon, Portugal, 2007. ACM Press.
[ bib ]
|
|
|
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.
Datenbanksysteme in Business, Technologie und Web (BTW 2007),
Workshop Proceedings. Verlagshaus Mainz, Aachen, Mar. 2007.
[ bib ]
|
|
|
D. Lohmann, J. Streicher, O. Spinczyk, and W. Schröder-Preikschat.
Interrupt synchronization in the CiAO operating system.
In Proceedings of the 6th AOSD Workshop on Aspects, Components,
and Patterns for Infrastructure Software (AOSD-ACP4IS '07), New York, NY,
USA, 2007. ACM Press.
[ bib |
DOI: 10.1145/1233901.1233907 ]
|
|
|
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 and O. Spinczyk.
Maßschneiderung von Infrastrukturproduktlinien durch
statische Anwendungsanalyse.
In Jarke et al. [5], pages 355–365.
[ 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 ]
|
|
|
O. Spinczyk and D. Lohmann.
The design and implementation of AspectC++.
Knowledge-Based Systems, Special Issue on Techniques to Produce
Intelligent Secure Software, 20(7):636–651, Oct. 2007.
[ bib |
DOI: 10.1016/j.knosys.2007.05.004 |
.pdf ]
|
|
|
O. Spinczyk and H. Papajewski.
Using feature models for product derivation.
In Proceedings of the 11th Software Product Line Conference
(SPLC '07), pages 5–6, Kyoto, Japan, Sept. 2007.
Tutorial Description.
[ bib |
.pdf ]
|
|
|
D. Lohmann, F. Scheler, R. Tartler, O. Spinczyk, and
W. Schröder-Preikschat.
A quantitative analysis of aspects in the eCos kernel.
In Proceedings of the 1st ACM SIGOPS/EuroSys European Conference
on Computer Systems (EuroSys '06), pages 191–204, New York, NY, USA, Apr.
2006. ACM Press.
[ bib |
DOI: 10.1145/1218063.1217954 |
.pdf ]
|
|
|
D. Lohmann and O. Spinczyk.
Developing embedded software product lines with AspectC++.
In P. L. Tarr and W. R. Cook, editors, Companion to the 21th
Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems,
Languages, and Applications (OOPSLA 2006), pages 740–742, Portland, Oregon,
USA, 2006. ACM Press.
[ bib |
DOI: 10.1145/1176617.1176702 |
.pdf ]
|
|
|
D. Lohmann, O. Spinczyk, and W. Schröder-Preikschat.
Lean and efficient system software product lines: Where aspects beat
objects.
In A. Rashid and M. Akşit, editors, Transactions on AOSD
II, number 4242 in Lecture Notes in Computer Science, pages 227–255.
Springer, 2006.
[ bib |
DOI: 10.1007/11922827_8 |
.pdf ]
|
|
|
W. Schröder-Preikschat, D. Lohmann, W. Gilani, F. Scheler, and
O. Spinczyk.
Static and dynamic weaving in system software with AspectC++.
In Y. Coady, J. Gray, and R. Klefstad, editors, Proceedings of
the 39th Hawaii International Conference on System Sciences (HICSS '06) -
Track 9, volume 9. IEEE Press, 2006.
[ bib |
DOI: 10.1109/HICSS.2006.437 |
.pdf ]
|
|
|
O. Spinczyk, D. Lohmann, and W. Schröder-Preikschat.
Concern hierarchies.
In 1st GPCE Workshop on Aspect-Oriented Product Line Engineering
(GPCE-AOPLE '06), Oct. 2006.
[ bib |
.pdf ]
|
|
|
O. Spinczyk and H. Papajewski.
Using feature models for product derivation.
In Proceedings of the 10th Software Product Line Conference
(SPLC '06), page 225, Baltimore, Maryland, Aug. 2006.
tutorial description.
[ bib |
.pdf ]
|
