Paper Server : Real-Time Systems Group

Publications - 2007

• 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
  
  
• A Fail-Silent Reconfigurable Superscalar Processor
  Thomas Kottke, Andreas Steininger
  13th Pacific Rim International Symposium on Dependable Computing (PRDC'07), Melbourne
  
  
• 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
  
  
• 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
  
  
• 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
  
  
• On the Halting Problem of Finite-State Programs
  
  14. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'07)
  
  
• SAFE — A Scalable Environment for Automated Transistor Level Fault Effect Analysis
  Julian Grahsl, Thomas Handl, Andreas Steininger, Gerald Kempf
  Austrochip 2007
  
  
• SimpCon - a Simple and Efficient SoC Interconnect
  Martin Schoeberl
  Proceedings of the 15th Austrian Workhop on Microelectronics, Austrochip 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
  
  
• 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
  
  
• On the Difficulty of Building a Precise Timing Model for Real-Time Programming
  
  14. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'07)
  
  
• Temporal Partitioning of Communication Resources in an Integrated Architecture
  Roman Obermaisser
  IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING
  
  
• On the Difficulty of Building a Precise Timing Model for Real-Time Programming
  Albrecht Kadlec
  KPS' 07
  
  
• 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
  
  
• 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)
  
  
• 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
  
  
• SCCP/x - A Compilation Profile to Support Testing and Verification of Optimized Code
  
  CASES 2007, Salzburg, Austria
  
  
• 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)
  
  
• 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)
  
  
• 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)
  
  
• 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)
  
  
• The Fault Assumptions in Distributed Integrated Architectures
  Roman Obermaisser, Philipp Peti
  SAE AeroTech Congress & Exhibition
  
  
• A Simulation Framework for Virtual Integration of Integrated Systems
  Roman Obermaisser, Martin Schlager
  IEEE Eurocon 2007 Conference
  
  
• Time-Multiplexed Multiple Constant Multiplication
  Peter Tummeltshammer, James C. Hoe, Markus Pueschel
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
  
  
• A Review on System Architectures for Sensor Fusion Applications
  Wilfried Elmenreich
  Lecture Notes in Computer Science
  
  
• Fusion of Continuous-valued Sensor Measurements using Confidence-weighted Averaging
  Wilfried Elmenreich
  Journal of Vibration and Control
  
  
• 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)
  
  
• A Time-Triggered Network-on-Chip
  Martin Schoeberl
  International Conference on Field-Programmable Logic and its Applications (FPL 2007)
  
  
• Time Predictable CPU and DMA Shared Memory Access
  Christof Pitter, Martin Schoeberl
  International Conference on Field-Programmable Logic and its Applications (FPL 2007)
  
  
• Relating Stabilizing Timing Assumptions to Stabilizing Failure Detectors Regarding Solvability and Efficiency
  Lucia Draque Penso, Josef Widder, Martin Biely, Martin Hutle
  
  
• 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
  
  
• SELF-HEALING CIRCUITS FOR SPACE-APPLICATIONS
  Martin Delvai, T. Panhofer
  FPL 2007: International Conference on Field Programmable Logic and Applications
  
  
• Internet Firewalls in the DECOS System-on-a-Chip Architecture
  Armin Wasicek, Wilfried Elmenreich
  Proceedings of the 5th International Conference on Industrial Informatics (INDIN07)
  
  
• WCET Analysis: The Annotation Language Challenge
  Jens Knoop, Adrian Prantl, Markus Schordan, Ingomar Wenzel
  WCET'07, Pisa, Italy
  
  
• 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)
  
  
• Detection of Out-of-Norm Behaviors in Event-Triggered Virtual Networks
  Roman Obermaisser, Philipp Peti
  5th IEEE International Conference on Industrial Informatics (INDIN 2007)
  
  
• Modeling the Function Cache for Worst-Case Execution Time Analysis
  Martin Schoeberl
  44th ACM Design Automation Conference (DAC'07)
  
  
• Hardware Implementation of an SAD based stereo vision algorithm
  K. Ambrosch, Martin Humenberger, Wilfried Kubinger, Andreas Steininger
  Third IEEE Workshop on Embedded Computer Vision
  
  
• Synchronous Consensus with Mortal Byzantines
  Josef Widder, G�nther Gridling, Bettina Weiss, Jean-Paul Blanquart
  International Conference on Dependable Systems and Networks (DSN)
  
  
• 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)
  
  
• 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)
  
  
• 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)
  
  
• Periodic Finite-State Machines
  Hermann Kopetz, Christian El Salloum, Bernhard Huber, Roman Obermaisser
  10th IEEE International symposium on object/component/service-oriented real-time distributed computing
  
  
• 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)
  
  
• 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)
  
  
• Mission Modes for Safety Critical Java
  Martin Schoeberl
  5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems
  
  
• Cross-Platform Verification Framework for Embedded Systems
  Ingomar Wenzel, Bernhard Rieder, Peter Puschner
  SEUS Workshop 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)
  
  
• 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)
  
  
• 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
  
  
• Using a Runtime Measurement Device with Measurement-Based WCET Analysis
  Bernhard Rieder, Ingomar Wenzel, Klaus Steinhammer, Peter Puschner
  International Embedded Systems Sumposium (IESS) 2007
  
  
• A Framework for Hardware-in-the-Loop Testing of an Integrated Architecture
  Martin Schlager, Roman Obermaisser, Wilfried Elmenreich
  Lecture Notes in Computer Science
  
  
• The ARTEMIS Cross-Domain Architecture for Embedded Systems
  Hermann Kopetz
  Design, Automation & Test in Europe Conference & Exhibition, 2007. DATE '07
  
  
• 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
  
  
• HIS/VectorCAN Driver API on Top of a Time-Triggered Communication Protocol
  Roman Obermaisser, Dominique Riezler
  Proc. of the SAE World Congress & Exhibition
  
  
• 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
  
  
• Interface Design for Real-Time Smart Transducer Networks - Examining COSMIC, LIN, and TTP/A as Case Study
  Wilfried Elmenreich, Hubert Piontek, J�rg Kaiser
  15th International Conference on Real-Time and Network Systems
  
  
• Towards a Systematic Design of Fault-Tolerant Asynchronous Circuits
  Ulrich Schmid, Andreas Steininger, Helmut Veith
  Fachtagung Zuverlässigkeit und Entwurf
  
  
• Vergleich zwischen Sicherheit und Performanz rekonfigurierbarer Prozessorsysteme
  Thomas Kottke, Andreas Steininger
  19. GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen, Erlangen
  
  
• 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
  
  
• Abstraction Techniques for Extracted Automata Models
  Susanne Kandl
  Proceedings of the Junior Researcher Workshop on Real-Time Computing 2007
  
  
• FIT-IT Projekt DARTS: Dezentrale fehlertolerante Taktgenerierung
  Ulrich Schmid, Andreas Steininger, Manfred Sust
  elektrotechnik und informationstechnik, Heft 1-2, 2007
  
  
• A Novel Interconnection Approach for Globally Asynchronous Locally Synchronous Circuits
  Wolfgang Forster, Eric Armengaud
  The 15th Austrian Workhop on Microelectronics, Austrochip 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.