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

Publications in 2017 at CS 4 at FAU

Schiekofer, Rainer ; Behl, Johannes ; Distler, Tobias:
Agora: A Dependable High-Performance Coordination Service for Multi-Cores.
In: IEEE (Ed.) : Proceedings of the 47th International Conference on Dependable Systems and Networks (DSN '17)
(47th International Conference on Dependable Systems and Networks (DSN '17), Denver, USA, 26-29 June).
2017, pp 333-344.
Keywords: REFIT, EDC (BibTeX)

Sieh, Volkmar ; Burlacu, Robert ; Hönig, Timo ; Janker, Heiko ; Raffeck, Phillip ; Wägemann, Peter ; Schröder-Preikschat, Wolfgang:
An End-To-End Toolchain: From Automated Cost Modeling to Static WCET and WCEC Analysis.
In: IEEE (Ed.) : Proceedings of the 20th International Symposium on Real-Time Distributed Computing (ISORC 2017)
(20th International Symposium on Real-Time Distributed Computing (ISORC 2017), Toronto, Canada, May 16-18, 2017).
2017, pp 158-167.
[doi>10.1109/ISORC.2017.10] (BibTeX)

Becker, Ulrich ; Stilkerich, Isabella ; Münzenberger, Ralf:
Architekturvarianten sicherheitskritischer Echtzeitsysteme.
Talk: Presentation at ESE 2017, Embedded Systems Engineering Kongress,
Sindelfingen, Germany, 06.12.2017
Keywords: Functional Safety, Systems Engineering, System Architecture, Software Architecture; ARAMiS II (BibTeX)

Wägemann, Peter ; Distler, Tobias ; Eichler, Christian ; Schröder-Preikschat, Wolfgang:
Benchmark Generation for Timing Analysis.
In: IEEE (Ed.) : Proceedings of the 23rd Real-Time and Embedded Technology and Applications Symposium (RTAS '17)
(23rd Real-Time and Embedded Technology and Applications Symposium (RTAS '17), Pittsburgh, USA, April 18-21, 2017).
2017, pp 319-330. (BibTeX)

Seidl, Christoph ; Berger, Thorsten ; Elsner, Christoph ; Schultis, Klaus-Benedikt:
Challenges and Solutions for Opening Small and Medium-Scale Industrial Software Platforms.
In: Benavides, David (Org.):
Proceedings of the 21th International Software Product Line Conference (SPLC 2017)
(21th International Software Product Line Conference (SPLC 2017), Sevilla, Spain, 09/25/2017).
New York, NY, USA : ACM Press, 2017, pp 153-162. - ISBN 978-1-4503-5221-5
[doi>10.1145/3106195.3106203] (BibTeX)

Dietrich, Christian ; Rothberg, Valentin ; Füracker, Ludwig ; Ziegler, Andreas ; Lohmann, Daniel:
cHash: Detection of Redundant Compilations via AST Hashing.
In: USENIX Association (Ed.) : Proceedings of the 2017 USENIX Annual Technical Conference (ATC '17)
(2017 USENIX Annual Technical Conference (ATC '17), Santa Clara, CA, 12.-14.7.2017).
2017, pp 527-538. - ISBN 978-1-931971-38-6
Keywords: Compiler, Optimization, CADOS (BibTeX)

Eichler, Christian ; Wägemann, Peter ; Distler, Tobias ; Schröder-Preikschat, Wolfgang:
Demo Abstract: Tooling Support for Benchmarking Timing Analysis.
In: IEEE (Ed.) : Proceedings of the 23rd Real-Time and Embedded Technology and Applications Symposium (RTAS '17)
(23rd Real-Time and Embedded Technology and Applications Symposium (RTAS '17), Pittsburgh, USA, April 18-21, 2017).
2017, pp 159-160. (BibTeX)

Schuster, Simon ; Ulbrich, Peter ; Stilkerich, Isabella ; Dietrich, Christian ; Schröder-Preikschat, Wolfgang:
Demystifying Soft-Error Mitigation by Control-Flow Checking - A New Perspective on its Effectiveness.
In: ACM Transactions on Embedded Computing Systems 16 (2017), No. 5s, pp 180:1-180:19
Keywords: AORTA; KESO;
[doi>10.1145/3126503] (BibTeX)

Strübe, Moritz:
E-Book Investigation of deployment-specific simulation for the optimization of wireless sensor networks.
Braunschweig, Technische Universität Braunschweig, Ph.D. thesis, 2017.
- 159 pages.
Keywords: WSN; Wireless Sensor Networks; Simulation; Contiki; Cooja;
[doi>10.24355/dbbs.084-201802021036] (BibTeX)

Santini, Thiago ; Borchert, Christoph ; Dietrich, Christian ; Schirmeier, Horst ; Hoffmann, Martin ; Spinczyk, Olaf ; Lohmann, Daniel ; Wagner, Flávio Rech ; Rech, Paolo:
Effectiveness of Software-Based Hardening for Radiation-Induced Soft Errors in Real-Time Operating Systems.
In: Schulz, Martin ; Koji, Inoue (Ed.) : Architecture of Computing Systems – ARCS 2015
(30th Internation Conference on Architecture of Computing Systems, Karlsruhe, Germany).
Berlin : Springer, 2017. (Springer Lecture Notes in Computer Science (LNCS))
Keywords: Reliability; Operating System; Embedded System; Dependable System; RTOS; Neutron ; eCos; dOSEK pdfcreator= (BibTeX)

Stilkerich, Isabella ; Pinecker, Frank:
Evaluation of Architecture Variants for Hard Real-Time Systems.
Talk: Presentation at ISO 26262 Conference, Euroforum,
Stuttgart, Germany, 11.10.2017
Keywords: Functional Safety, Systems Engineering, System Architecture, Software Architecture; ARAMiS II (BibTeX)

Dietrich, Christian ; Hoffmann, Martin ; Lohmann, Daniel:
Global Optimization of Fixed-Priority Real-Time Systems by RTOS-Aware Control-Flow Analysis.
In: ACM Transactions on Embedded Computing Systems 16 (2017), No. 2, pp 35:-1–35:25
Keywords: global control-flow graph, static real-time systems, operating system, static analysis, OSEK, AUTOSAR, whole-system optimization, static system tailoring
[doi>10.1145/2950053] (BibTeX)

Behl, Johannes ; Distler, Tobias ; Kapitza, Rüdiger:
Hybrids on Steroids: SGX-based High Performance BFT.
In: European Chapter of ACM SIGOPS (Ed.) : Proceedings of the 12th European Conference on Computer Systems (EuroSys '17)
(EuroSys 2017, Belgrade, 23-26 April).
2017, pp 222-237.
Keywords: REFIT (BibTeX)

Behl, Johannes ; Distler, Tobias ; Kapitza, Rüdiger:
Hybster -- A Highly Parallelizable Protocol for Hybrid Fault-Tolerant Service Replication.
Braunschweig : TU Braunschweig. 2017
(64440). - Research report
Keywords: REFIT (BibTeX)

Reif, Stefan ; Hönig, Timo ; Schröder-Preikschat, Wolfgang:
In the Heat of Conflict: On the Synchronisation of Critical Sections.
In: IEEE (Ed.) : Proceedings of the 20th International Symposium on Real-Time Distributed Computing (ISORC 2017)
(20th International Symposium on Real-Time Distributed Computing (ISORC 2017), Toronto, Canada, May 16-18, 2017).
2017.
Keywords: Performance and Energy Analysis, Synchronisation, System Software, Real-time Kernels and OS, Embedded Systems, Energy-aware Systems (BibTeX)

Becker, Ulrich ; Lederer, Christian ; Pinecker, Frank ; Stilkerich, Isabella ; Münzenberger, Ralf ; Rehkop Philip:
Kostengünstig? Aber sicher! Bewertung von Architekturvarianten im Kontext von ISO 26262 und harter Echtzeit.
In: HANSER Automotive (2017),
Keywords: Functional Safety, Systems Engineering, System Architecture, Software Architecture; ARAMiS II (BibTeX)

Ramsauer, Ralf ; Kiszka, Jan ; Lohmann, Daniel ; Mauerer, Wolfgang:
Look Mum, no VM Exits! (Almost).
In: Völp, Marcus ; Yun, Heechul (Ed.) : Proceedings of OSPERT '17
(13th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '17), Barcelona, Spain, June 2017).
2017. (BibTeX)

Wägemann, Peter ; Distler, Tobias ; Janker, Heiko ; Raffeck, Phillip ; Sieh, Volkmar ; Schröder-Preikschat, Wolfgang:
Operating Energy-Neutral Real-Time Systems.
In: ACM Transactions on Embedded Computing Systems 17 (2017), No. 1, pp 11:1-11:25
[doi>10.1145/3078631] (BibTeX)

Dietrich, Christian ; Lohmann, Daniel:
OSEK-V: Application-Specific RTOS Instantiation in Hardware.
In: Shao, Zili ; Nagarajan, Vijay (Ed.) : Proceedings of LCTES '17
(The 18th Annual ACM SIGPLAN / SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems, Barcelona, Spain, June 2017).
New York : ACM, 2017.
Keywords: Computer systems organization; Embedded systems; Real-time operating systems; Special purpose systems;
[doi>10.1145/3078633.3081030] (BibTeX)

Schuster, Simon ; Ulbrich, Peter ; Stilkerich, Isabella ; Dietrich, Christian ; Schröder-Preikschat, Wolfgang:
Poster Presentation: Demystifying Soft-Error Mitigation by Control-Flow Checking - A New Perspective on its Effectiveness.
Talk: EMSOFT 2017, Embedded Systems Week 2017,
Seoul, Korea, 15.10.2017
Keywords: AORTA; KESO; ARAMiS II (BibTeX)

Hönig, Timo:
Proactive Energy-Aware Computing.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 2017.
- 209 pages.
Keywords: Energy Demand Analysis; Energy Measurement; Energy-Aware Programming; Operating System; Program Analysis; Symbolic Execution; System on a Chip (BibTeX)

Eischer, Michael ; Distler, Tobias:
Scalable Byzantine Fault Tolerance on Heterogeneous Servers.
In: IEEE (Ed.) : Proceedings of the 13th European Dependable Computing Conference (EDCC '17)
(EDCC 2017, Geneva, 4-8 September).
2017, pp 34-41.
Keywords: REFIT (BibTeX)

Pöppl, Alexander ; Damschen, Marvin ; Schmaus, Florian ; Fried. Andreas ; Mohr, Manuel ; Blankertz, Matthias ; Bauer, Lars ; Henkel, Jörg ; Schröder-Preikschat, Wolfgang ; Bader, Michael:
Shallow Water Waves on a Deep Technology Stack: Accelerating a Finite Volume Tsunami Model using Reconfigurable Hardware in Invasive Computing.
In: - (Ed.) : Euro-Par 2017: Parallel Processing Workshops
(Euro-Par 2017, Santiago de Compostela, Spain).
2017. (BibTeX)

Dietrich, Christian ; Wägemann, Peter ; Ulbrich, Peter ; Lohmann, Daniel:
SysWCET: Whole-System Response-Time Analysis for Fixed-Priority Real-Time Systems (outstanding paper).
In: Davis, Rob ; Parmer, Gabriel (Ed.) : Proceedings of the 23rd Real-Time and Embedded Technology and Applications Symposium (RTAS '17)
(Real-Time and Embedded Technology and Applications Symposium, Pittsburgh, PA, USA, April 2017).
Los Alamitos, CA : IEEE Computer Society Press, 2017, pp 37-48. - ISBN 978-1-5090-5269-1
Keywords: worst-case response time, WCRT, worst-case execution time, WCET, OSEK, AutoSAR, IPET, ILP, whole-system analysis, system-state enumeration
[doi>10.1109/RTAS.2017.37] (BibTeX)

Vaas, Steffen ; Ulbrich, Peter ; Reichenbach, Marc ; Fey, Dietmar:
The Best of Both: High-performance and Deterministic Real-Time Executive by Application-Specific Multi-Core SoCs.
In: HEART (Org.):
Proceedings of the Conference on Design and Architectures for Signal and Image Processing (DASIP '17)
(Conference on Design and Architectures for Signal and Image Processing (DASIP '17), Dresden, 27.-29. September 2017).
2017, pp 0-0. (BibTeX)

Stilkerich, Isabella ; Lang, Clemens ; Erhardt, Christoph ; Bay, Christian ; Stilkerich, Michael:
The Perfect Getaway: Using Escape Analysis in Embedded Real-Time Systems.
In: ACM Transactions on Embedded Computing Systems (TECS) 16 (2017), No. 4, pp No. 99
Keywords: Memory Management; Real-Time Systems; Type-safe Runtime Systems; Functional Safety; Dependable Software Architectures; KESO; AORTA; ARAMiS II (BibTeX)

Reif, Stefan ; Schmidt, Andreas ; Hönig, Timo ; Herfet, Thorsten ; Schröder-Preikschat, Wolfgang:
X-Lap: A Systems Approach for Cross-Layer Profiling and Latency Analysis for Cyber-Physical Networks.
In: - (Ed.) : Proceedings of the 15th International Workshop on Real-Time Networks (RTN'2017)
(The 15th International Workshop on Real-Time Networks (RTN'2017), Dubrovnic, Croatia, June 27, 2017).
2017.
Keywords: Networks; Cyber-physical networks; Network reliability; Computer systems organization; Real-time systems; Embedded and cyber-physical systems; Dependable and fault-tolerant systems and networks; (BibTeX)