Paper Server : Real-Time Systems Group

Research Reports - 2007

• 1/2007 : FIT-IT Project Proposal ESiA: Embedded Systems in Action
  Ulrich Schmid, Markus Proske
  
  Get ESiA.pdf (174.06KB)
  
  
• 2/2007 : A Fault-Tolerant Distributed Algorithms Perspective of Systems-on-Chip
  Andreas Steininger, Ulrich Schmid, Matthias Fuegger, Gottfried Fuchs
  
  
  
• 4/2007 : Mission Modes for Safety Critical Java
  Martin Schoeberl
  5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems
  
  Get scjava_modes.pdf (88.70KB)
  
  
• 9/2007 : A Profile for Safety Critical Java
  Martin Schoeberl, Hans Sondergaard, Bent Thomsen, Anders P. Ravn
  10th IEEE International Symposium on Object and component-oriented Real-time distributed Computing (ISORC2007)
  
  Get scjava_isorc2007.pdf (128.58KB)
  
  
• 11/2007 : Towards a Systematic Design of Fault-Tolerant Asynchronous Circuits
  Ulrich Schmid, Andreas Steininger, Helmut Veith
  Fachtagung Zuverlässigkeit und Entwurf
  
  Get paper.pdf (46.39KB)
  
  
• 14/2007 : Validation of an Transparent Online Test Approach for Time-Triggered Communication Systems
  Eric Armengaud
  
  
  
• 16/2007 : Tolerating Arbitrary Failures in a Master-Slave Clock-Rate Correction Mechanism for Time-Triggered Fault-Tolerant Distributed Systems with Atomic Broadcast
  Astrit Ademaj, Alexander Hanzlik, Hermann Kopetz
  15th International Conference on Real-Time and Network Systems
  
  Get rtns07_Ademaj.pdf (577.35KB)
  
  
• 17/2007 : Towards a real-time distributed computing model
  Heinrich Moser
  
  Get journal.pdf (391.90KB)
  
  
• 18/2007 : Automated Formal Verification and Testing of C Programs for Embedded Systems
  Susanne Kandl, Peter Puschner
  10th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'07)
  
  Get kandl_AutFormVerifCES.pdf (226.14KB)
  
  
• 20/2007 : FIT-IT Projekt DARTS: Dezentrale fehlertolerante Taktgenerierung
  Ulrich Schmid, Andreas Steininger, Manfred Sust
  elektrotechnik und informationstechnik, Heft 1-2, 2007
  
  Get schmid_IKT_issue_rev2.pdf (198.21KB)
  
  
• 21/2007 : A Fail-Silent Reconfigurable Superscalar Processor
  Thomas Kottke, Andreas Steininger
  13th Pacific Rim International Symposium on Dependable Computing (PRDC'07), Melbourne
  
  Get ICIS_superscalar_anonym.pdf (132.29KB)
  
  
• 22/2007 : Vergleich zwischen Sicherheit und Performanz rekonfigurierbarer Prozessorsysteme
  Thomas Kottke, Andreas Steininger
  19. GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen, Erlangen
  (Poster)
  
  
  
• 23/2007 : An Efficient Test Strategy for a Fault-Tolerant Clock Generator for Systems-on-Chip
  Thomas Handl, Andreas Steininger
  19. GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen, Erlangen
  
  Get TuZ07.pdf (251.62KB)
  
  
• 24/2007 : Cross-Platform Verification Framework for Embedded Systems
  Ingomar Wenzel, Bernhard Rieder, Peter Puschner
  SEUS Workshop 2007
  
  Get paper.pdf (124.33KB)
  
  
• 25/2007 : Abstraction Techniques for Extracted Automata Models
  Susanne Kandl
  Proceedings of the Junior Researcher Workshop on Real-Time Computing 2007
  
  Get kandl_nancy_final.pdf (52.46KB)
  
  
• 26/2007 : Internet Firewalls in the DECOS System-on-a-Chip Architecture
  Armin Wasicek, Wilfried Elmenreich
  Proceedings of the 5th International Conference on Industrial Informatics (INDIN07)
  
  Get wasicek_decos-inetfw (500.80KB; Camera-ready version)
  Get wasicek_decos-inetfw.pdf (508.06KB)
  
  
• 28/2007 : Time-Predictable Task Preemption for Real-Time Systems with Direct-Mapped Instruction Cache
  Peter Puschner
  10th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'07)
  
  Get rr-2007-28_isorc07.pdf (123.97KB)
  
  
• 29/2007 : Modeling the Function Cache for Worst-Case Execution Time Analysis
  Martin Schoeberl
  44th ACM Design Automation Conference (DAC'07)
  
  Get rr-2007-29_dac07.pdf (145.28KB)
  
  
• 30/2007 : Hardware Implementation of an SAD based stereo vision algorithm
  K. Ambrosch, Martin Humenberger, Wilfried Kubinger, Andreas Steininger
  Third IEEE Workshop on Embedded Computer Vision
  
  
  
• 31/2007 : The Effect of Quartz Drift on Convergence-Average based Clock Synchronization
  Eric Armengaud, Andreas Steininger, Alexander Hanzlik
  12th IEEE Conference on Emerging Technologies and Factory Automation
  
  
  
• 32/2007 : Model-Based Development of Integrated Computer Systems: Modeling the Execution Platform
  Bernhard Huber, Roman Obermaisser
  5th International Workshop on Intelligent Solutions in Embedded Systems (WISES'07)
  
  Get wises07.pdf (693.76KB)
  
  
• 33/2007 : Automotive Software Development for a Multi-Core System-on-a-Chip
  Hermann Kopetz, Roman Obermaisser, Christian El Salloum, Bernhard Huber
  4th International ICSE workshop on Software Engineering for Automotive Systems (SEAS'07)
  
  Get Autosoft.pdf (73.95KB)
  
  
• 34/2007 : Error Containment in the Time-Triggered System-On-a-Chip Architecture
  Roman Obermaisser, Hermann Kopetz, Christian El Salloum, Bernhard Huber
  International Embedded Systems Symposium (IESS'07)
  
  Get ecr.pdf (137.26KB)
  
  
• 35/2007 : Tolerating Corrupted Communication
  Martin Biely, Bernadette Charron-Bost, Antoine Gaillard, Martin Hutle, Andr� Schiper, Josef Widder
  26th ACM Symposium on Principles of Distributed Computing (PODC'07)
  (Also published as EPFL Research Report ##/2007)
  
  Get main.pdf (234.86KB)
  
  
• 36/2007 : A time-triggered system-on-a-chip architecture with integrated support for diagnosis
  Christian El Salloum, Roman Obermaisser, Bernhard Huber, Harald Paulitsch, Hermann Kopetz
  DATE'07 Workshop on
  
  
  
• 37/2007 : A Time-Triggered Network-on-Chip
  Martin Schoeberl
  International Conference on Field-Programmable Logic and its Applications (FPL 2007)
  
  Get ttnoc_fpl2007.pdf (174.56KB)
  
  
• 38/2007 : Time Predictable CPU and DMA Shared Memory Access
  Christof Pitter, Martin Schoeberl
  International Conference on Field-Programmable Logic and its Applications (FPL 2007)
  
  
  
• 39/2007 : A Comparison of Partitioning Operating Systems for Integrated Systems
  Bernhard Leiner, Martin Schlager, Roman Obermaisser, Bernhard Huber
  26th International Conference on Computer Safety, Reliability and Security (SAFECOMP'07)
  
  Get rr-39-2007.pdf (289.65KB)
  
  
• 40/2007 : Concepts and Tools for the Test of the Communication Sub-System of Time-Triggered Distributed Embedded Systems
  Martin Horauer, Eric Armengaud, Andreas Steininger
  ASME 2007 International Conference on Design Engineering Technical Conferences & Computers and Information in Engineering
  (best paper award)
  
  
  
• 41/2007 : Selected Experiments for Testing the Robustness of the FlexRay Clock Synchronization Algorithm
  Eric Armengaud
  
  
  
• 42/2007 : Synchronous Consensus with Mortal Byzantines
  Josef Widder, G�nther Gridling, Bettina Weiss, Jean-Paul Blanquart
  International Conference on Dependable Systems and Networks (DSN)
  
  Get rr42-2007.ps (230.88KB)
  
  
• 43/2007 : Formal Requirements for Structural Code-Coverage Preservation of Code Optimization: The SCCP/x Framework
  
  (extended version of the CASES'07 paper (last update: 12/12/2007))
  
  Get paper_TR-2007-43_update_20071212.pdf (240.09KB)
  
  
• 44/2007 : A Novel Interconnection Approach for Globally Asynchronous Locally Synchronous Circuits
  Wolfgang Forster, Eric Armengaud
  The 15th Austrian Workhop on Microelectronics, Austrochip 2007
  
  Get extract_2007_austrochip.pdf (126.98KB)
  
  
• 45/2007 : SCCP/x - A Compilation Profile to Support Testing and Verification of Optimized Code
  
  CASES 2007, Salzburg, Austria
  
  Get rr-2007-45_cases07.pdf (214.62KB)
  
  
• 46/2007 : WCET Analysis: The Annotation Language Challenge
  Jens Knoop, Adrian Prantl, Markus Schordan, Ingomar Wenzel
  WCET'07, Pisa, Italy
  
  
  
• 47/2007 : Fixed Point Library According to ISO/IEC Standard DTR 18037 for Atmel AVR Processors
  Wilfried Elmenreich, Rosenblattl Maximilian, Andreas Wolf
  Proceedings of the Fifth International Workshop on Intelligent Solutions in Embedded System (WISES'07)
  
  
  
• 49/2007 : A Diagnostic Unit for the time-triggered System-on-a-Chip architecture
  Harald Paulitsch, Roman Obermaisser, Christian El Salloum, Bernhard Huber, Hermann Kopetz
  Design, Automation and Test in Europe (DATE) 2007 Workshop
  
  
  
• 50/2007 : picoJava-II in an FPGA
  Wolfgang Puffitsch, Martin Schoeberl
  Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems (JTRES 2007)
  
  Get pjfpga_final.pdf (305.75KB)
  
  
• 51/2007 : Architecture for Object Oriented Programming Languages
  Martin Schoeberl
  Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems (JTRES 2007)
  
  Get oohw_final.pdf (134.71KB)
  
  
• 52/2007 : Towards a Java Multiprocessor
  Christof Pitter, Martin Schoeberl
  Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems (JTRES 2007)
  
  Get jopcmp_jtres07.pdf (252.46KB)
  
  
• 53/2007 : Garbage Collection for Safety Critical Java
  Martin Schoeberl, Jan Vitek
  Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems (JTRES 2007)
  
  Get scjgc_final.pdf (167.18KB)
  
  
• 54/2007 : Relating Stabilizing Timing Assumptions to Stabilizing Failure Detectors Regarding Solvability and Efficiency
  Lucia Draque Penso, Josef Widder, Martin Biely, Martin Hutle
  (Full version (including proofs) of the paper appearing at the 9th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Paris, Nov. 2007)
  
  Get paper.ps (493.59KB)
  
  
• 55/2007 : The Complexity Challenge in Embedded System Design
  Hermann Kopetz
  Technical Report
  
  Get 071108Complexity.pdf (517.88KB)
  
  
• 56/2007 : Booting Clock Synchronization in Partially Synchronous Systems with Hybrid Process and Link Failures
  Josef Widder, Ulrich Schmid
  Distributed Computing, 20:2, pages 115--140, Springer Verlag
  (Revised Version of Technical Report 183/1-126, Department of Automation, Technische Universität Wien, Jan. 2003)
  
  Get journal.pdf (331.46KB)
  
  
• 57/2007 : SAFE — A Scalable Environment for Automated Transistor Level Fault Effect Analysis
  Julian Grahsl, Thomas Handl, Andreas Steininger, Gerald Kempf
  Austrochip 2007
  
  Get austrochip07.pdf (297.65KB)
  
  
• 58/2007 : SimpCon - a Simple and Efficient SoC Interconnect
  Martin Schoeberl
  Proceedings of the 15th Austrian Workhop on Microelectronics, Austrochip 2007
  
  Get simpcon_austrochip2007.pdf (147.92KB)
  
  
• 59/2007 : Clock Synchronization in the Byzantine-Recovery Failure Model
  Emmanuelle Anceaume, Carole Delporte-Gallet, Hugues Fauconnier, Michel Hurfin, Josef Widder
  International Conference On Principles Of DIstributed Systems OPODIS 2007
  
  Get tr.pdf (230.99KB)
  
  
• 60/2007 : On the Halting Problem of Finite-State Programs
  
  14. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'07)
  
  Get rr-2007-60_kps07_halting.pdf (155.89KB)
  
  
• 63/2007 : The Fault Assumptions in Distributed Integrated Architectures
  Roman Obermaisser, Philipp Peti
  SAE AeroTech Congress & Exhibition
  
  Get saehypo.pdf (271.15KB)
  
  
• 64/2007 : A Simulation Framework for Virtual Integration of Integrated Systems
  Roman Obermaisser, Martin Schlager
  IEEE Eurocon 2007 Conference
  
  Get simulation-framework.pdf (1026.82KB)
  
  
• 65/2007 : End-to-End Delays of Event-Triggered Overlay Networks in a Time-Triggered Architecture
  Roman Obermaisser
  5th IEEE International Conference on Industrial Informatics (INDIN 2007)
  
  Get analytical.pdf (312.41KB)
  
  
• 66/2007 : Detection of Out-of-Norm Behaviors in Event-Triggered Virtual Networks
  Roman Obermaisser, Philipp Peti
  5th IEEE International Conference on Industrial Informatics (INDIN 2007)
  
  Get diag.pdf (477.64KB)
  
  
• 68/2007 : A Systematic Test for Embedded Automotive Communication Systems
  Eric Armengaud, Andreas Steininger, Martin Horauer
  (compilation of STEACS results (long version))
  
  
  
• 71/2007 : Time-Multiplexed Multiple Constant Multiplication
  Peter Tummeltshammer, James C. Hoe, Markus Pueschel
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
  
  Get paper.pdf (350.00KB)
  
  
• 72/2007 : Experimental Evaluation of the FlexRay Clock Synchronization Service
  Eric Armengaud
  20. Workshop für Testmethoden und Zuverlässigkeit von Schaltungen und Systemen
  (re-worked version of # 41/2007 : "Selected Experiments for Testing the Robustness of the FlexRay Clock Synchronization Algorithm")
  
  
  
• 73/2007 : Adopting the Scan Approach for a Fault Tolerant Asynchronous Clock Generation Circuit
  Thomas Handl, Andreas Steininger, Gerald Kempf
  2nd IEEE International Design and Test Workshop
  
  Get IDT07.pdf (176.39KB)
  
  
• 74/2007 : Using a Runtime Measurement Device with Measurement-Based WCET Analysis
  Bernhard Rieder, Ingomar Wenzel, Klaus Steinhammer, Peter Puschner
  International Embedded Systems Sumposium (IESS) 2007
  
  
  
• 78/2007 : SELF-HEALING CIRCUITS FOR SPACE-APPLICATIONS
  Martin Delvai, T. Panhofer
  FPL 2007: International Conference on Field Programmable Logic and Applications
  (Short paper - PhD forum submission)
  
  
  
• 80/2007 : HIS/VectorCAN Driver API on Top of a Time-Triggered Communication Protocol
  Roman Obermaisser, Dominique Riezler
  Proc. of the SAE World Congress & Exhibition
  
  Get 07AE-290.pdf (253.04KB)
  
  
• 81/2007 : Time-Triggered Ethernet and IEEE 1588 Clock Synchronization
  Astrit Ademaj, Hermann Kopetz
  International IEEE Symposium on Precision Clock Synchronization for Measurement, Control and Communication
  
  Get TTE_AA_ISPCS_1588_paper.pdf (142.43KB)
  
  
• 85/2007 : Keynote: A Perspective of Fault-Tolerant Clock Synchronization
  Ulrich Schmid
  IEEE Symposium on Precision Clock Synchronization for Measurement, Control and Communication (ISPCS'07), October 1-3, 2007, Vienna
  
  Get ispcs.pdf (1070.05KB)
  
  
• 86/2007 : On the Difficulty of Building a Precise Timing Model for Real-Time Programming
  
  14. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'07)
  
  Get kadlec.pdf (134.67KB)
  
  
• 87/2007 : 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
  
  Get leidenfrost_elmenreich_Establishing Wireless Time-Triggered Communication using a Firefly Clock Synchronization Approach.pdf (725.99KB)
  
  
• 88/2007 : A Framework for Hardware-in-the-Loop Testing of an Integrated Architecture
  Martin Schlager, Roman Obermaisser, Wilfried Elmenreich
  Lecture Notes in Computer Science
  (Presented at the 5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems (SEUS 2007),Santorini, Greece, May, 2007)
  
  
  
• 89/2007 : 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
  
  Get paper_hl.pdf (200.50KB)
  
  
• 90/2007 : Temporal Partitioning of Communication Resources in an Integrated Architecture
  Roman Obermaisser
  IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING
  
  Get rr-90-2007.pdf (729.87KB)
  
  
• 91/2007 : Modeling and Verification of Distributed Real-Time Systems using Periodic Finite State Machines
  Roman Obermaisser, Christian El Salloum, Bernhard Huber, Hermann Kopetz
  Journal of Computer Systems Science & Engineering
  
  Get rr-91-2007.pdf (265.51KB)
  
  
• 92/2007 : A Review on System Architectures for Sensor Fusion Applications
  Wilfried Elmenreich
  Lecture Notes in Computer Science
  (Presented at the 5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems (SEUS 2007),Santorini, Greece, May, 2007)
  
  
  
• 93/2007 : Fusion of Continuous-valued Sensor Measurements using Confidence-weighted Averaging
  Wilfried Elmenreich
  Journal of Vibration and Control
  
  
  
• 95/2007 : An Integrated Architecture for Future Car Generations
  Roman Obermaisser, Philipp Peti, Fulvio Tagliabo
  Real-Time Systems Journal, Volume 36, 2007, pages 101–133, Springer.
  
  Get rr-95-2007.pdf (365.02KB)