Paper Server : Real-Time Systems Group

Publications - 2010

• 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)
  
  
• In search of lost time
  Bernadette Charron-Bost, Martin Hutle, Josef Widder
  Information Processing Letters
  
  
• 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)
  
  
• Time-Predictable Computing
  Peter Puschner, Raimund Kirner
  8th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems
  
  
• Error Detection Rate of MC/DC for a Case Study from the Automotive Domain
  Susanne Kandl
  SEUS 2010
  
  
• Worst-Case Analysis of Heap Allocations
  Wolfgang Puffitsch, Benedikt Huber, Martin Schoeberl
  Lecture Notes in Computer Science
  
  
• 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)
  
  
• 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.
  
  
• 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)
  
  
• 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
  
  
• Nonblocking Real-Time Garbage Collection
  Martin Schoeberl, Wolfgang Puffitsch
  ACM Transactions on Embedded Computing Systems
  
  
• WCET Driven Design Space Exploration of an Object Cache
  Benedikt Huber, Wolfgang Puffitsch, Martin Schoeberl
  JTRES’10 August 19–21, 2010 Prague, Czech Republic
  
  
• A real-time Java chip-multiprocessor
  Christof Pitter, Martin Schoeberl
  ACM Transactions on Embedded Computing Systems (TECS)
  
  
• A Real-Time Java Chip-Multiprocessor
  Christof Pitter, Martin Schoeberl
  ACM Transactions on Embedded Computing Systems (TECS)
  
  
• A Code Policy Guaranteeing Fully Automated Path Analysis
  Benedikt Huber, Peter Puschner
  10th International Workshop on Worst-Case Execution-Time Analysis
  
  
• A Router for Improved Fault Isolation, Scalability and Diagnosis in CAN
  Roman Obermaisser, Roland Kammerer
  INDIN 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)
  
  
• 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
  
  
• 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)
  
  
• Towards Self-Timed Logic in the Time-Triggered Protocol
  Markus Ferringer
  International Conference on Dependable Systems and Networks Workshops (DSN-W)
  
  
• 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)
  
  
• 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)
  
  
• 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
  
  
• Avoiding Timing Anomalies Using Code Transformations
  Albrecht Kadlec, Peter Puschner
  13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing
  
  
• 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)
  
  
• Transforming Flow Information during Code Optimization for Timing Analysis
  Peter Puschner, Adrian Prantl
  Journal of Real-Time Systems
  
  
• 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)
  
  
• RTTM: Real-time transactional memory
  Martin Schoeberl, Florian Brandner, Jan Vitek
  Proceedings of the 25th ACM Symposium on Applied Computing
  
  
• Scheduling of Hard Real-Time Garbage Collection
  Martin Schoeberl
  Real-Time Systems
  
  
• Worst-case execution time analysis for a Java processor
  Martin Schoeberl, Wolfgang Puffitsch, Rasmus Pedersen, Benedikt Huber
  Software: Practice and Experience
  
  
• How to Speed-up Fault-Tolerant Clock Generation in VLSI Systems-on-Chip via Pipelining
  Matthias Fuegger, Andreas Dielacher, Ulrich Schmid
  EDCC 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.
  
  
• 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.