Paper Server : Real-Time Systems Group

Research Reports - 2005

• 1/2005 : Distributed Construction of an Underlay in Wireless Networks
  Hannes Stratil
  European Workshop on Wireless Sensor Networks, Istanbul, Turkey
  
  Get EWSN2005.pdf (143.60KB)
  
  
• 2/2005 : A Generic Dual Core Architecture with Error Containment
  Thomas Kottke, Andreas Steininger
  Computing and Informatics
  
  Get CAI_A_Generic_Dual_Core_Architecture.pdf (234.91KB)
  
  
• 3/2005 : Designoptimierung eines Prozessors mit Eigenfehlererkennung
  Andreas Steininger, Thomas Kottke
  GMM/ITG Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen
  
  Get skalar_SPEAR.pdf (111.91KB)
  
  
• 4/2005 : Experiments with WCET-Oriented Programming and the Single-Path Architecture
  Peter Puschner
  10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, 2005
  
  Get paper_puschner_words2005.pdf (48.90KB)
  
  
• 5/2005 : Failure Detection with Booting in Partially Synchronous Systems
  Josef Widder, G�rard Le Lann, Ulrich Schmid
  Fifth European Dependable Computing Conference (EDCC-5)
  
  Get edcc.pdf (183.47KB; (c) Springer Verlag)
  
  
• 6/2005 : 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
  
  Get Kopetz_TTE.pdf (150.61KB)
  
  
• 7/2005 : Time Triggered Communication Networks
  Hermann Kopetz, G�nther Bauer
  Industrial Information Technology Handbook
  
  
  
• 9/2005 : 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)
  
  Get paper_wises05.pdf (174.40KB)
  
  
• 10/2005 : Virtual Gateways in the DECOS Integrated Architecture
  Roman Obermaisser, Philipp Peti, Hermann Kopetz
  Workshop on Parallel and Distributed Real-Time Systems 2005 (WPDRTS)
  
  
  
• 15/2005 : 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
  
  
  
• 16/2005 : Configuration and Management of Fieldbus Systems
  Stefan Pitzek, Wilfried Elmenreich
  The Industrial Communication Technology Handbook
  
  
  
• 18/2005 : The limitations of Delay Insensitive Asynchronous Pipeline Implementation at the Example of Four State Logic
  Wolfgang Huber, Andreas Steininger, Martin Delvai
  
  Get paper.pdf (200.79KB)
  
  
• 19/2005 : 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
  (received the Jan Hlavicka prize (best paper award from the area of design))
  
  Get steacs_MemoryArchitecture.pdf (245.47KB)
  
  
• 20/2005 : 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)
  
  Get ITC_Steacs.pdf (153.48KB)
  
  
• 21/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
  
  Get steacs_BitAccess.pdf (207.09KB)
  
  
• 22/2005 : Dependable Time-Triggered Communication
  Hermann Kopetz, G�nther Bauer, Wilfried Steiner
  The Industrial Communication Technology Handbook
  
  
  
• 23/2005 : Evaluation of Message Delay Correlation in Distributed Systems
  Daniel Albeseder
  Third International Workshop on Intelligent Solutions in Embedded Systems (WISES2005)
  
  Get da_wises_final.ps.gz (71.60KB)
  Get da_wises_final.pdf (241.55KB)
  
  
• 24/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
  
  
  
• 25/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)
  
  
  
• 26/2005 : 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
  
  Get EmbWorld_2005_farbe.pdf (201.00KB)
  
  
• 27/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)
  (Announcement of RR 34/2004)
  
  Get ba121-hutle.pdf (47.25KB)
  Get ba121-hutle.ps (110.55KB)
  
  
• 28/2005 : How to Implement a Time-Free Perfect Failure Detector in Partially Synchronous Systems
  G�rard Le Lann, Ulrich Schmid
  
  Get fd.pdf (251.79KB)
  
  
• 29/2005 : Scheduling Tool for Reconfigurable Time-Triggered Embedded Sensor Networks
  Wilfried Elmenreich, Christian Paukovits, Stefan Pitzek
  
  Get scheduling_rt_systems-1.pdf (106.27KB)
  
  
• 30/2005 : Integration of two Complementary Time-Triggered Technologies: TMO and TTP
  Roman Obermaisser, Emmanuel Henrich, Kane Kim, Hermann Kopetz
  International Embedded Systems Symposium 2005
  
  
  
• 31/2005 : Concept Comprehension in Computer Science - A Literature Survey
  Bernhard Rumpler
  
  Get dc.pdf (97.45KB)
  
  
• 32/2005 : 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)
  
  Get etfa05.pdf (157.43KB)
  
  
• 33/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
  
  Get wenzel-measurement-based.pdf (583.60KB)
  
  
• 35/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
  
  Get wises2005_partitioning.pdf (816.02KB)
  
  
• 36/2005 : 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
  
  
  
• 38/2005 : 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)
  
  Get losert_Fault-Tolerant Compensation of the Propagation Delay for Hard Real-Time Systems.pdf (146.31KB)
  
  
• 39/2005 : Classification of WCET Analysis Techniques
  
  8th IEEE International Symposium on Object-Oriented Real-time distributed Computing (ISORC'05)
  
  Get isorc_05.pdf (113.49KB)
  
  
• 40/2005 : 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)
  
  Get kirner_wcet05.pdf (141.36KB)
  
  
• 42/2005 : 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
  
  
  
• 43/2005 : Design and Implementation of an Efficient Stack Machine
  Martin Schoeberl
  Parallel and Distributed Processing Symposium, 2005. Proceedings. 19th IEEE International (IPDPS)
  
  
  
• 44/2005 : 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
  
  
  
• 46/2005 : Voronoi supported communication in Wireless ad-hoc Networks
  Hannes Stratil
  Second International Symposium on Voronoi Diagrams in Science and Engineering
  
  Get VD2005-06.pdf (133.03KB)
  
  
• 47/2005 : Fault Tolerant Topology Control with unreliable Failure Detectors
  Hannes Stratil
  Proceedings of the 17th International Conference on Parallel and Distributed Computing and Systems
  
  Get 466-812.pdf (75.57KB)
  
  
• 48/2005 : Real-Time and Hybrid Systems Testing
  Kirsten Berkenk�tter
  Springer Lecture Notes in Computer Science (LNCS) 3472
  ((c) Springer-Verlag)
  
  Get kirner_motres2005.pdf (500.47KB; (c) Springer-Verlag)
  
  
• 49/2005 : The Theta-Model: Achieving Synchrony without Clocks
  Josef Widder, Ulrich Schmid
  Distributed Computing
  
  Get paper.pdf (331.46KB)
  
  
• 50/2005 : TTA Supported Service Availability
  Hermann Kopetz
  Second International Service Availability Symposium ISAS 2005
  
  
  
• 51/2005 : An Efficient Test and Diagnosis Environment for Communication Controllers
  Eric Armengaud, Andreas Steininger, Martin Horauer
  Austrochip 2005
  
  Get armengaud_efficient_test.pdf (196.63KB)
  
  
• 52/2005 : Evaluation of a Java Processor
  Martin Schoeberl
  Austrochip 2005
  
  
  
• 53/2005 : A Strategy for Experimental Fault Injection into an Asynchronous Processor
  Babak Rahbaran, Andreas Steininger
  (submission to DFT05)
  
  
  
• 54/2005 : Resource Specification of the DECOS Integrated Architecture
  Bernhard Huber, Roman Obermaisser, Philipp Peti, Christian El Salloum
  
  Get rr_DECOS_HW_Spec.pdf (429.18KB)
  
  
• 55/2005 : Experimental Estimation of Failure Probability of a Quad Modular Redundancy in Time-Triggered Systems
  Astrit Ademaj, Hermann Kopetz, Kurt Lamedschwandner
  
  
  
• 56/2005 : Principles of Timing Anomalies in Superscalar Processors
  Ingomar Wenzel, Bernhard Rieder
  Fifth International Conference on Quality Software (IEEE)
  (to appear)
  
  
  
• 57/2005 : Model-Checking Studies of the FlexRay Startup Algorithm
  Wilfried Steiner
  
  Get FlexRay-Startup.tar.gz (664.45KB)
  
  
• 60/2005 : 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)
  
  Get rr-60-2000.ps (632.11KB)
  
  
• 61/2005 : A Case Study in Efficient Microcontroller Education
  Bettina Weiss, G�nther Gridling, Markus Proske
  Workshop on Embedded Systems Education (WESE'05)
  
  Get rr-61-2005.pdf (1112.37KB)
  
  
• 62/2005 : SIDERA - a Simulation Model for Time-Triggered Distributed Systems
  Alexander Hanzlik
  International Review on Computers and Software (IRECOS)
  
  Get Sidera.pdf (474.57KB)
  
  
• 64/2005 : 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
  
  Get ssd_submission.pdf (165.70KB)
  
  
• 66/2005 : Specification and Execution of Gateways in Integrated Architectures
  Roman Obermaisser, Philipp Peti
  10th IEEE International Conference on Emerging Technologies and Factory Automation
  
  Get rr_66_2005.pdf (333.17KB)
  
  
• 67/2005 : Impact of Dependable Software Development Guidelines on Timing Analysis
  Ingomar Wenzel, Martin Schlager, Bernhard Rieder, Bernhard Huber
  EUROCON 2005
  
  
  
• 69/2005 : Design of an Asynchronous Microprocessor with Four-State Logic
  Martin Delvai, Gottfried Fuchs, Thomas Handl, Wolfgang Huber, Andreas Steininger
  Austrochip 2005
  
  Get austrochip05.pdf (119.51KB)
  
  
• 71/2005 : 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)
  
  Get preprint_icdcs2005.pdf (215.01KB)
  
  
• 72/2005 : Cognitive Complexity of Computer Architectures -- Designing Understandable Systems
  Bernhard Rumpler
  
  Get paper.pdf (36.75KB)
  Get paper.pdf (36.75KB)
  
  
• 73/2005 : Complexity Management for Composable Real-Time Systems
  Bernhard Rumpler
  Proceedings of the 9th IEEE International Symposium on Object and component-oriented Real-time distributed Computing (ISORC06)
  
  Get rumpler-ComplexityManagement.pdf (150.23KB)
  
  
• 74/2005 : Chasing the Weakest System Model for Implementing Omega and Consensus
  Martin Hutle, Dahlia Malkhi, Ulrich Schmid, Lidong Zhou
  IEEE Transactions on Dependable and Secure Computing 6(4), 2009, p. 269-281
  
  Get paper.pdf (1069.25KB)
  
  
• 77/2005 : Small PC-Network Simulation -- A comprehensive Performance Case Study
  Daniel Albeseder, Matthias Fuegger
  
  
  
• 78/2005 : Topology Control for Fault-Tolerant Communication in Wireless Ad-Hoc Networks
  Bernd Thallner, Heinrich Moser, Ulrich Schmid
  
  Get journal.pdf (301.85KB)
  
  
• 79/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
  
  Get elmenreich2005-79.pdf (146.16KB)
  
  
• 80/2005 : Benefits and Implications of the DECOS Encapsulation Approach
  Martin Schlager, Erwin Erkinger, Wilfried Elmenreich, Thomas Losert
  8th International IEEE Conference on Intelligent Transportation Systems