Paper Server : Real-Time Systems Group

Publications - 2005

• Time-Triggered Smart Transducer Networks
  Wilfried Elmenreich
  IEEE Transactions on Industrial Informatics
  
  
• Small PC-Network Simulation -- A Comprehensive Performance Case Study
  Daniel Albeseder, Matthias Fuegger, Felix Breitenecker, Thomas L�scher, Shabnam Taub�ck
  Simulation News Europe
  
  
• Instruction Cache für Echtzeitsysteme
  Martin Schoeberl
  Patentschrift Nr. 500858
  
  
• Reconciling Distributed Computing Models and Real-Time Systems
  Heinrich Moser, Ulrich Schmid
  Real-Time Systems Symposium 2006 (RTSS'06)
  
  
• Asynchronous Logic Design - from Concepts to Implementation
  Martin Delvai, Andreas Steininger
  The 3rd International Conference on Cybernetics and Information Technologies, Systems and Applications - Volume 1
  
  
• Optimal Clock Synchronization Revisited: Upper and Lower Bounds in Real-Time Systems
  Heinrich Moser, Ulrich Schmid
  Proceedings of the International Conference on Principles of Distributed Systems (OPODIS'06)
  
  
• Implementing Reliable Distributed Real-Time Systems with the Theta-Model
  Jean-Francois Hermant, Josef Widder
  9th International Conference on Principles of Distributed Systems
  
  
• An Intelligent Interference Minimizing Routing Algorithm for Bandwidth Guaranteed Flows
  Karl Hendling, Thomas Losert, Wolfgang Huber, Martin Jandl
  Intelligent Systems at the Service of Mankind
  
  
• Using Measurements as a Complement to Static Worst-Case Execution Time Analysis
  Ingomar Wenzel, Bernhard Rieder
  Intelligent Systems at the Service of Mankind, Volume 2
  
  
• A Structured Approach for the Systematic Test of Embedded Automotive Communication Systems
  Eric Armengaud, Florian Rothensteiner, Andreas Steininger, Roman Pallierer, Martin Horauer, Martin Zauner
  IEEE International Test Conference (ITC2005)
  
  
• Fault Tolerant Topology Control with unreliable Failure Detectors
  Hannes Stratil
  Proceedings of the 17th International Conference on Parallel and Distributed Computing and Systems
  
  
• Impact of Dependable Software Development Guidelines on Timing Analysis
  Ingomar Wenzel, Martin Schlager, Bernhard Rieder, Bernhard Huber
  EUROCON 2005
  
  
• On the Possibility and the Impossibility of Message-Driven Self-Stabilizing Failure Detection
  Martin Hutle, Josef Widder
  Seventh International Symposium on Self Stabilizing Systems (SSS 2005)
  
  
• Voronoi supported communication in Wireless ad-hoc Networks
  Hannes Stratil
  Second International Symposium on Voronoi Diagrams in Science and Engineering
  
  
• An Efficient Test and Diagnosis Environment for Communication Controllers
  Eric Armengaud, Andreas Steininger, Martin Horauer
  Austrochip 2005
  
  
• Design of an Asynchronous Microprocessor with Four-State Logic
  Martin Delvai, Gottfried Fuchs, Thomas Handl, Wolfgang Huber, Andreas Steininger
  Austrochip 2005
  
  
• Evaluation of a Java Processor
  Martin Schoeberl
  Austrochip 2005
  
  
• Transatlantic Collaboration on Model-Integrated Computing for Dependable Embedded Components and Systems
  Wilfried Elmenreich, Gabor Karsai
  Workshop on the Collaboration between FP6/ISTand NSF/ITR Projects
  
  
• Comparison of Fieldbus Protocols LIN 1.0, LIN 2.0, and TTP/A
  Stefan Krywult, Christian Steiner, Wilfried Elmenreich
  10th IEEE International Conference on Emerging Technologies and Factory Automation
  
  
• Efficient Stimulus Generation for Remote Testing of Distributed Systems - The FlexRay Example
  Eric Armengaud, Andreas Steininger, Martin Horauer
  10th IEEE International Conference on Emerging Technology and Factory Automation (ETFA05)
  
  
• Principles of Timing Anomalies in Superscalar Processors
  Ingomar Wenzel, Bernhard Rieder
  Fifth International Conference on Quality Software (IEEE)
  
  
• A System for Automatic Testing of Embedded Software in Undergraduate Study Exercises
  Voin Legourski, Christian Tr�dhandl, Bettina Weiss
  Workshop on Embedded Systems Education (WESE'05)
  
  
• A Case Study in Efficient Microcontroller Education
  Bettina Weiss, G�nther Gridling, Markus Proske
  Workshop on Embedded Systems Education (WESE'05)
  
  
• Plug-and-Play: Bridging the Semantic Gap Between Application and Transducers
  Stefan Pitzek, Wilfried Elmenreich
  Proceedings of the 10th IEEE International Conference on Emerging Technologies and Factory Automation
  
  
• Specification and Execution of Gateways in Integrated Architectures
  Roman Obermaisser, Philipp Peti
  10th IEEE International Conference on Emerging Technologies and Factory Automation
  
  
• Automatic Generation of Schedules for Time-Triggered Embedded Transducer Networks
  Wilfried Elmenreich, Christian Paukovits, Stefan Pitzek
  10th IEEE International Conference on Emerging Technology and Factory Automation (ETFA05)
  
  
• Benefits and Implications of the DECOS Encapsulation Approach
  Martin Schlager, Erwin Erkinger, Wilfried Elmenreich, Thomas Losert
  8th International IEEE Conference on Intelligent Transportation Systems
  
  
• Integration of two Complementary Time-Triggered Technologies: TMO and TTP
  Roman Obermaisser, Emmanuel Henrich, Kane Kim, Hermann Kopetz
  International Embedded Systems Symposium 2005
  
  
• Brief Announcement: On the Possibility and the Impossibility of Message-Driven Self-Stabilizing Failure Detection
  Martin Hutle, Josef Widder
  Proceedings of the 24th ACM Symposium on Principles of Distributed Computing (PODC'05)
  
  
• Fault-Tolerant Compensation of the Propagation Delay for Hard Real-Time Systems
  Thomas Losert, Martin Schlager, Wilfried Elmenreich
  International Journal of Advanced Computational Intelligence & Intelligent Informatics (JACIII)
  
  
• Classification of Code Annotations and Discussion of Compiler-Support for Worst-Case Execution Time Analysis
  
  5th Euromicro International Workshop on Worst-Case Execution Time Analysis (WCET'05)
  
  
• On the Possibility of Consensus in Asynchronous Systems with Finite Average Response Times
  Christof Fetzer, Martin S��kraut, Ulrich Schmid
  Proceedings of the 25th International Conference on Distributed Computing Systems (ICDCS'05)
  
  
• The Time-Triggered Ethernet (TTE) Design
  Hermann Kopetz, Astrit Ademaj, Petr Grillinger, Klaus Steinhammer
  8th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Seattle, Washington
  
  
• Evaluation of Message Delay Correlation in Distributed Systems
  Daniel Albeseder
  Third International Workshop on Intelligent Solutions in Embedded Systems (WISES2005)
  
  
• Topology Control for Fault-Tolerant Communication in Highly Dynamic Wireless Networks
  Bernd Thallner, Heinrich Moser
  The Third International Workshop on Intelligent Solutions in Embedded Systems (WISES 2005)
  
  
• Measurement-Based Worst-Case Execution Time Analysis
  Ingomar Wenzel, Bernhard Rieder
  3rd IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS) 2005
  
  
• Using RTAI/LXRT for Partitioning in a Prototype Implementation of the DECOS Architecture
  Bernhard Huber, Philipp Peti, Roman Obermaisser, Christian El Salloum
  3rd Workshop on Intelligent Solutions in Embedded Systems (WISES'05), Hamburg, Germany
  
  
• Classification of WCET Analysis Techniques
  
  8th IEEE International Symposium on Object-Oriented Real-time distributed Computing (ISORC'05)
  
  
• Code Analysis for Temporal Predictability
  Jan Gustafsson, Bj�rn Lisper, Peter Puschner
  Journal of Real-Time Systems
  
  
• Failure Detection with Booting in Partially Synchronous Systems
  Josef Widder, G�rard Le Lann, Ulrich Schmid
  Fifth European Dependable Computing Conference (EDCC-5)
  
  
• Virtual Gateways in the DECOS Integrated Architecture
  Roman Obermaisser, Philipp Peti, Hermann Kopetz
  Workshop on Parallel and Distributed Real-Time Systems 2005 (WPDRTS)
  
  
• A Flexible Hardware Architecture for Fast Access on Large Non-Volatile Memories
  Eric Armengaud, Florian Rothensteiner, Andreas Steininger, Martin Horauer
  IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS) 2005
  
  
• A Method for Bit Level Test and Diagnosis of Communication Services
  Eric Armengaud, Andreas Steininger, Martin Horauer
  IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS) 2005
  
  
• Proof-Based System Engineering Using a Virtual System Model
  Martin Biely, G�rard Le Lann, Ulrich Schmid
  Proceedings 2nd International Service Availability Forum (ISAS'05), Berlin, Germany, April 2005 (appeared as Springer LNCS 3694)
  
  
• Design and Implementation of an Efficient Stack Machine
  Martin Schoeberl
  Parallel and Distributed Processing Symposium, 2005. Proceedings. 19th IEEE International (IPDPS)
  
  
• TTA Supported Service Availability
  Hermann Kopetz
  Second International Service Availability Symposium ISAS 2005
  
  
• Automatic Timing Model Generation by CFG Partitioning and Model Checking
  Ingomar Wenzel, Bernhard Rieder
  Conference on Design, Automation and Test in Europe (DATE 2005)
  
  
• Self-Stabilizing Failure Detector Algorithms
  Martin Hutle, Josef Widder
  IASTED International Conference on Parallel and Distributed Computing and Networks (PDCN'05)
  
  
• Designoptimierung eines Prozessors mit Eigenfehlererkennung
  Andreas Steininger, Thomas Kottke
  GMM/ITG Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen
  
  
• Experiments with WCET-Oriented Programming and the Single-Path Architecture
  Peter Puschner
  10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, 2005
  
  
• Configuration and Management of Fieldbus Systems
  Stefan Pitzek, Wilfried Elmenreich
  The Industrial Communication Technology Handbook
  
  
• Dependable Time-Triggered Communication
  Hermann Kopetz, G�nther Bauer, Wilfried Steiner
  The Industrial Communication Technology Handbook
  
  
• A Generic Tool for Systematic Tests in Embedded Automotive Communication Systems
  Roman Pallierer, Martin Horauer, Martin Zauner, Andreas Steininger, Eric Armengaud, Florian Rothensteiner
  Embedded World 2005
  
  
• Time Triggered Communication Networks
  Hermann Kopetz, G�nther Bauer
  Industrial Information Technology Handbook
  
  
• Distributed Construction of an Underlay in Wireless Networks
  Hannes Stratil
  European Workshop on Wireless Sensor Networks, Istanbul, Turkey
  
  
• Virtual Networks in an Integrated Time-Triggered Architecture
  Roman Obermaisser, Philipp Peti, Hermann Kopetz
  10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, 2005
  
  
• Proof-Based Systems Engineering in ASSERT
  G�rard Le Lann, Ulrich Schmid
  Proceedings Data Systems in Aerospace (DASIA'05), May-June 2005, Edinburgh, Scotland
  
  
• Automatic Generation of Application-Specific Systems Based on a Micro-programmed Java Core
  Martin Schoeberl, Flavius Gruian, Per Andersson, Krzysztof Kuchcinski
  Proceedings of the 2005 ACM symposium on Applied computing
  
  
• Real-Time and Hybrid Systems Testing
  Kirsten Berkenk�tter
  Springer Lecture Notes in Computer Science (LNCS) 3472