Friedrich-Alexander-Universität Erlangen-Nürnberg  /   Technische Fakultät  /   Department Informatik

Publications in 2015 at CS 4 at FAU

Hohenstein, Uwe ; Elsner, Christoph:
A Case Study on Model-Driven Development and Aspect-Oriented Programming: Benefits and Liabilities.
In: Holzinger, Andreas ; Cardoso, Jorge ; Cordeiro, José (Ed.) : Software Technologies.
Vol. 555. Cham, Switzerland : Springer International Publishing, 2015, (Communications in Computer and Information Science), pp 269-290. - ISBN 978-3-319-25578-1
[doi>10.1007/978-3-319-25579-8_16] (BibTeX)

Wu, Hao ; Lohmann, Daniel ; Schröder-Preikschat, Wolfgang:
A Graph-Partition–Based Scheduling Policy for Heterogeneous Architectures.
In: Lokhmotov, Anton (Ed.) : Proceedings of the DATE Friday Workshop on Heterogeneous Architectures and Design Methods for Embedded Image Systems (HIS 2015)
(Heterogeneous Architectures and Design Methods for Embedded Image Systems (HIS 2015), Grenoble, France, March 2015).
2015, pp 22-27.
Keywords: GRK-1773 (BibTeX)

Stilkerich, Isabella ; Lang, Clemens ; Erhardt, Christoph ; Stilkerich, Michael:
A Practical Getaway: Applications of Escape Analysis in Embedded Real-Time Systems.
In: ACM (Ed.) : Proceedings of the 16th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems
(The 16th Conference on Languages, Compilers and Tools for Embedded Systems (LCTES 2015), Portland, Oregon, USA, June 2015).
2015, pp Article No. 4 (Best Papers at LCTES). - ISBN 978-1-4503-3257-6
Keywords: KESO; AORTA; DanceOS; invasic;ESI; Java; RTSJ; Embedded Systems; Real-Time Systems; Reliability (BibTeX)

Schröder-Preikschat, Wolfgang:
Adaptive Memory Protection for Many-Core Systems.
Talk: Dagstuhl Seminar on Adaptive Isolation for Predictability and Security, Leibniz-Zentrum für Informatik,
Schloss Dagstuhl, Wadern, 02.10.2015 (BibTeX)

Drescher, Gabor ; Schröder-Preikschat, Wolfgang:
An Experiment in Wait-Free Synchronisation of Priority-Controlled Simultaneous Processes: Guarded Sections.
Erlangen : Friedrich-Alexander-Universität Erlangen-Nürnberg. 2015
(CS-2015-01). - Research report. 24 pages (Department of Computer Science, Technical Reports) ISSN 2191-5008 (BibTeX)

Zuepke, Alexander ; Bommert, Marc ; Lohmann, Daniel:
AUTOBEST: A United AUTOSAR-OS and ARINC 653 Kernel.
In: West, Richard (Ed.) : Proceedings of the 20th Real-Time and Embedded Technology and Applications Symposium (RTAS '15)
(21st Real-Time and Embedded Technology and Applications Symposium (RTAS '15), Seattle, WA, USA, April 2015).
2015, pp 133-144.
Keywords: AUTOSAR, OSEK, ARINC, Operating Systems, Tailoring, Dependability
[doi>10.1109/RTAS.2015.7108435] (BibTeX)

Dietrich, Christian ; Hoffmann, Martin ; Lohmann, Daniel:
Back to the Roots: Implementing the RTOS as a Specialized State Machine.
In: Brandenburg, Björn ; Kaiser, Robert (Ed.) : 11th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications
(OSPERT '15, Lund, Sweden, July).
2015, pp 7-12. (BibTeX)

Behl, Johannes ; Distler, Tobias ; Kapitza, Rüdiger:
Consensus-Oriented Parallelization: How to Earn Your First Million.
In: ACM/IFIP/USENIX (Org.):
Proceedings of the 16th Middleware Conference (Middleware '15)
(Middleware 2015, Vancouver, 7-11 December).
2015, pp 173-184.
Keywords: REFIT
[doi>10.1145/2814576.2814800] (BibTeX)

Dietrich, Christian ; Hoffmann, Martin ; Lohmann, Daniel:
Cross-Kernel Control-Flow-Graph Analysis for Event-Driven Real-Time Systems.
In: ACM (Ed.) : Proceedings of the 16th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems
(The 16th Conference on Languages, Compilers and Tools for Embedded Systems (LCTES 2015), Portland, Oregon, USA, June 2015).
New York, NY, USA : ACM Press, 2015, pp 1-10.
Keywords: Static Analysis; Control-Flow Graph; Cross-Kernel Analysis; Real-Time Systems; Optimization; Compiler
[doi>10.1145/2670529.2754963] (BibTeX)

Mohr, Manuel ; Buchwald, Sebastian ; Zwinkau, Andreas ; Erhardt, Christoph ; Oechslein, Benjamin ; Schedel, Jens ; Lohmann, Daniel:
Cutting Out the Middleman: OS-Level Support for X10 Activities.
In: ACM (Ed.) : Proceedings of the fifths ACM SIGPLAN X10 Workshop (X10 '15)
(ACM SIGPLAN X10 Workshop, Portland, OR, USA, 2015-06-14).
2015, pp 13-18.
[doi>10.1145/2771774.2771775] (BibTeX)

Nürnberger, Stefan ; Rotta, Randolf ; Drescher, Gabor ; Danner, Daniel ; Nolte, Jörg:
Diamond Rings: Acknowledged Event Propagation in Many-Core Processors.
In: S. Lankes ; C. Clauss (Ed.) : Proceedings of the 3rd Workshop on Runtime and Operating Systems for the Many-core Era
(ROME 2015, Wien, August 25, 2015).
Berlin-Heidelberg : Springer-Verlag, 2015, pp 1-10. (Lecture Notes in Computer Science (LNCS)) (BibTeX)

Hoffmann, Martin ; Lukas, Florian ; Dietrich, Christian ; Lohmann, Daniel:
dOSEK: Maßgeschneiderte Zuverlässigkeit.
In: Halang, Wolfgang ; Spinczyk, Olaf (Ed.) : Betriebssysteme und Echtzeit
(Echtzeit 2015, Boppard am Rhein, November 12-13, 2015).
Berlin-Heidelberg : Springer-Verlag, 2015, pp 69-78. - ISBN 978-3-662-48611-5
[doi>10.1007/978-3-662-48611-5_8] (BibTeX)

Hoffmann, Martin ; Lukas, Florian ; Dietrich, Christian ; Lohmann, Daniel:
dOSEK: The Design and Implementation of a Dependability-Oriented Static Embedded Kernel.
In: West, Richard (Ed.) : Proceedings of the 20th Real-Time and Embedded Technology and Applications Symposium (RTAS '15)
(21st Real-Time and Embedded Technology and Applications Symposium (RTAS '15), Seatlle, WA, USA, April 2015).
2015, pp 259-270.
Keywords: DanceOS;dOSEK;Arithmetic Encoding;Fault Injection;Operating Systems;Embedded Systems;Real-Time Systems;Dependability;Safety;Memory Protection;MPU;OSEK;AUTOSAR
[doi>10.1109/RTAS.2015.7108449] (BibTeX)

Wägemann, Peter:
Energieverbrauchsanalyse mittels impliziter Pfadaufzählung und genetischer Algorithmen.
In: Halang, Wolfgang A. (Ed.) : Betriebssysteme und Echtzeit
(Echtzeit 2015 (GI 2015), Boppard, Germany, November 12, 2015).
Berlin Heidelberg : Springer, 2015, pp 1-10. (BibTeX)

Distler, Tobias ; Bahn, Christopher ; Bessani, Alysson ; Fischer, Frank ; Junqueira, Flavio:
Extensible Distributed Coordination.
In: European Chapter of ACM SIGOPS (Ed.) : Proceedings of the 10th European Conference on Computer Systems (EuroSys '15)
(EuroSys 2015, Bordeaux, 21-24 April).
2015, pp 143-158.
Keywords: EDC
[doi>10.1145/2741948.2741954] (BibTeX)

Schirmeier, Horst ; Hoffmann, Martin ; Dietrich, Christian ; Lenz, Michael ; Lohmann, Daniel ; Spinczyk, Olaf:
Fail*: An Open and Versatile Fault-Injection Framework for the Assessment of Software-Implemented Hardware Fault Tolerance.
In: Sens, Pierre (Ed.) : Proceedings of the 11th European Dependable Computing Conference - Dependability in Practice (EDCC '15)
(11th European Dependable Computing Conference - Dependability in Practice (EDCC '15), Paris, France, September 2015).
2015.
Keywords: fault injection; tools; dependability; danceos (BibTeX)

Hönig, Timo:
From Sensibility to Responsibility: The Impact of System Software on Ecological and Economical Sustainability of Computing Systems.
In: Douglas Cunningham ; Petra Hofstedt ; Klaus Meer ; Ingo Schmitt (Ed.) : INFORMATIK 2015.
Bonn : Bonner Köllen Verlag, 2015, (Lecture Notes in Informatics, Series of the Gesellschaft für Informatik), pp 1771-1782. (BibTeX)

Wägemann, Peter ; Distler, Tobias ; Hönig, Timo ; Sieh, Volkmar ; Schröder-Preikschat, Wolfgang:
GenE: A Benchmark Generator for WCET Analysis.
In: OpenAccess Series in Informatics (Ed.) : Proceedings of the 15th International Workshop on Worst-Case Execution Time Analysis (WCET '15)
(15th International Workshop on Worst-Case Execution Time Analysis, Lund, Sweden, July 7, 2015).
2015, pp 33-43. (BibTeX)

Dietrich, Christian ; Hoffmann, Martin ; Lohmann, Daniel:
Globale Kontrollflussanalyse von eingebetteten Echtzeitsystemen.
In: Halang, Wolfgang ; Spinczyk, Olaf (Ed.) : Betriebssysteme und Echtzeit
(Echtzeit 2015, Boppard am Rhein, November 12-13, 2015).
Berlin-Heidelberg : Springer-Verlag, 2015, pp 128-136. - ISBN 978-3-662-48611-5
[doi>10.1007/978-3-662-48611-5_14] (BibTeX)

Drescher, Gabor ; Schröder-Preikschat, Wolfgang:
Guarded Sections: Structuring Aid for Wait-Free Synchronisation.
In: IEEE Computer Society (Ed.) : Proceedings of the 18th IEEE Symposium on Real-Time Computing (ISORC 2015)
(18th IEEE Symposium on Real-Time Computing, Auckland, New Zealand, April 13-17, 2015).
2015, pp 280-283. - ISBN 978-1-4799-8781-8 (BibTeX)

Rothberg, Valentin:
Interrupt Handling in Linux.
Erlangen : Friedrich-Alexander-Universität Erlangen-Nürnberg. 2015
(CS-2015-07). - Internal report. 23 pages (BibTeX)

Hönig, Timo:
Leveraging Energy-Aware Programming Techniques to Build Energy-Efficient System Software.
Talk: Invited Talk, Federal University of Santa Catarina (UFSC),
Florianópolis, Santa Catarina, Brazil, 9.11.2015 (BibTeX)

Hönig, Timo:
Making Energy a Useful Resource to System Engineers and Programmers.
Talk: Invited Talk, TU Dresden Operating Systems Group (TUDOS), Technische Universität Dresden,
Dresden, 20.2.2015 (BibTeX)

Schönberger, Andreas ; Elsner, Christoph:
Modeling Partner Networks for Systematic Architecture Derivation in Software Ecosystems.
In: Linnhoff-Popien, Claudia ; Zaddach, Michael ; Grahl, Andreas (Ed.) : Marktplätze im Umbruch - Digitale Strategien für Services im Mobilen Internet.
Berlin/Heidelberg, Germany : Springer Vieweg, 2015, pp 655-665. - ISBN 978-3-662-43781-0 (BibTeX)

Shafique, Muhammad ; Axer, Philip ; Borchert, Christoph ; Chen, Jian-Jia ; Chen, Kuan-Hsun ; Döbel, Björn ; Ernst, Rolf ; Härtig, Hermann ; Heinig, Andreas ; Kapitza, Rüdiger ; Kriebel, Florian ; Lohmann, Daniel ; Marwedel, Peter ; Rehman, Semeen ; Schmoll, Florian ; Spinczyk, Olaf:
Multi-layer software reliability for unreliable hardware.
In: it - Information Technology 57 (2015), No. 3, pp 170-180
[doi>10.1515/itit-2014-1081] (BibTeX)

Hönig, Timo:
Plan Ahead: Making Energy-Aware Computing Systems.
Talk: Invited Talk, International Computer Science Institute (ICSI),
Berkeley, CA, USA, 18.6.2015 (BibTeX)

Hönig, Timo ; Eibel, Christopher ; Herzog, Benedict ; Janker, Heiko ; Wägemann, Peter ; Schröder-Preikschat, Wolfgang:
Playing Hare and Tortoise: The FigarOS Kernel for Fine-Grained System-Level Energy Optimizations.
In: IEEE (Ed.) : Proceedings of the 2015 Brazilian Symposium on Computing Systems Engineering (SBESC '15)
(Brazilian Symposium on Computing Systems Engineering, Fóz do Iguaçú, Brazil, November 3-6, 2015).
2015, pp 80-83. (BibTeX)

Schröder-Preikschat, Wolfgang:
Predictability Issues in Operating Systems.
Talk: 25th Anniversary of the Chair of Embedded Systems, Technische Universität Dortmund,
Dortmund, 02.10.2015 (BibTeX)

Stilkerich, Isabella ; Lang, Clemens ; Erhardt, Christoph ; Stilkerich, Michael:
Presentation: A Practical Getaway: Escape Analysis in Embedded Real-Time Systems.
Talk: Paper Presentation at LCTES 2015,
Portland, Oregon, USA, 19.10.2015
Keywords: KESO; AORTA; Java; RTSJ; Embedded Systems; Real-Time Systems; Reliability (BibTeX)

Franzmann, Florian ; Klaus, Tobias ; Scheler, Fabian ; Ulbrich, Peter:
Presentation: React in Time: Ereignisbasierter Entwurf zeitgesteuerter verteilter Systeme.
Talk: Echtzeit 2015, GI,
Boppard, 18.11.2015 (BibTeX)

Franzmann, Florian ; Klaus, Tobias ; Scheler, Fabian ; Schröder-Preikschat, Wolfgang ; Ulbrich, Peter:
React in Time: Ereignisbasierter Entwurf zeitgesteuerter verteilter Systeme.
In: Halang, W. A. ; Spinczyk, O. (Ed.) : Betriebssysteme und Echtzeit
(Echtzeit 2015, Boppard, 12.11.2015). 1. Edition
Berlin, Heidelberg : Springer Vieweg, 2015, pp 89-98. - ISBN 978-3-662-48610-8
Keywords: QRONOS (BibTeX)

Distler, Tobias:
Ressourceneffiziente Fehler- und Einbruchstoleranz.
In: Hölldobler, Steffen (Ed.) : Ausgezeichnete Informatikdissertationen 2014
(Kolloquium zum GI Dissertationspreis 2014, Dagstuhl, 10.05.2015-13.05.2015).
Bonn : Bonner Köllen Verlag, 2015, pp 71-80. (Lecture Notes in Informatics)
Keywords: REFIT (BibTeX)

Eibel, Christopher ; Cassens, Björn ; Kapitza, Rüdiger:
Software Infrastructure for Resource-Constrained Networked Systems.
Talk: Special Session - DFG Research Unit ’BATS’, GeMiC 2015, Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU),
Nürnberg, Germany, 16.03.2015 (BibTeX)

Dietrich, Christian ; Lohmann, Daniel:
The dataref versuchung: Saving Time through Better Internal Repeatability.
In: ACM SIGOPS Operating Systems Review - Special Issue on Repeatability and Sharing of Experimental Artifacts (2015), No. 49, pp 51-60
Keywords: repeatability;reproducibility;experiment automatization
[doi>10.1145/2723872.2723880] (BibTeX)

Hönig, Timo ; Herzog, Benedict ; Janker, Heiko ; Schröder-Preikschat, Wolfgang:
The FigarOS Operating System Kernel for Fine-Grained System-Level Energy Analysis.
In: ECSI (Ed.) : Proceedings of the 2015 DAC Workshop on System-to-Silicon Performance Modeling and Analysis Power, Temperature and Reliability
(DAC Workshop on System-to-Silicon Performance Modeling and Analysis Power, Temperature and Reliability, San Francisco, CA, USA, June 7, 2015).
2015. (BibTeX)

Eibel, Christopher ; Distler, Tobias:
Towards Energy-Proportional State-Machine Replication.
In: ACM (Ed.) : Proceedings of the 14th Workshop on Adaptive and Reflective Middleware (ARM '15)
(14th Workshop on Adaptive and Reflective Middleware, Vancouver, December 8, 2015).
2015, pp 19-24.
Keywords: REFIT
[doi>10.1145/2834965.2834969] (BibTeX)

Fang, Miao ; Leyh, Georg ; Dörr, Jörg ; Elsner, Christoph ; Zhao, Jingjing:
Towards Model-Based Derivation of Systems in the Industrial Automation Domain.
In: Schmidt, Douglas C. (Org.):
Proceedings of the 19th International Software Product Line Conference (SPLC 2015)
(19th International Software Product Line Conference (SPLC 2015), Nashville, TN, USA, 07/20/2015).
New York, NY, USA : ACM, 2015, pp 283-292. (BibTeX)

Drescher, Gabor ; Schröder-Preikschat, Wolfgang:
Wartefreie Synchronisation von Echtzeitprozessen mittels abgeschirmter Abschnitte.
In: Halang, Wolfgang ; Spinczyk, Olaf (Ed.) : Betriebssysteme und Echtzeit
(Echtzeit 2015, Boppard am Rhein, November 12-13, 2015).
Berlin-Heidelberg : Springer-Verlag, 2015, pp 59-68. - ISBN 978-3-662-48611-5 (BibTeX)

Hönig, Timo:
When Less is More: Invasive Energy Optimizations of System Software.
Talk: Invited Talk, University of California, Berkeley,
Berkeley, CA, USA, 11.6.2015 (BibTeX)

Wägemann, Peter ; Distler, Tobias ; Hönig, Timo ; Janker, Heiko ; Kapitza, Rüdiger ; Schröder-Preikschat, Wolfgang:
Worst-Case Energy Consumption Analysis for Energy-Constrained Embedded Systems.
In: IEEE (Ed.) : Proceedings of the 27th Euromicro Conference on Real-Time Systems (ECRTS '15)
(Euromicro Conference on Real-Time Systems, Lund, Sweden, July 7 - 10, 2015).
2015, pp 105-114.
Keywords: ARES; ESI (BibTeX)