Paper Server : Real-Time Systems Group

Publications - 2011

• Brief Announcement: The Degrading Effect of Forgetting on a Synchronizer
  Matthias Fuegger, Alexander Kößler, Thomas Nowak, Martin Zeiner
  SSS 2012
  
  
• Efficient Checking of Link-reversal-based Concurrent Systems
  Matthias Fuegger, Josef Widder
  CONCUR 2012
  
  
• Multiple verification in complex biological systems: the bone remodelling case study
  Ezio Bartocci, Pietro Liò, Emanuela Merelli, Nicola Paoletti
  Trans. on Comput. Syst. Biology XIV, LNBI 7625, pp. 53–76. Springer, Heidelberg (2012)
  
  
• Real-Time Runtime Verification on Chip
  Thomas Reinbacher, Matthias Fuegger, Jörg Brauer
  RV 2012
  
  
• Easy Impossibility Proofs for k-Set Agreement in Message Passing Systems
  Martin Biely, Peter Robinson, Ulrich Schmid
  Proceedings 15th International Conference on Principles of Distributed Systems (OPODIS'11); Springer LNCS 7109
  
  
• Successful communication in European research projects – the GENESYS project as best practice
  Sibylle Kuster
  Wirtschaft und Management, Schriftenreihe zur Wissenschaftlichen Forschung und Praxis, Band 15
  
  
• Modeling Time-Triggered Architecture Based Real-Time Systems Using SystemC (Book Chapter in: System Specification and Design Languages Book Series, Lecture Notes in Electrical Engineering)
  Jon Perez, Carlos Fernando Nicolas, Roman Obermaisser, Christian El Salloum
  Lecture Notes in Electrical Engineering, 2012, Volume 106, Springer New York
  
  
• VLSI Implementation of a Distributed Algorithm for Fault-Tolerant Clock Generation
  Gottfried Fuchs, Andreas Steininger
  Journal of Electrical and Computer Engineering, vol. 2011, Article ID 936712, doi:10.1155/2011/936712
  
  
• Time-Triggered Communication (Book Chapter on TTCAN)
  Roland Kammerer
  CRC Press
  
  
• Time-Triggered Communication (Book Chapter on FlexRay)
  Christian El Salloum
  CRC Press
  
  
• Testing microcontroller software simulators
  Thomas Reinbacher, Dominique Gückel, Martin Horauer, Stefan Kowalewski
  WS4C 2011
  
  
• Synchronous consensus under hybrid process and link failures
  Martin Biely, Ulrich Schmid, Bettina Weiss
  Theoretical Computer Science, Volume 412, Issue 40, 16 September 2011, Pages 5602-5630
  
  
• The Asynchronous Bounded-Cycle Model
  Peter Robinson, Ulrich Schmid
  Theoretical Computer Science Volume 412, Issue 40, 16 September 2011, Pages 5580-5601
  
  
• Hard Real-Time Garbage Collection for a Java Chip Multi-Processor
  Wolfgang Puffitsch
  9th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES 2011)
  
  
• Automated test-trace inspection for microcontroller binary code
  Andreas Steininger, Thomas Reinbacher, Jörg Brauer, Daniel Schachinger, Stefan Kowalewski
  2nd International Conference on Runtime Verification (RV 2011)
  
  
• Context-Sensitive Measurement-Based Worst-Case Execution Time Estimation
  Michael Zolda, Raimund Kirner, Sven Bünte
  17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'11)
  
  
• Past time LTL runtime verification for microcontroller binary code
  Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski
  16th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2011), Volume 6959/2011 LNCS
  
  
• Hardware support for efficient testing of embedded software
  Thomas Reinbacher, Andreas Steininger, Tobias Müller, Martin Horauer, Jörg Brauer, Stefan Kowalewski
  7th ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications (MESA 2011)
  
  
• On Efficient Checking of Link-reversal-based Concurrent Systems
  Matthias Fuegger, Josef Widder
  EC2 2011
  
  
• Towards an open timing analysis platform
  Benedikt Huber, Wolfgang Puffitsch, Peter Puschner
  11th International Workshop on Worst-Case Execution Time Analysis
  
  
• Compiler Support for Measurement-based Timing Analysis
  Michael Zolda, Raimund Kirner
  Proc. 11th International Workshop on Worst-Case Execution Time Analysis (WCET'11)
  
  
• WCET Tool Challenge 2011: Report
  Reinhard von Hanxleden, Niklas Holsti, Björn Lisper, Erhard Ploedereder, Reinhard Wilhelm, Armelle Bonenfant, Hugues Cassé, Sven Bünte, Wolfgang Fellger, Sebastian Gepperth, Jan Gustafsson, Benedikt Huber, Mohammad Islam, Daniel Kästner, Raimund Kirner, Laura Kovács, Felix Krause, Marianne de Michiel, Mads Christian Olesen, Adrian Prantl, Wolfgang Puffitsch, Christine Rochange, Martin Schoeberl, Simon Wegener, Michael Zolda, Jakob Zwirchmayr
  Proc. 11th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis
  
  
• Let's Get Less Optimistic In Measurement-Based Timing Analysis
  Sven Bünte, Michael Zolda, Raimund Kirner
  6th International Symposium on Industrial Embedded Systems (SIES'11)
  
  
• Fault Containment in a Reconfigurable Multi‐Processor System‐on‐a‐Chip
  Roman Obermaisser, Oliver Hoeftberger
  21st IEEE International Symposium on Industrial Electronics (ISIE 2011)
  
  
• Sternkoppler für Controller Area Network (CAN) auf Basis eines Multi-Processor System-on-a-Chip (MPSoC)
  Roman Obermaisser, Roland Kammerer, Andreas Kasper
  Proc. of AmE 2011 - Automotive meets Electronics
  
  
• Worst-case execution time analysis driven object cache design
  Benedikt Huber, Wolfgang Puffitsch, Martin Schoeberl
  Concurrency and Computation: Practice and Experience
  
  
• Towards a Time-predictable Dual-Issue Microprocessor: The Patmos Approach
  Martin Schoeberl, Pascal Schleuniger, Wolfgang Puffitsch, Florian Brandner, Christian W. Probst, Sven Karlsson, Tommy Thorn
  First Workshop on Bringing Theory to Practice: Predictability and Performance in Embedded Systems (PPES 2011)
  
  
• Improving the Confidence in Measurement-Based Timing Analysis
  Sven Bünte, Michael Zolda, Michael Tautschnig, Raimund Kirner
  14th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC)
  
  
• Authentication in Time–Triggered Systems using Time–delayed Release of Keys
  Armin Wasicek, Christian El Salloum, Hermann Kopetz
  14th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC)
  
  
• Roll-Forward Recovery with State Estimation
  Vaclav Mikolasek, Hermann Kopetz
  14th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing
  
  
• Improved Redundancy and Consistency beyond RAID 1
  Roland Kammerer, Benedikt Huber
  Embedded World 2011 - FLOSS for Safety Critical Systems
  
  
• Using a Local Prefetch Strategy to Obtain Temporal Time Predictability
  Bekim Cilku, Peter Puschner
  14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW)
  
  
• Test-case generation for embedded binary code using abstract interpretation
  Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski
  MEMICS'10 -- Selected Papers
  
  
• Linux in Safety-Critical Applications
  Roland Kammerer
  OSADL
  
  
• On Self-Timed Circuits in Real-Time Systems
  Markus Ferringer
  International Journal of Reconfigurable Computing: Selected Papers from the International Workshop on Reconfigurable Communication-Centric Systems on Chips (ReCoSoC’ 2011)
  
  
• Measurement-Based Timing Analysis for Reconfigurable Embedded Systems
  Sven Bünte, Michael Zolda, Raimund Kirner
  Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility
  
  
• universAAL - an open and consolidated AAL platform
  Sten Hanke, Christopher Mayer, Oliver Hoeftberger, Henriette Boos, Reiner Wichert, Peter Wolf, Mohammad-Reza Tazari, Francesco Furfari
  4. Deutscher AAL-Kongress
  
  
• Brief announcement: full reversal routing as a linear dynamical system
  Bernadette Charron-Bost, Matthias Fuegger, Jennifer L. Welch, Josef Widder
  SPAA 2011
  
  
• Full Reversal Routing as a Linear Dynamical System
  Bernadette Charron-Bost, Matthias Fuegger, Jennifer L. Welch, Josef Widder
  SIROCCO 2011
  
  
• Partial is Full
  Bernadette Charron-Bost, Matthias Fuegger, Jennifer L. Welch, Josef Widder
  SIROCCO 2011
  
  
• Fault-Tolerant Algorithms for Tick-Generation in Asynchronous Logic: Robust Pulse Generation [Extended Abstract]
  Danny Dolev, Matthias Fuegger, Christoph Lenzen, Ulrich Schmid
  SSS 2011
  
  
• Reconciling fault-tolerant distributed computing and systems-on-chip
  Matthias Fuegger, Ulrich Schmid
  Distributed Computing 24(6):323-355, 2012
  
  
• On the Performance of a Retransmission-Based Synchronizer
  Thomas Nowak, Matthias Fuegger, Alexander Kößler
  SIROCCO 2011
  
  
• Reconciling Fault-Tolerant Distributed Algorithms and Real-Time Computing
  Heinrich Moser, Ulrich Schmid
  Proceedings 18th International Colloquium on Structural Information and Communication Complexity (SIROCCO'11)
  
  
• Solving k-Set Agreement with Stable Skeleton Graphs
  Martin Biely, Peter Robinson, Ulrich Schmid
  Workshop Proceedings 25th IEEE International Symposium on Parallel and Distributed Processing (IPDPS 2011)
  
  
• Brief Announcement: Easy Impossibility Proofs for k-Set Agreement in Message Passing Systems
  Martin Biely, Peter Robinson, Ulrich Schmid
  Proceedings of the 30th Annual ACM Symposium on Principles of Distributed Computing (PODC'11)