Paper Server : Real-Time Systems Group

Research Reports - 2010

• 1/2010 : RTTM: Real-time transactional memory
  Martin Schoeberl, Florian Brandner, Jan Vitek
  Proceedings of the 25th ACM Symposium on Applied Computing
  
  Get rttm_final.pdf (212.95KB)
  
  
• 2/2010 : Worst-case execution time analysis for a Java processor
  Martin Schoeberl, Wolfgang Puffitsch, Rasmus Pedersen, Benedikt Huber
  Software: Practice and Experience
  
  Get wcetana.pdf (601.08KB)
  
  
• 6/2010 : Just Enough Synchrony for Message-Passing k-Set Agreement
  Martin Biely, Peter Robinson, Ulrich Schmid
  
  Get paper.pdf (249.45KB)
  
  
• 7/2010 : A System–on–a–Chip Platform for Mixed–Criticality Applications
  Armin Wasicek, Hermann Kopetz, Christian El Salloum
  Proceedings of 13th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing (ISORC)
  
  Get wasicek-milsttsoc-isorc-camera-ready.pdf (469.73KB)
  
  
• 8/2010 : Outline for Master’s Thesis: Flow Control Middleware for Mixed Criticality Network
  Armin Wasicek
  
  Get Flow Control Middleware for Mixed Criticality Network.pdf (179.76KB)
  Get Flow Control Middleware for Mixed Criticality Network.docx (171.66KB)
  Get Flow Control Middleware for Mixed Criticality Network.pdf (502.31KB)
  
  
• 9/2010 : The Byzantine Generals' Round Duration
  Heinrich Moser
  
  Get paper.pdf (60.53KB)
  
  
• 10/2010 : Scheduling of Hard Real-Time Garbage Collection
  Martin Schoeberl
  Real-Time Systems
  
  Get hrtsgc.pdf (414.53KB)
  
  
• 11/2010 : Reconciling Fault-Tolerant Distributed Algorithms and Real-Time Computing
  Heinrich Moser, Ulrich Schmid
  
  Get RR.pdf (326.89KB)
  
  
• 12/2010 : Regional Consecutive Leader Election in Mobile Ad-Hoc Networks
  Hyun Chul Chung, Peter Robinson, Jennifer L. Welch
  
  Get submission.pdf (370.34KB)
  
  
• 13/2010 : Reconciling Fault-Tolerant Distributed Computing and Systems-on-Chip
  Matthias Fuegger, Ulrich Schmid
  
  
  
• 14/2010 : Executable Time-Triggered Model (E-TTM) for Real-Time Control Systems
  Jon Perez, Antonio Perez, Roman Obermaisser
  13th IEEE International Symposium on Object/component/service oriented Real-time distributed Computing (ISORC)
  
  Get isorc10.pdf (399.23KB)
  
  
• 15/2010 : WCET Driven Design Space Exploration of an Object Cache
  Benedikt Huber, Wolfgang Puffitsch, Martin Schoeberl
  JTRES’10 August 19–21, 2010 Prague, Czech Republic
  
  Get jtres2010.pdf (694.87KB)
  
  
• 16/2010 : In search of lost time
  Bernadette Charron-Bost, Martin Hutle, Josef Widder
  Information Processing Letters
  (Earlier version is an EPFL technical report that can be obtained here.)
  
  
  
• 17/2010 : A Code Policy Guaranteeing Fully Automated Path Analysis
  Benedikt Huber, Peter Puschner
  10th International Workshop on Worst-Case Execution-Time Analysis
  
  Get wcet2010_submission_22.pdf (874.09KB)
  
  
• 18/2010 : Context-Sensitivity in IPET for Measurement-Based Timing Analysis
  Michael Zolda, Sven Bünte
  4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'10)
  
  Get 64160487.pdf (115.64KB)
  
  
• 20/2010 : A real-time Java chip-multiprocessor
  Christof Pitter, Martin Schoeberl
  ACM Transactions on Embedded Computing Systems (TECS)
  
  Get jopcmp_tecs.pdf (281.83KB; Preprint)
  
  
• 21/2010 : Towards a Time-Predictable Hierarchical Memory Architecture - Prefetching Options to be Explored
  Bekim Cilku, Peter Puschner
  13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops
  (presented at 1st IEEE International Workshop on Object/component/service-oriented Real-time Networked Ultra-dependable Systems)
  
  Get paper_cilku_wornus2010.pdf (281.32KB)
  
  
• 22/2010 : Avoiding Timing Anomalies Using Code Transformations
  Albrecht Kadlec, Peter Puschner
  13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing
  
  Get paper_kadlec_isorc2010.pdf (242.47KB)
  
  
• 23/2010 : Transforming Flow Information during Code Optimization for Timing Analysis
  Peter Puschner, Adrian Prantl
  Journal of Real-Time Systems
  
  Get paper_kirner_jrts2010.pdf (1230.09KB)
  
  
• 24/2010 : Time-Predictable Computing
  Peter Puschner, Raimund Kirner
  8th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems
  
  Get paper_kirner_seus2010.pdf (171.75KB)
  
  
• 25/2010 : Modeling Time-Triggered Architecture Based Safety-Critical Embedded Systems Using SystemC
  Roman Obermaisser, Jon Perez, Christian El Salloum, Carlos Fernando Nicolas
  Forum on specification & Design Languages (FDL), 2010, Southampton, UK.
  
  
  
• 26/2010 : Error Detection Rate of MC/DC for a Case Study from the Automotive Domain
  Susanne Kandl
  SEUS 2010
  
  Get version_proceedings.pdf (254.29KB)
  
  
• 28/2010 : Solving k-Set Agreement with Stable Skeleton Graphs.
  Martin Biely, Peter Robinson, Ulrich Schmid
  
  Get paper.pdf (249.07KB)
  
  
• 29/2010 : Worst-Case Analysis of Heap Allocations
  Wolfgang Puffitsch, Benedikt Huber, Martin Schoeberl
  Lecture Notes in Computer Science
  
  Get wcmem.pdf (322.18KB)
  
  
• 30/2010 : A Router for Improved Fault Isolation, Scalability and Diagnosis in CAN
  Roman Obermaisser, Roland Kammerer
  INDIN 2010
  
  Get canrouter.pdf (137.80KB)
  
  
• 33/2010 : A Deterministic Approach for Hardware Fault Injection in Asynchronous QDI Logic
  Werner Friesenbichler, Thomas Panhofer, Andreas Steininger
  13th IEEE Intl. Symp. on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2010)
  
  Get ddecs10_final_verified.pdf (147.47KB)
  
  
• 34/2010 : Enhancing Pipelined Processor Architectures with Fast Autonomous Recovery of Transient Faults
  Marcus Jeitler, Jakob Lechner, Andreas Steininger
  13th IEEE Intl. Symp. on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2010)
  
  Get ddecs.pdf (191.52KB)
  
  
• 35/2010 : Reliability Estimation and Experimental Results of a Self-Healing Asynchronous Circuit: A Case Study
  Thomas Panhofer, Werner Friesenbichler, Andreas Steininger
  2010 NASA/ESA Conference on Adaptive Hardware and Systems
  
  Get AHS2010 paper.pdf (485.45KB)
  
  
• 36/2010 : Implementation of Self-Healing Asynchronous Circuits at the Example of a Video-Processing Algorithm
  Thomas Panhofer, Werner Friesenbichler, Andreas Steininger
  IEEE Intl. Workshop on Dependable and Secure Nanocomputing (WDSN 2010)
  
  Get 20100312_WDSN1_ST.pdf (158.15KB)
  
  
• 37/2010 : Test-Case Generation for Embedded Binary Code Using Abstract Interpretation
  Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski
  Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2010)
  
  Get tu_rwth_memics10_full.pdf (286.59KB)
  
  
• 38/2010 : 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)
  
  
  
• 39/2010 : How to Speed-up Fault-Tolerant Clock Generation in VLSI Systems-on-Chip via Pipelining
  Matthias Fuegger, Andreas Dielacher, Ulrich Schmid
  EDCC 2010
  
  Get camready.pdf (322.41KB)
  
  
• 40/2010 : Towards Self-Timed Logic in the Time-Triggered Protocol
  Markus Ferringer
  International Conference on Dependable Systems and Networks Workshops (DSN-W)
  
  
  
• 42/2010 : Low Latency Recovery from Transient Faults for Pipelined Processor Architectures
  Marcus Jeitler, Jakob Lechner
  2010 13th Euromicro Conference on Digital System Design: Architectures, Methods and Tools (DSD)
  
  Get dsd2010.pdf (326.97KB)
  
  
• 43/2010 : Real-Time Analysis of Round-based Distributed Algorithms
  Alexander Kößler, Heinrich Moser, Ulrich Schmid
  Proceedings of the 1st International Real-Time Scheduling Open Problems Seminar (RTSOPS'10), in conjunction with 22nd Euromicro Conference on Real-Time Systems (ECRTS'10)
  
  Get main.pdf (52.98KB)
  
  
• 44/2010 : Synchrony and Time in Fault-Tolerant Distributed Algorithms
  Ulrich Schmid
  Proceedings Formal Modeling and Analysis of Timed Systems Conference (FORMATS 2010), IST Austria, September 8-10, 2010. Springer Lecture Notes in Computer Science 6246, ISBN 978-3-642-15296-2, 2010
  
  Get formats.pdf (1037.73KB)
  
  
• 45/2010 : A New Robust Interference Reduction Scheme for Low Complexity Direct-Sequence Spread-Spectrum Receivers: Performance
  Samar Khattab, Alois Goiser, Gerhard Fassl, Ulrich Schmid
  Proceedings 3rd International IEEE Conference on Communication Theory, Reliability, and Quality of Service (CTRQ'10), Athens, Greece, June 2010.
  
  Get final_version_performance.pdf (211.65KB)
  
  
• 46/2010 : A New Robust Interference Reduction Scheme for Low Complexity Direct-Sequence Spread-Spectrum Receivers: Optimization
  Alois Goiser, Samar Khattab, Gerhard Fassl, Ulrich Schmid
  Proceedings 3rd International IEEE Conference on Communication Theory, Reliability, and Quality of Service (CTRQ'10), Athens, Greece, June 2010.
  
  Get final_version_Control.pdf (188.67KB)