Paper Server : Real-Time Systems Group

Publications - 2008

• Impossibility Results and Lower Bounds for Consensus under Link Failures
  Ulrich Schmid, Bettina Weiss, Idit Keidar
  SIAM Journal on Computing 38(5), p. 1912-1951, 2009
  
  
• Time-predictable Computer Architecture
  Martin Schoeberl
  EURASIP Journal on Embedded Systems
  
  
• Fault-Tolerant Distributed Algorithms on VLSI Chips
  Bernadette Charron-Bost, Shlomi Dolev, Jo Ebergen, Ulrich Schmid
  Proceedings Dagstuhl Seminar 08371 on Fault-Tolerant Distributed Algorithms on VLSI Chips, Schloß Dagastuhl, Germany, September 2008
  
  
• Routing without Ordering
  Bernadette Charron-Bost, Antoine Gaillard, Jennifer L. Welch, Josef Widder
  Proceedings of the 15th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA)
  
  
• Weak Synchrony Models and Failure Detectors for Message Passing k-Set Agreement
  Martin Biely, Peter Robinson, Ulrich Schmid
  To appear in: Proceedings of the International Conference on Principles of Distributed Systems (OPODIS'09), Nimes, France, 2009.
  
  
• 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
  
  
• Brief Announcement: Weak Synchrony Models and Failure Detectors for Message Passing k-Set Agreement
  Martin Biely, Peter Robinson, Ulrich Schmid
  To appear in: Proceedings of the 23rd International Symposium on Distributed Computing (DISC'09), Elche/Elx, Spain, 2009
  
  
• On Undecidability Results of Real Programming Languages
  Wolf Zimmermann, Drik Richter
  15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009)
  
  
• Optimal Message-Driven Implementations of Omega with Mute Processes
  Martin Biely, Josef Widder
  ACM Transactions on Autonomous and Adaptive Systems (TAAS)
  
  
• Fault-Tolerant Distributed Algorithms and VLSI - An Appetizer
  Ulrich Schmid
  Dagstuhl Seminar Proceedings 08731 on Fault-Tolerant Distributed Algorithms on VLSI Chips
  
  
• Optimal Deterministic Remote Clock Estimation in Real-Time Systems
  Heinrich Moser, Ulrich Schmid
  12th International Conference On Principles Of DIstributed Systems (OPODIS'08)
  
  
• Flexible Hardware-based Stereo Matching
  K. Ambrosch, Martin Humenberger, Wilfried Kubinger, Andreas Steininger
  EURASIP Journal on Embedded Systems, vol. 2008, Article ID 386059, 12 pages. doi:10.1155/2008/386059
  
  
• The Asynchronous Bounded-Cycle Model
  Peter Robinson, Ulrich Schmid
  Proceedings of the 10th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS'08), Springer LNCS 5340, pages 246--262, Detroit, USA, November 2008.
  
  
• Keynote: Distributed Algorithms and VLSI
  Ulrich Schmid
  Proceedings of the 10th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS'08)}, Springer LNCS 5340, p. 3, November 2008.
  
  
• The Acquaintance of Hardware Timing Effects: A Sine Qua Non to Validate Temporal Requirements in Embedded Real Time Systems
  Sven Bünte
  Junior Scientist Conference 2008
  
  
• A Resource Management Framework for Mixed-Criticality Embedded Systems
  Bernhard Huber, Christian El Salloum, Roman Obermaisser
  34th Annual Conference of the IEEE Industrial Electronics Society (IECON'08)
  
  
• Neutralizing Timing Anomalies in Superscalar Microprocessors
  Albrecht Kadlec
  JSC 2008
  
  
• Fehlertoleranzanalyse des FlexRay Startup-Prozesses
  Sven Bünte, Paul Milbredt
  Informatik Aktuell, Aktuelle Anwendungen in Technik und Wirtschaft, Echtzeit 2008
  
  
• Divide and Measure: CFG Segmentation for the Measurement-Based Analysis of Resource Consumption
  Michael Zolda
  Junior Scientist Conference
  
  
• SAD based stereo matching using FPGAs
  K. Ambrosch, Martin Humenberger, Wilfried Kubinger, Andreas Steininger
  Chapter 6 of Embedded Computer Vision - Advances in Pattern Recognition Series, Springer Verlag, London, 2008
  
  
• Cache-aware Cross-profiling for Java Processors
  Walter Binder, Alex Villazon, Martin Schoeberl, Philippe Moret
  Proceedings of the 2008 international conference on Compilers, architecture, and synthesis for embedded systems (CASES 2008)
  
  
• End–to–End Encryption in the TTSoC Architecture
  Armin Wasicek, Christian El Salloum
  3rd Workshop on Embedded Systems Security, ESWEEK'08, Atlanta, USA
  
  
• Decoupled Root Scanning in Multi-Processor Systems
  Wolfgang Puffitsch
  CASES '08: Proceedings of the 2008 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems
  
  
• Test Coverage Analysis and Preservation for Requirements-Based Testing of Safety-Critical Systems
  Susanne Kandl
  ERCIM News 75
  
  
• Measurement-Based Timing Analysis
  Ingomar Wenzel, Bernhard Rieder, Peter Puschner
  3rd Int'l Symposium on Leveraging Applications of Formal Methods, Verification and Validation
  
  
• Worst-Case Execution Time Analysis - Proceedings of the 8th International Workshop (WCET 2008)
  
  8th International Workshop on Worst-Case Execution Time Analysis (WCET'08), Prague, Czech Republic, OCG, books @ ocg.at, no. 237
  
  
• INFER: Interactive Timing Profiles based on Bayesian Networks
  Michael Zolda
  8th International Workshop on Worst-Case Execution Time Analysis
  
  
• Topology Control for Fault-Tolerant Communication in Wireless Ad Hoc Networks
  Bernd Thallner, Heinrich Moser, Ulrich Schmid
  Wireless Networks (2010) 16:387-404, http://dx.doi.org/10.1007/s11276-008-0139-9
  
  
• Exploring Hardware Software Partitioning on the Example of a Fingerprint Verification System
  Stefan Hepp, Georg Klima, Lukas Krammer, Werner Luckner, Daniel Prokesch, Stefan Resch, Stefan Tauner, Martin Walter, Armin Wasicek, Jakob Wilhelm, Peter Tummeltshammer, Martin Delvai, Albrecht Kadlec
  Austrochip 2008, Linz, Austria
  
  
• An Operating System for a Time-Predictable Computing Node
  Guenter Khyo, Martin Delvai, Peter Puschner
  Software Technologies for Embedded and Ubiquitous Systems, 6th IFIP WG 10.2 International Workshop (SEUS 2008)
  
  
• Fault-Tolerant Four-State Logic by Using Self-Healing Cells
  Thomas Panhofer, Werner Friesenbichler, Martin Delvai
  IEEE International Conference on Computer Design (ICCD08)
  
  
• Formal Specification of Gateways in Integrated Architectures
  Roman Obermaisser
  Proceedings of the 6th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2008)
  
  
• Mapping a Fault-Tolerant Distributed Algorithm to Systems on Chip
  Gottfried Fuchs, Matthias Fuegger, Ulrich Schmid, Andreas Steininger
  11th Euromicro conference on Digital System Design Architectures, Methods and Tools (DSD'08), p. 242-249, Parma, Italy, September 2008
  
  
• Segmentation of Standard Ethernet Messages in the Time-Triggered Ethernet
  Vaclav Mikolasek, Astrit Ademaj, Stanislav Racek
  ETFA 2008
  
  
• Cross-Profiling for Embedded Java Processors
  Walter Binder, Martin Schoeberl, Philippe Moret, Alex Villazon
  Proceedings of the 5th International Conference on the Quantitative Evaluation of SysTems (QEST 2008)
  
  
• Composability in the Time-Triggered System-on-Chip Architecture
  Hermann Kopetz, Christian El Salloum, Bernhard Huber, Roman Obermaisser, Christian Paukovits
  21st Annual IEEE International SoC Conference
  
  
• Non-blocking Object Copy for Real-Time Garbage Collection
  Martin Schoeberl, Wolfgang Puffitsch
  Proceedings of the 6th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2008)
  
  
• Time-Predictable Memory Arbitration for a Java Chip-Multiprocessor
  Christof Pitter
  The 6th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2008)
  
  
• Non-blocking Root Scanning for Real-Time Garbage Collection
  Wolfgang Puffitsch, Martin Schoeberl
  Proceedings of the 6th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2008)
  
  
• Brief Announcement: The Asynchronous Bounded-Cycle Model
  Peter Robinson, Ulrich Schmid
  Proceedings of the 27th ACM Symposium on Principles of Distributed Computing (PODC'08), p. 423, Toronto, Canada, August 2008. (An extended version appeared at SSS'08).
  
  
• Towards a Systematic Test of Embedded Automotive Communication Systems
  Eric Armengaud, Andreas Steininger, Martin Horauer
  IEEE Transactions on Industrial Informatics vol 4, no 3
  
  
• On Composable System Timing, Task Timing, and WCET Analysis
  Peter Puschner, Martin Schoeberl
  8th International Workshop on Worst-Case Execution Time (WCET) Analysis
  
  
• Establishing Wireless Time-Triggered Communication using a Firefly Clock Synchronization Approach
  R. Leidenfrost, Wilfried Elmenreich
  Proceedings of the Sixth International Workshop on Intelligent Solutions in Embedded Systems
  
  
• Application Experiences with a Real-Time Java Processor
  Martin Schoeberl
  Proceedings of the 17th IFAC World Congress
  
  
• JopCMP - A Java Chip-Multiprocessor for Real-time Systems
  Christof Pitter
  4th International Workshop on Reconfigurable Communication Centric System-on-Chips
  
  
• JOP: A Java Optimized Processor for Embedded Real-Time Systems
  Martin Schoeberl
  VDM Verlag
  
  
• Towards a Common WCET Annotation Language: Essential Ingredients
  Adrian Prantl, Markus Schordan, Jens Knoop, Albrecht Kadlec
  8th International Workshop on Worst-Case Execution Time Analysis (WCET'08), Prague, Czech Republik
  
  
• Compiler Support for Timing Analysis of Optimized Code - Precise Timing Analysis of Machine Code with Convenient Annotation of Source Code
  
  VDM Verlag
  
  
• Using Model Checking to Derive Loop Bounds of General Loops within ANSI-C Applications for Measurement Based WCET Analysis
  Bernhard Rieder, Ingomar Wenzel, Peter Puschner
  Proc. 6th Workshop on Intelligent Solutions in Embedded Systems (WISES 2008)
  
  
• WCET 2008 - Report from the Tool Challenge 2008
  Niklas Holsti, Jan Gustafsson, Guillem Bernat, Bernhard Rieder, et al
  8th International Workshop on Worst-Case Execution Time Analysis (WCET'08), Prague, Czech Republic, OCG, books @ ocg.at, no. 237
  
  
• An investigation of the Clique Problem in FlexRay
  Paul Milbredt, Andreas Steininger, Martin Horauer
  Proc. 3rd IEEE Symposium on Industrial Embedded Systems (SIES) 2008
  
  
• Extending two non parametric transforms for FPGA based stereo matching using bayer filtered cameras
  K. Ambrosch, Martin Humenberger, Wilfried Kubinger, Andreas Steininger
  Proc. IEEE CS Conference on Computer Vision and Pattern Recognition, 2008
  
  
• Performance Evaluation of a Java Chip-Multiprocessor
  Christof Pitter, Martin Schoeberl
  IEEE Third Symposium on Industrial Embedded Systems (SIES’2008)
  
  
• The Time-Triggered System-on-a-Chip Architecture
  Christian El Salloum, Roman Obermaisser, Bernhard Huber, Hermann Kopetz
  Proceedings of the IEEE International Symposium on Industrial Electronics
  
  
• Generalized instruction selection using SSA-graphs
  Dietmar Ebner, Florian Brandner, Bernhard Scholz, Andreas Krall, Peter Wiedermann, Albrecht Kadlec
  LCTES '08: Proceedings of the 2008 ACM SIGPLAN-SIGBED
  
  
• Hardware Objects for Java
  Martin Schoeberl, Christian Thalinger, Stephan Korsholm, Anders P. Ravn
  11th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2008)
  
  
• Toward Libraries for Real-time Java
  Trevor Harmon, Martin Schoeberl, Raymond Klefstad
  11th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2008)
  
  
• Java Interrupt Handling
  Stephan Korsholm, Martin Schoeberl, Anders P. Ravn
  11th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2008)
  
  
• Obstacles in Worst-Case Execution Time Analysis
  Peter Puschner
  11th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2008)
  
  
• Safe Deterministic Replay for Stimulating the Clock Synchronization Algorithm in Time-Triggered Systems
  Eric Armengaud, Matthias Fuegger, Andreas Steininger
  7th IEEE International Workshop on Factory Communication Systems
  
  
• A Novel Naming Scheme for System-on-a-Chips Supporting Dynamic Resource Management
  Christian El Salloum, Roman Obermaisser, Bernhard Huber, Hermann Kopetz
  Seventh European Dependable Computing Conference (EDCC-7)
  
  
• A Transient-Resilient System-on-a-Chip Architecture with Support for On-Chip and Off-Chip TMR
  Roman Obermaisser, Hubert Kraut, Christian El Salloum
  Proceedings of the Seventh European Dependable Computing Conference, 2008.
  
  
• Temporal and Spatial Partitioning of a Time-Triggered Operating System based on Real-Time Linux
  Roman Obermaisser, Bernhard Leiner
  Proceedings of the 11th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'08), Florida, USA
  
  
• The Complexity Challenge in Embedded Systems Design
  Hermann Kopetz
  11th IEEE International Symposium on Object/Component/Service-Oriented Real-time Distributed Computing (ISORC 2008)
  
  
• Wrong Assumptions and Neglected Areas in Embedded Systems Research
  Hermann Kopetz
  11th IEEE International Symposium on Object/Component/Service-Oriented Real-time Distributed Computing (ISORC 2008)
  
  
• A Modular Worst-case Execution Time Analysis Tool for Java Processors
  Trevor Harmon, Martin Schoeberl, Raymond Klefstad
  Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2008)
  
  
• A Benchmarking Suite for Measurement-Based WCET Analysis Tools
  Sven Bünte, Michael Tautschnig
  Software Testing Verification and Validation Workshop, 2008. ICSTW '08
  
  
• Automatic Generation of Explicit Connectors for Hardware/Software Codesign in Embedded Real-Time Systems
  Wolfgang Forster, Andreas Steininger, Christoph Kutschera, Karl Goeschka
  IEEE International Symposium on Parallel and Distributed Processing 2008
  
  
• Improving Fault Tolerance by Using Reconfigurable Asynchronous Circuits
  Werner Friesenbichler, Thomas Panhofer, Martin Delvai
  IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems
  
  
• Concepts of Switching in the Time-Triggered Network-on-Chip
  Christian Paukovits, Hermann Kopetz
  The 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2008)
  
  
• Experimental Evaluation of the FlexRay Clock Synchronization Service
  Eric Armengaud
  20. Workshop für Testmethoden und Zuverlässigkeit von Schaltungen und Systemen
  
  
• Exploring the Usefulness of the Gate-level Stuck-at Fault Model for Muller C-Elements
  Julian Grahsl, Thomas Handl, Andreas Steininger
  Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen 2008
  
  
• Automated Testing of FlexRay Clusters for System Inconsistencies in Automotive Networks
  Paul Milbredt, Andreas Steininger, Martin Horauer
  4th IEEE International Symposium on Electronic Design, Test and Applications (DELTA 2008)
  
  
• Integrating Safety and Multimedia Subsystems on a Time-Triggered System-on-a-Chip
  Roman Obermaisser, Bernhard Frömel, Christian El Salloum, Bernhard Huber
  Proceedings of the 6th IEEE International Conference on Industrial Informatics (INDIN 2008), pp. 270-275, Daejeon, Korea, July 2008.
  
  
• A Java Processor Architecture for Embedded Real-Time Systems
  Martin Schoeberl
  Journal of Systems Architecture