Publications in 2014 at CS 4 at FAU
Hoffmann, Martin ; Ulbrich, Peter ; Dietrich, Christian ; Schirmeier, Horst ; Lohmann, Daniel ; Schröder-Preikschat, Wolfgang:
A Practitioner's Guide to Software-based Soft-Error Mitigation Using AN-Codes.
In: IEEE Computer Society (Ed.) : Proceedings of the 15th IEEE International Symposium on High Assurance Systems Engineering (HASE '14)
(Symposium on High Assurance Systems Engineering, Miami, FL, USA, Januar 2014).
2014, pp 33-40. - ISBN 978-1-4799-3465-2
Keywords: DanceOS; CoRed; Operating Systems; Embedded Systems; Real-Time Systems; Dependability; Safety; Coded Processing; ARES; ESI
[doi>10.1109/HASE.2014.14] (BibTeX)
Schultis, Klaus-Benedikt ; Elsner, Christoph ; Lohmann, Daniel:
Architecture Challenges for Internal Software Ecosystems: A Large-Scale Industry Case Study.
In: Cheung, Shing-Chi (Org.):
Proceedings of the 22nd International Symposium on Foundations of Software Engineering (FSE 2014)
(22nd International Symposium on Foundations of Software Engineering (FSE 2014), Hong Kong, 11/16/2014).
New York, NY, USA : ACM Press, 2014, pp 542-552. - ISBN 978-1-4503-3056-5
Keywords: Distinguished Paper Award
[doi>10.1145/2635868.2635876] (BibTeX)
Ziegler, Andreas ; Heinloth, Bernhard ; Lohmann, Daniel:
Automatic Feature Selection in Large-Scale System-Software Product Lines.
In: Flatt, Matthew (Ed.) : Proceedings of the 2014 International Conference on Generative Programming: Concepts and Experiences
(13th International Conference on Generative Programming: Concepts & Experiences (GPCE '14), Västerås, Sweden, Sep. 2014).
New York, NY, USA : ACM Press, 2014, pp 39-48. - ISBN 978-1-4503-3161-6
Keywords: CADOS,VAMOS, Linux, Tailoring, optimiziaton, experimentation
[doi>10.1145/2658761.2658767] (BibTeX)
Strübe, Moritz ; Lukas, Florian ; Li, Bijun ; Kapitza, Rüdiger:
DrySim: Simulation-Aided Deployment-Specific Tailoring of Mote-Class WSN Software.
In: ACM (Ed.) : Proceedings of the 17th ACM international conference on Modeling, analysis and simulation of wireless and mobile systems (MSWiM '14)
(17th ACM international conference on Modeling, analysis and simulation of wireless and mobile systems, Montreal, Canada, 21-26.09.2014).
ACM New York : NY, USA, 2014, pp 3-11. - ISBN 978-1-4503-3030-5
Keywords: Wireless Sensor Networks; Simulation; Testbed; Deployment
[doi>10.1145/2641798.2641838] (BibTeX)
Hoffmann, Martin ; Borchert, Christoph ; Dietrich, Christian ; Schirmeier, Horst ; Kapitza, Rüdiger ; Spinczyk, Olaf ; Lohmann, Daniel:
Effectiveness of Fault Detection Mechanisms in Static and Dynamic Operating System Designs.
In: IEEE Computer Society (Ed.) : Proceedings of the 17th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC '14)
(IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing, Reno, NV, USA, June 2014).
2014, pp 230-237.
Keywords: DanceOS, dosek, osek, dependability, static system
[doi>10.1109/ISORC.2014.26] (BibTeX)
Schröder-Preikschat, Wolfgang:
Embedded Computing Systems in the Multi-Core Era.
Talk: Multicore World 2014, Auckland University of Technology,
Auckland, New Zealand, 25.02.2014 (BibTeX)
Schröder-Preikschat, Wolfgang:
Embedded Computing Systems in the Multi-Core Era.
Talk: Seminar, College of Engineering, Computer Science and Software Engineering, University of Canterbury,
Christchurch, New Zealand, 07.03.2014 (BibTeX)
Schröder-Preikschat, Wolfgang:
Embedded Computing Systems in the Multi-Core Era.
Talk: Seminar, School of Engineering and Computer Science, Victoria University of Wellington,
Wellington, New Zealand, 28.02.2014 (BibTeX)
Hönig, Timo:
Exploiting Energy-Aware Programming to Build Energy-Efficient System Software.
Talk: Invited Talk, Microsoft Research,
Redmond, WA, USA, 03.10.2014 (BibTeX)
Ulbrich, Peter:
Ganzheitliche Fehlertoleranz in eingebetteten Softwaresystemen.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 2014.
- 180 pages.
Keywords: CoRed; Combined Redundancy; Soft Errors; Transiente Hardwarefehler; Redundanz; Sicherheitskritische Systeme; Eingebettete Systeme; Embedded Systems; Echtzeitsysteme; ARES; ESI (BibTeX)
Hohenstein, Uwe ; Elsner, Christoph:
Model-Driven Development versus Aspect-Oriented Programming - A Case Study.
In: Cardoso, Jorge (Org.):
Proceedings of the 9th International Joint Conference on Software Technologies (ICSOFT 2014)
(9th International Conference on Software Paradigm Trends (ICSOFT-PT 2014), Vienna, Austria, 08/25/2014).
2014. (BibTeX)
Müller, Rainer ; Danner, Daniel ; Schröder-Preikschat, Wolfgang ; Lohmann, Daniel:
Multi Sloth: An Efficient Multi-Core RTOS using Hardware-Based Scheduling.
In: IEEE Computer Society (Org.):
Proceedings of the 26th Euromicro Conference on Real-Time Systems (ECRTS '14)
(Euromicro Conference on Real-Time Systems, Madrid, Spain, July 2014).
2014, pp 189-198. - ISBN 978-1-4799-5798-9
Keywords: Sloth, Operating Systems, Embedded Systems, Real-Time Systems, Multi-Core, MPCP, AUTOSAR, Infineon TriCore, Infineon AURIX
[doi>10.1109/ECRTS.2014.30] (BibTeX)
Ulbrich, Peter:
Presentation: A Practitioner's Guide to Software-based Soft-Error Mitigation Using AN-Codes.
Talk: International Symposium on High Assurance Systems Engineering (HASE '14),
Miami, FL, USA, 09.01..2014 (BibTeX)
Erhardt, Christoph ; Stilkerich, Isabella ; Strotz, Michael ; Stilkerich, Michael:
Presentation: RT-LAGC: Fragmentation-Tolerant Real-Time Memory Management Revisited.
Talk: Paper Presentation at JTRES 2014, State University of New York, Buffalo,
Niagara Falls, NY, USA, 14.10.2014
Keywords: KESO; AORTA; Java; RTSJ; Embedded Systems; Real-Time Systems; Reliability (BibTeX)
Stilkerich, Isabella ; Erhardt, Christoph ; Stilkerich, Michael:
Presentation: Team Up: Cooperative Memory Management in Embedded Systems.
Talk: Paper Presentation at CASES 2014,
New Delhi, India, 13.10.2014
Keywords: KESO; AORTA; Java; RTSJ; Embedded Systems; Real-Time Systems; Reliability (BibTeX)
Erhardt, Christoph ; Kuhnle, Simon ; Stilkerich, Isabella:
Presentation: The final Frontier - Coping with Immutable Data in a JVM for Embedded Real-Time Systems.
Talk: Paper Presentation at JTRES 2014, State University of New York, Buffalo,
Niagara Falls, NY, USA, 14.10.2014
Keywords: KESO; AORTA; Java; RTSJ; Embedded Systems; Real-Time Systems; Reliability (BibTeX)
Hönig, Timo ; Janker, Heiko ; Mihelic, Oliver ; Eibel, Christopher ; Kapitza, Rüdiger ; Schröder-Preikschat, Wolfgang:
Proactive Energy-Aware Programming with PEEK.
In: USENIX Association ; Ken Birman (Ed.) : Proceedings of the 2014 Conference on Timely Results in Operating Systems (TRIOS '14)
(Conference on Timely Results in Operating Systems, Broomfield, CO, USA, October 5, 2014).
2014, pp 1-14. (BibTeX)
Paul, Johny ; Stechele, Walter ; Kröhnert, Manfred ; Asfour, Tamim ; Oechslein, Benjamin ; Erhardt, Christoph ; Schedel, Jens ; Lohmann, Daniel ; Schröder-Preikschat, Wolfgang:
Resource-Aware Harris Corner Detection Based on Adaptive Pruning.
In: Maehle, Erik ; Römer, Kay ; Karl, Wolfgang ; Tovar, Eduardo (Ed.) : Architecture of Computing Systems ARCS 2014
(ARCS 2014, Lübeck, Germany, 25.-28.02.2014).
Basel : Springer, 2014, pp 1-12. (Lecture Notes in Computer Science Vol. 8350) - ISBN 978-3-319-04890-1
Keywords: Harris corner detection; resource-aware programming; invasive computing; adaptive pruning
[doi>10.1007/978-3-319-04891-8] (BibTeX)
Distler, Tobias:
Resource-efficient Fault and Intrusion Tolerance.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 2014.
- 194 pages. (BibTeX)
Stilkerich, Isabella ; Strotz, Michael ; Erhardt, Christoph ; Stilkerich, Michael:
RT-LAGC: Fragmentation-Tolerant Real-Time Memory Management Revisited.
In: ACM (Ed.) : Proceedings of the 12th International Workshop on Java Technologies for Real-Time and Embedded Systems
(The 12th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2014), Niagara Falls, NY, USA, October, 2014).
2014, pp 87-96.
Keywords: KESO; AORTA; invasic; Java; RTSJ; Embedded Systems; Real-Time Systems; Reliability (BibTeX)
Danner, Daniel ; Müller, Rainer ; Schröder-Preikschat, Wolfgang ; Hofer, Wanja ; Lohmann, Daniel:
Safer Sloth: Efficient, Hardware-Tailored Memory Protection.
In: West, Richard (Ed.) : Proceedings of the 20th Real-Time and Embedded Technology and Applications Symposium (RTAS '14)
(IEEE Real-Time and Embedded Technology and Applications Symposium, Berlin, Germany, April 2014).
Los Alamitos, CA, USA : IEEE Computer Society, 2014, pp 37-47. - ISBN 978-1-4799-4691-4
Keywords: Sloth, Operating Systems, Embedded Systems, Real-Time Systems, Interrupt Handling, Safety, Memory Protection, MPU, OSEK, AUTOSAR, Infineon TriCore (BibTeX)
Behl, Johannes ; Distler, Tobias ; Kapitza, Rüdiger:
Scalable BFT for Multi-Cores: Actor-based Decomposition and Consensus-oriented Parallelization.
In: USENIX (Org.):
Proceedings of the 10th Workshop on Hot Topics in System Dependability (HotDep '14)
(HotDep 2014, Broomfield, 5 October).
2014, pp 49-54.
Keywords: REFIT (BibTeX)
Nürnberger, Stefan ; Drescher, Gabor ; Rotta, Randolf ; Nolte, Jörg ; Schröder-Preikschat, Wolfgang:
Shared Memory in the Many-Core Age.
In: S. Lankes ; C. Clauss (Ed.) : Proceedings of the 2nd Workshop on Runtime and Operating Systems for the Many-core Era
(ROME 2014, Porto, August 25, 2014).
Berlin-Heidelberg : Springer-Verlag, 2014, pp 1-10. (Lecture Notes in Computer Science (LNCS)) (BibTeX)
Hofer, Wanja:
Sloth: The Virtue and Vice of Latency Hiding in Hardware-Centric Operating Systems.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 2014.
- 222 pages.
Keywords: Sloth; AUTOSAR; Embedded System; Event-Triggered System; Microcontroller; Operating System; Real-Time System; Scheduling; Sloth; Time-Triggered System (BibTeX)
Tartler, Reinhard ; Dietrich, Christian ; Sincero, Julio ; Schröder-Preikschat, Wolfgang ; Lohmann, Daniel:
Static Analysis of Variability in System Software: The 90,000 #ifdefs Issue.
In: USENIX Association (Ed.) : Proceedings of the 2014 USENIX Annual Technical Conference (USENIX 2014)
(2014 USENIX ATC, Philadelphia, PA, USA, June 19-20, 2014).
2014, pp 421-432. - ISBN 978-1-931971-10-2
Keywords: Algorithms, Design, Experimentation, Languages, Configurability, Maintenance, Linux, Static Analysis, CADOS, VAMOS (BibTeX)
Lohmann, Daniel:
Tailorable System Software.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Habil. thesis, 2014.
- 170 pages.
Keywords: operating systems, software engineering, software product lines, tailoring, configuration, static analysis (BibTeX)
Stilkerich, Isabella ; Taffner, Philip ; Erhardt, Christoph ; Dietrich, Christian ; Wawersich, Christian ; Stilkerich, Michael:
Team Up: Cooperative Memory Management in Embedded Systems.
In: ACM (Ed.) : Proceedings of the 2014 Conference on Compilers, Architectures and Synthesis for Embedded Systems - CASES'14
(2014 Conference on Compilers, Architectures and Synthesis for Embedded Systems - CASES'14, New Delhi, India, October, 2014).
2014, pp Article No. 10.
Keywords: KESO; AORTA; invasic; Java; RTSJ; Embedded Systems; Real-Time Systems; Reliability
[doi>10.1145/2656106.2656129] (BibTeX)
Erhardt, Christoph ; Kuhnle, Simon ; Stilkerich, Isabella ; Schröder-Preikschat, Wolfgang:
The final Frontier: Coping With Immutable Data in a JVM for Embedded Real-Time Systems.
In: ACM (Ed.) : Proceedings of the 12th International Workshop on Java Technologies for Real-Time and Embedded Systems
(The 12th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2014), Niagara Falls, NY, USA, October, 2014).
2014, pp 97-106 Best Papers at JTRES.
Keywords: KESO; AORTA; Java; RTSJ; Embedded Systems; Real-Time Systems; Reliability (BibTeX)
Klaus, Tobias ; Franzmann, Florian ; Engelhard, Tobias ; Scheler, Fabian ; Schröder-Preikschat, Wolfgang:
Usable RTOS-APIs?
In: Brandenburg, Björn B. ; Kato, Shinpei (Ed.) : Proceedings of the 10th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications
(10th Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '14), Madrid, 08.07.2014).
Kaiserslautern, DE : Max Planck Institute for Software Systems, 2014, pp 61-66.
Keywords: AORTA; RTSC (BibTeX)
Hönig, Timo:
Using Energy-Aware Programming to Tackle Challenges in Energy-Aware System Software Design.
Talk: Invited Talk, University of Washington,
Seattle, WA, USA, 01.10.2014 (BibTeX)
Mutschlechner, Margit ; Li, Bijun ; Kapitza, Rüdiger ; Dressler, Falko:
Using Erasure Codes to Overcome Reliability Issues in Energy-Constrained Sensor Networks.
In: IEEE (Ed.) : Proceedings of the 11th IEEE/IFIP Conference on Wireless On demand Network Systems and Services (WONS 2014)
(IEEE/IFIP WONS 2014, Obergurgl, Austria, 2-4 April 2014).
2014, pp 4148.
[doi>10.1109/WONS.2014.6814720] (BibTeX)
Berger, Thorsten ; Pfeiffer, Rolf-Helge ; Tartler, Reinhard ; Dienst, Steffen ; Czarnecki, Krzysztof ; Wasowski, Andrzej ; Shem Steven:
Variability mechanisms in software ecosystems.
In: Information & Software Technology 56 (2014), No. 11, pp 1520-1535
[doi>10.1016/j.infsof.2014.05.005] (BibTeX)
Wägemann, Peter ; Hönig, Timo ; Kapitza, Rüdiger ; Schröder-Preikschat, Wolfgang:
Worst-Case Energy Consumption Analysis for Soft and Hard Energy Systems.
In: USENIX Association ; Flinn, Jason ; Levy, Hank (Ed.) : Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2014), Poster Session
(USENIX OSDI 2014, Broomfield, CO, USA, October 6-8, 2014).
2014. (BibTeX)
