Paper Server : Real-Time Systems Group

Research Reports - 2011

• 1/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)
  
  
  
• 2/2011 : 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
  
  Get paper.pdf (220.86KB)
  
  
• 3/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
  
  
  
• 4/2011 : Weak System Models for Fault-Tolerant Distributed Agreement Problems
  Peter Robinson
  
  
  
• 5/2011 : 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)
  
  Get wasicek-tte-auth-paper-submitted-isorc2.pdf (314.39KB)
  
  
• 6/2011 : Roll-Forward Recovery with State Estimation
  Vaclav Mikolasek, Hermann Kopetz
  14th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing
  
  Get PID1634907.pdf (232.49KB)
  
  
• 7/2011 : Full Reversal Routing as a Linear Dynamical System
  Bernadette Charron-Bost, Matthias Fuegger, Jennifer L. Welch, Josef Widder
  (A shorter version appeared at SIROCCO 2011.)
  
  Get techreport.pdf (124.96KB)
  
  
• 8/2011 : Worst-case execution time analysis driven object cache design
  Benedikt Huber, Wolfgang Puffitsch, Martin Schoeberl
  Concurrency and Computation: Practice and Experience
  
  Get ocwcet_jnl.pdf (304.95KB)
  
  
• 9/2011 : On the Performance of a Retransmission-based Synchronizer
  Thomas Nowak, Matthias Fuegger, Alexander Kößler
  (A shorter version appeared at SIROCCO 2011.)
  
  Get paper.pdf (279.23KB)
  
  
• 10/2011 : Partial is Full
  Bernadette Charron-Bost, Matthias Fuegger, Jennifer L. Welch, Josef Widder
  (A shorter version appeared at SIROCCO 2011.)
  
  Get techreport.pdf (248.10KB)
  
  
• 11/2011 : Optimal Regional Consecutive Leader Election in Mobile Ad-Hoc Networks
  Hyun Chul Chung, Peter Robinson, Jennifer L. Welch
  
  
  
• 12/2011 : On Efficient Checking of Link-reversal-based Concurrent Systems
  Matthias Fuegger, Josef Widder
  EC2 2011
  
  Get paper.pdf (196.23KB; new version)
  
  
• 13/2011 : Towards an open timing analysis platform
  Benedikt Huber, Wolfgang Puffitsch, Peter Puschner
  11th International Workshop on Worst-Case Execution Time Analysis
  
  Get wcet2011_submission.pdf (161.65KB)
  
  
• 14/2011 : 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)
  
  Get camera_ready.pdf (3642.93KB)
  
  
• 15/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
  (Published version of RR 58/2009.)
  
  Get TCS_8014_final.pdf (898.07KB)
  
  
• 16/2011 : The Asynchronous Bounded-Cycle Model
  Peter Robinson, Ulrich Schmid
  Theoretical Computer Science Volume 412, Issue 40, 16 September 2011, Pages 5580-5601
  
  Get TCS_final_version.pdf (461.05KB)
  
  
• 17/2011 : Compiler Support for Measurement-based Timing Analysis
  Michael Zolda, Raimund Kirner
  Proc. 11th International Workshop on Worst-Case Execution Time Analysis (WCET'11)
  
  
  
• 18/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)
  
  Get rtcsa2011.pdf (591.07KB)
  
  
• 19/2011 : 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
  
  
  
• 20/2011 : Embedding Complex Embedded Systems in Ethernet–based Networks
  Armin Wasicek, Christian El Salloum, Oliver H�ftberger
  ERCIM Workshop on Dependable Cyber-physical Systems, SAFECOMP
  
  Get connect-across.pdf (194.70KB)
  
  
• 21/2011 : 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)
  
  Get cmprtgc.pdf (178.68KB)
  
  
• 22/2011 : 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
  
  
  
• 23/2011 : Improved Redundancy and Consistency beyond RAID 1
  Roland Kammerer, Benedikt Huber
  Embedded World 2011 - FLOSS for Safety Critical Systems
  
  
  
• 24/2011 : Time-Triggered Communication (Book Chapter on TTCAN)
  Roland Kammerer
  CRC Press
  (ISBN: 9781439846612)
  
  
  
• 25/2011 : Linux in Safety-Critical Applications
  Roland Kammerer
  OSADL
  (ISBN: 978-3000338854)
  
  
  
• 26/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
  
  Get Sternkoppler.pdf (124.57KB)
  
  
• 27/2011 : 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)
  
  
  
• 28/2011 : Fault Containment in a Reconfigurable Multi‐Processor System‐on‐a‐Chip
  Roman Obermaisser, Oliver Hoeftberger
  21st IEEE International Symposium on Industrial Electronics (ISIE 2011)
  
  
  
• 29/2011 : 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
  
  
  
• 30/2011 : Time-Triggered Communication (Book Chapter on FlexRay)
  Christian El Salloum
  CRC Press
  (ISBN: 9781439846612)
  
  
  
• 31/2011 : 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
  (Primary Title: Modeling Time-Triggered Architecture Based Real-Time Systems Using SystemC Book Title: System Specification and Design Languages Book Series Title: Lecture Notes in Electrical Engineering Copyright: 2012 Publisher: Springer New York Isbn: 978-1-4614-1427-8 Subject: Engineering Start Page: 123 End Page: 141 Volume: 106 Url: http://dx.doi.org/10.1007/978-1-4614-1427-8_8 Doi: 10.1007/978-1-4614-1427-8_8)
  
  
  
• 32/2011 : Brief announcement: full reversal routing as a linear dynamical system
  Bernadette Charron-Bost, Matthias Fuegger, Jennifer L. Welch, Josef Widder
  SPAA 2011
  
  
  
• 33/2011 : Full Reversal Routing as a Linear Dynamical System
  Bernadette Charron-Bost, Matthias Fuegger, Jennifer L. Welch, Josef Widder
  SIROCCO 2011
  
  
  
• 34/2011 : Partial is Full
  Bernadette Charron-Bost, Matthias Fuegger, Jennifer L. Welch, Josef Widder
  SIROCCO 2011
  
  
  
• 35/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
  
  
  
• 36/2011 : Reconciling fault-tolerant distributed computing and systems-on-chip
  Matthias Fuegger, Ulrich Schmid
  Distributed Computing 24(6):323-355, 2012
  
  
  
• 37/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)
  
  Get tu_rwth_rv11.pdf (330.15KB)
  
  
• 38/2011 : Precise Control Flow Reconstruction Using Boolean Logic
  Thomas Reinbacher, Jörg Brauer
  11th International Conference on Embedded Software 2011 (EMSOFT 2011)
  
  Get tu_rwth_emsoft11.pdf (488.46KB)
  
  
• 39/2011 : Testing microcontroller software simulators
  Thomas Reinbacher, Dominique Gückel, Martin Horauer, Stefan Kowalewski
  WS4C 2011
  
  Get tu_fhtw_ws4c11.pdf (164.98KB)
  
  
• 40/2011 : 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
  
  Get tu_rwth_fhtw_fmics11.pdf (420.92KB)
  
  
• 41/2011 : 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)
  
  Get tu_fhtw_rwth_mesa11_full.pdf (263.48KB)
  
  
• 42/2011 : 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
  
  
  
• 43/2011 : On the Performance of a Retransmission-Based Synchronizer
  Thomas Nowak, Matthias Fuegger, Alexander Kößler
  SIROCCO 2011
  
  
  
• 47/2011 : 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)
  
  Get ijrc_2011.pdf (523.70KB)
  
  
• 48/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)
  (Published version (BA) of RR2/2011)
  
  Get ba.pdf (117.92KB)
  
  
• 49/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)
  
  Get transform.pdf (158.99KB)
  
  
• 50/2011 : 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)
  
  Get paper.pdf (249.07KB)
  
  
• 51/2011 : 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
  
  Get 936712.v2.pdf (706.29KB)