Paper Server : Real-Time Systems Group

Publications - 2009

• Worst-case execution time analysis for a Java processor
  Martin Schoeberl, Wolfgang Puffitsch, Rasmus Pedersen, Benedikt Huber
  Software: Practice and Experience
  
  
• How to Speed-up Fault-Tolerant Clock Generation in VLSI Systems-on-Chip via Pipelining
  Matthias Fuegger, Andreas Dielacher, Ulrich Schmid
  EDCC 2010
  
  
• A New Robust Interference Reduction Scheme for Low Complexity Direct-Sequence Spread-Spectrum Receivers: Optimization
  Alois Goiser, Samar Khattab, Gerhard Fassl, Ulrich Schmid
  Proceedings 3rd International IEEE Conference on Communication Theory, Reliability, and Quality of Service (CTRQ'10), Athens, Greece, June 2010.
  
  
• A New Robust Interference Reduction Scheme for Low Complexity Direct-Sequence Spread-Spectrum Receivers: Performance
  Samar Khattab, Alois Goiser, Gerhard Fassl, Ulrich Schmid
  Proceedings 3rd International IEEE Conference on Communication Theory, Reliability, and Quality of Service (CTRQ'10), Athens, Greece, June 2010.
  
  
• Cross-profiling for Java processors
  Walter Binder, Martin Schoeberl, Philippe Moret, Alex Villazon
  Software: Practice and Experience
  
  
• Speeding up Fault Injection for Asynchronous Logic by FPGA-based Emulation
  Marcus Jeitler, Jakob Lechner
  2009 International Conference on ReConFigurable Computing and FPGAs, ReConFig'09
  
  
• Towards Comparing the Robustness of Synchronous and Asynchronous Circuits by Fault Injection
  Marcus Jeitler, Jakob Lechner
  Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09)
  
  
• A Single-Path Chip-Multiprocessor System
  Martin Schoeberl, Peter Puschner
  Proceedings of the Seventh IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2009)
  
  
• Towards Time-predictable Data Caches for Chip-Multiprocessors
  Martin Schoeberl, Wolfgang Puffitsch, Benedikt Huber
  Proceedings of the Seventh IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2009)
  
  
• Model-Based Development of MPSoCs with Support for Early Validation
  Roman Obermaisser, Philipp Gutwenger
  Proceedings of the 35th Annual Conference of the IEEE Industrial Electronics Society (IECON 2009)
  
  
• A Metastability-Free Multi-Synchronous Communication Scheme for SoCs
  Thomas Polzer, Thomas Handl, Andreas Steininger
  Symposium on Stabilization, Safety, and Security of Distributed Systems, 2009
  
  
• Comparing the Robustness of Synchronous and Asynchronous Circuits by Fault Injection
  Marcus Jeitler, Jakob Lechner
  5th Doctorial Workshop on Mathematical and Engineering Methods in Computer Science
  
  
• 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
  
  
• Is Asynchronous Logic More Robust than Synchronous Logic?
  Babak Rahbaran, Andreas Steininger
  IEEE Transactions on Dependable and Secure Computing
  
  
• An ARTEMIS Cross-Domain Embedded System Architecture and Its Instantiation for Real-Time Automotive Applications
  Bernhard Huber, Roman Obermaisser
  Proceedings of the 30th IFAC Workshop on Real-Time Programming and 4th International Workshop on Real-Time Software
  
  
• GENESYS (GENeric Embedded SYStem) - A Candidate for an ARTEMIS Cross-Domain Reference Architecture for Embedded Systems
  Roman Obermaisser, Hermann Kopetz, Sibylle Kuster
  ARTEMIS Magazine, Number 5, pp. 32-34
  
  
• Educational Case Studies with an Open Source Embedded Real-Time Java Processor
  Rasmus Pedersen, Martin Schoeberl
  Proceedings of the Workshop on Embedded Systems Education (WESE 2009)
  
  
• A Disruptive Computer Design Idea: Architectures with Repeatable Timing
  Stephen A. Edwards, Sungjun Kim, Edward A. Lee, Isaac Liu, Hiren D. Patel, Martin Schoeberl
  Proceedings of IEEE International Conference on Computer Design (ICCD 2009)
  
  
• Automatic Calculation of Coverage Profiles for Coverage-based Testing
  Walter Haas
  15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009)
  
  
• Single-Path Programming on a Chip-Multiprocessor System
  Martin Schoeberl, Peter Puschner
  Workshop on Reconciling Performance with Predictability (RePP 2009)
  
  
• Towards Adaptable Control Flow Segmentation for measurement-Based Execution Time Analysis
  Michael Zolda, Sven Bünte
  17th International Conference on Real-Time and Network Systems (RTNS 2009)
  
  
• Coupling Asynchronous Signals into Asynchronous Logic
  Markus Ferringer
  Austrochip 2009
  
  
• Soft Error Tolerant Asynchronous Circuits based on Dual Redundant Four State Logic
  Werner Friesenbichler, Thomas Panhofer, Andreas Steininger
  Euromicro Conference on Digital System Design (DSD 2009)
  
  
• Design Space Exploration for Java Processors with Cross-Profiling
  Martin Schoeberl, Walter Binder, Philippe Moret, Alex Villazon
  Proceedings of the 6th International Conference on the Quantitative Evaluation of SysTems (QEST 2009)
  
  
• Using Hardware Methods to Improve Time-predictable Performance in Real-time Java Systems
  Jack Whitham, Neil Audsley, Martin Schoeberl
  Proceedings of the 7th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2009)
  
  
• Data Caching, Garbage Collection, and the Java Memory Model
  Wolfgang Puffitsch
  Proceedings of the 7th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2009)
  
  
• A Hardware Abstraction Layer in Java
  Martin Schoeberl, Stephan Korsholm, Tomas Kalibera, Anders P. Ravn
  Trans. on Embedded Computing Sys.
  
  
• Fault and Error Containment of Gateways in Distributed Real-Time Systems
  Roman Obermaisser
  Journal of Software (JSW), Academy Publisher, Volume 4, Issue 7, pp. 686-695
  
  
• Analyzing Performance and Dynamic Behavior of Embedded Java Software with Calling-Context Cross-Profiling
  Philippe Moret, Walter Binder, Martin Schoeberl, Alex Villazon, Danilo Ansaloni
  Proceedings of the 7th International Conference on the Principles and Practice of Programming in Java (PPPJ 2009)
  
  
• JOP Reference Handbook
  Martin Schoeberl
  CreateSpace
  
  
• A Comparison of NoTA and GENESYS
  Bernhard Huber, Roman Obermaisser
  International Workshop on Systems, Architectures, Modeling, and Simulation
  
  
• Precise Worst-Case Execution Time Analysis for Processors with Timing Anomalies
  Albrecht Kadlec, Peter Puschner
  21st Euromicro Conference on Real-Time Systems (ECRTS'09)
  
  
• Link Reversal: How to play better to work less
  Bernadette Charron-Bost, Jennifer L. Welch, Josef Widder
  Fifth International Workshop Algorithmic Aspects of Wireless Sensor Networks
  
  
• Is Chip-Multiprocessing the End of Real-Time Scheduling?
  Martin Schoeberl, Peter Puschner
  Proceedings of the 9th International Workshop on Worst-Case Execution Time (WCET) Analysis
  
  
• Comparison of Implicit Path Enumeration and Model Checking based WCET Analysis
  Benedikt Huber, Martin Schoeberl
  Proceedings of the 9th International Workshop on Worst-Case Execution Time (WCET) Analysis
  
  
• From a Federated to an Integrated Automotive Architecture
  Roman Obermaisser, Christian El Salloum, Bernhard Huber, Hermann Kopetz
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
  
  
• A Comparison of NoTA and GENESYS
  Bernhard Huber, Roman Obermaisser
  Proceedings of 9th International Workshop on Systems, Architectures, Modeling, and Simulation (SAMOS'09)
  
  
• Power Supply Induced Common Cause Faults — Experimental Assessment of Potential Countermeasures
  Peter Tummeltshammer, Andreas Steininger
  IEEE International Conference on Dependable Systems and Networks (DSN2009)
  
  
• Towards Distributed Robustness in Embedded Systems
  Vaclav Mikolasek, Michael Zolda
  Dependable Systems and Networks
  
  
• On the Stability and Robustness of Non-Synchronous Circuits with Timing Loops
  Matthias Fuegger, Gottfried Fuchs, Ulrich Schmid, Andreas Steininger
  3rd Workshop on Dependable and Secure Nanocomputing
  
  
• From Trusted Annotations to Verified Knowledge
  Adrian Prantl, Jens Knoop, Albrecht Kadlec, Markus Schordan
  9th International Workshop on Worst-Case Execution Time Analysis (WCET 2009)
  
  
• On the Threat of Metastability in an Asynchronous Fault-Tolerant Clock Generation Scheme
  Gottfried Fuchs, Matthias Fuegger, Andreas Steininger
  15th IEEE International Symposium on Asynchronous Circuits and Systems
  
  
• Safely Stimulating the Clock Synchronization Algorithm in Time-Triggered Systems -- a Combined Formal and Experimental Approach
  Matthias Fuegger, Eric Armengaud, Andreas Steininger
  IEEE Transactions on Industrial Informatics, vol 5, no 2
  
  
• Fault Isolation with Intermediate Checks of End-to-end Checksums in the Time-Triggered System-on-Chip Architecture
  Harald Paulitsch, Christian Paukovits, Christian El Salloum
  Proceedings of the 4th IEEE Symposium on Industrial Embedded Systems (SIES'2009)
  
  
• Fault Isolation with Intermediate Checks of End-to-end Checksums in the Time-Triggered System-on-Chip Architecture
  Harald Paulitsch, Christian Paukovits, Christian El Salloum, Hermann Kopetz
  DATE Friday Workshop on Diagnostic Services in Network on Chips - Test, Debug, and On-Line Monitoring (DSNOC'09)
  
  
• FUSE - A HARDWARE ACCELERATED HDL FAULT INJECTION TOOL
  Martin Delvai, Stefan Reichör, Marcus Jeitler
  5th Southern Conference on Programmable Logic, 2009. SPL.
  
  
• The Theta-Model: Achieving Synchrony without Clocks
  Josef Widder, Ulrich Schmid
  Distributed Computing
  
  
• Model-Driven Design and Organic Computing -- Combinable Strategies?
  Peter Puschner
  Proc. 12th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing
  
  
• Implications of VLSI Fault Models and Distributed Systems Failure Models --- A Hardware Designer's View
  Gottfried Fuchs
  
  
• Error Containment in the Presence of Metastability
  Andreas Steininger
  Proc. Dagstuhl Seminar on Distributed Algorithms in VLSI Chips (Seminar #08371)
  
  
• Time-predictable Cache Organization
  Martin Schoeberl
  Proceedings of the First International Workshop on Software Technologies for Future Dependable Distributed Systems (STFSSD 2009)
  
  
• Dependability and Robustness: State of the Art and Challenges
  Vaclav Mikolasek
  Workshop on Software Technologies for Future Dependable Distributed Systems, Tokyo
  
  
• Thread-local Scope Caching for Real-time Java
  Andy Wellings, Martin Schoeberl
  Proceedings of the 12th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2009)
  
  
• Embedded JIT Compilation with CACAO on YARI
  Florian Brandner, Tommy Thorn, Martin Schoeberl
  Proceedings of the 12th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2009)
  
  
• Towards Composable Timing for Real-Time Software
  Peter Puschner, Robert G. Pettit
  Proc. 1st International Workshop on Software Technologies for Future Dependable Distributed Systems
  
  
• Java for Safety-Critical Applications
  Thomas Henties, James J. Hunt, Doug Locke, Kelvin Nilsen, Martin Schoeberl, Jan Vitek
  2nd International Workshop on the Certification of Safety-Critical Software Controlled Systems (SafeCert 2009)
  
  
• Towards Preserving Model Coverage and Structural Code Coverage
  
  EURASIP Journal on Embedded Systems, Hindawi, 2009
  
  
• Fundamental Design Principles for Embedded Systems: The Architectural Style of the Cross-Domain Architecture GENESYS
  Roman Obermaisser, Christian El Salloum, Bernhard Huber, Hermann Kopetz
  8th IEEE In-ternational Symposium on Object-oriented Real-time distributed Computing
  
  
• Towards a real-time distributed computing model
  Heinrich Moser
  Theoretical Computer Science, Volume 410, Issues 6-7, 28 February 2009, Pages 629-659
  
  
• Towards Automatic Verification of Structural Code-Coverage Preservation
  
  Joint CompLang/RISC Workshop on Timing Analysis and Symbolic Computation (TASCo 2009)
  
  
• Platform Modeling In Safety-Critical Embedded Systems
  Bernhard Huber, Roman Obermaisser
  Lecture Notes in Electrical Engineering, Vol. 38
  
  
• 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