Paper Server : Real-Time Systems Group

Research Reports - 2009

• 1/2009 : Worst-Case Execution Time Analysis for Processors showing Timing Anomalies
  Peter Puschner, Albrecht Kadlec
  
  Get rr-2009-001_tr_timing_anomalies.pdf (370.97KB)
  
  
• 2/2009 : Implications of VLSI Fault Models and Distributed Systems Failure Models --- A Hardware Designer's View
  Gottfried Fuchs
  (http://drops.dagstuhl.de/opus/volltexte/2009/1924/pdf/08371.FuchsGottfried.Paper.1924.pdf)
  
  
  
• 3/2009 : Dependability and Robustness: State of the Art and Challenges
  Vaclav Mikolasek
  Workshop on Software Technologies for Future Dependable Distributed Systems, Tokyo
  
  Get PID791528.pdf (103.81KB)
  
  
• 4/2009 : Error Containment in the Presence of Metastability
  Andreas Steininger
  Proc. Dagstuhl Seminar on Distributed Algorithms in VLSI Chips (Seminar #08371)
  (http://drops.dagstuhl.de/opus/volltexte/2009/1923/pdf/08371.SteiningerAndreas.Paper.1923.pdf)
  
  
  
• 5/2009 : Time-predictable Cache Organization
  Martin Schoeberl
  Proceedings of the First International Workshop on Software Technologies for Future Dependable Distributed Systems (STFSSD 2009)
  (Invited paper)
  
  Get tpcache_final.pdf (88.12KB)
  
  
• 6/2009 : 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)
  
  Get local_scopes_final.pdf (315.82KB)
  
  
• 7/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)
  
  Get isorc-09-final.pdf (180.05KB)
  
  
• 8/2009 : Building Encapsulated Communication Channels in the Time-Triggered System-on-Chip Architecture
  Christian Paukovits, Hermann Kopetz
  
  Get ecc.pdf (350.46KB)
  
  
• 9/2009 : 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
  
  Get paper.pdf (531.22KB)
  
  
• 11/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
  
  Get paper.pdf (255.20KB)
  
  
• 12/2009 : Power Supply Induced Common Cause Faults — Experimental Assessment of Potential Countermeasures
  Peter Tummeltshammer, Andreas Steininger
  IEEE International Conference on Dependable Systems and Networks (DSN2009)
  
  
  
• 14/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
  
  Get paper_puschner_isorc-stfssd2009.pdf (94.94KB)
  
  
• 15/2009 : How to Speed-up Fault-tolerant Clock Generation in VLSI Systems-on-Chip via Pipelining
  Andreas Dielacher, Matthias Fuegger, Ulrich Schmid
  ((Appeares as Brief Announcement at PODC'09))
  
  Get paper.pdf (415.92KB)
  
  
• 16/2009 : Supporting WCET Analysis with Data-Flow Analysis of Java Bytecode
  Wolfgang Puffitsch
  
  Get dfa.pdf (143.17KB)
  
  
• 17/2009 : Towards Automatic Verification of Structural Code-Coverage Preservation
  
  Joint CompLang/RISC Workshop on Timing Analysis and Symbolic Computation (TASCo 2009)
  
  Get rr-2009-017_tasco09_secco.pdf (61.21KB)
  
  
• 18/2009 : WCET 2008 - Report from the Tool Challenge 2008
  Niklas Holsti, Jan Gustafsson, Guillem Bernat, Bernhard Rieder, et al
  8th International Workshop on Worst-Case Execution Time Analysis (WCET'08), Prague, Czech Republic, OCG, books @ ocg.at, no. 237
  
  Get rr-2009-018_wcet08_wcc_report.pdf (699.52KB)
  
  
• 19/2009 : Towards Transactional Memory for Real-Time Systems
  Martin Schoeberl, Bent Thomsen, Lone Leth Tomsen
  
  Get rr-2009-019.pdf (155.32KB)
  
  
• 20/2009 : 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)
  
  Get safecert2009_final.pdf (675.90KB)
  
  
• 21/2009 : 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
  
  
  
• 22/2009 : Fault-Tolerant Four-State Logic by Using Self-Healing Cells
  Thomas Panhofer, Werner Friesenbichler, Martin Delvai
  IEEE International Conference on Computer Design (ICCD08)
  
  Get ICCD08_final.pdf (177.00KB)
  
  
• 23/2009 : Improving Fault Tolerance by Using Reconfigurable Asynchronous Circuits
  Werner Friesenbichler, Thomas Panhofer, Martin Delvai
  IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems
  
  
  
• 26/2009 : Platform Modeling In Safety-Critical Embedded Systems
  Bernhard Huber, Roman Obermaisser
  Lecture Notes in Electrical Engineering, Vol. 38
  
  
  
• 27/2009 : Towards Preserving Model Coverage and Structural Code Coverage
  
  EURASIP Journal on Embedded Systems, Hindawi, 2009
  
  Get paper_final_JES.pdf (340.21KB)
  
  
• 29/2009 : Time-predictable Computer Architecture
  Martin Schoeberl
  EURASIP Journal on Embedded Systems
  
  Get ca4rts.pdf (353.79KB)
  
  
• 30/2009 : Model-Driven Design and Organic Computing -- Combinable Strategies?
  Peter Puschner
  Proc. 12th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing
  (Panel Position Statement)
  
  Get paper_puschner_isorc2009.pdf (84.16KB)
  
  
• 31/2009 : Online location of permanent single-hop Network-on-Chip subroute faults via runtime monitoring of dynamically interleaved test messages
  Harald Paulitsch
  
  Get interleaved.pdf (96.09KB)
  
  
• 32/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
  
  Get rr-32-2009.pdf (846.54KB)
  
  
• 33/2009 : Precise Worst-Case Execution Time Analysis for Processors with Timing Anomalies
  Albrecht Kadlec, Peter Puschner
  21st Euromicro Conference on Real-Time Systems (ECRTS'09)
  
  Get paper_final_ECRTS09.pdf (192.34KB)
  
  
• 34/2009 : 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
  
  Get intro.pdf (90.75KB)
  
  
• 35/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)
  
  
  
• 37/2009 : Towards Distributed Robustness in Embedded Systems
  Vaclav Mikolasek, Michael Zolda
  Dependable Systems and Networks
  
  
  
• 38/2009 : Multiprocessor JOP Architecture Design
  Martin Schoeberl, Wolfgang Puffitsch, Christof Pitter, Andy Wellings
  JEOPARD Deliverable D 2.1
  
  Get d2_1_final.pdf (1459.95KB)
  
  
• 39/2009 : Nonblocking Real-Time Garbage Collection
  Martin Schoeberl, Wolfgang Puffitsch
  ACM Transactions on Embedded Computing Systems
  
  Get nbgc.pdf (292.78KB)
  
  
• 40/2009 : 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
  
  
  
• 41/2009 : 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)
  (preliminary version.)
  
  Get tr41-2009.pdf (187.50KB)
  
  
• 43/2009 : 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
  
  Get submission.pdf (232.17KB)
  
  
• 45/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
  Proceedings of the 4th IEEE Symposium on Industrial Embedded Systems (SIES'2009)
  
  Get checksum.pdf (318.85KB)
  
  
• 46/2009 : 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
  
  Get cmpwcet.pdf (157.19KB)
  
  
• 47/2009 : Consensus when all processes may be Byzantine for some time
  Martin Biely, Martin Hutle
  SSS 2009
  
  Get paper.pdf (257.41KB)
  
  
• 48/2009 : 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
  
  Get wcetmc_wcet2009.pdf (279.66KB)
  
  
• 49/2009 : 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
  
  
  
• 50/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)
  
  Get profarch_qest2009.pdf (142.02KB)
  
  
• 51/2009 : 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.
  
  Get paper.pdf (242.26KB)
  Get paper.pdf (242.26KB)
  
  
• 52/2009 : 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)
  
  Get pppj09-cprof-final.pdf (98.05KB)
  
  
• 53/2009 : Fault-Tolerant Distributed Tick Generation in VLSI Systems-on-Chip
  Matthias Fuegger, Ulrich Schmid
  
  Get paper.pdf (555.00KB)
  
  
• 54/2009 : A Real-Time Java Chip-Multiprocessor
  Christof Pitter, Martin Schoeberl
  ACM Transactions on Embedded Computing Systems (TECS)
  (This is a copy of 20/2010 - the paper has been published in August 2010 in TECS.)
  
  Get jopcmp_tecs.pdf (281.83KB; Preprint)
  
  
• 55/2009 : 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
  
  
  
• 56/2009 : Cross-profiling for Java processors
  Walter Binder, Martin Schoeberl, Philippe Moret, Alex Villazon
  Software: Practice and Experience
  
  Get cprof_spe.pdf (293.06KB)
  
  
• 57/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)
  
  Get hwmethods.pdf (287.82KB)
  
  
• 58/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
  
  Get paper.pdf (426.66KB)
  
  
• 59/2009 : JOP Reference Handbook
  Martin Schoeberl
  CreateSpace
  
  
  
• 60/2009 : 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)
  
  Get spcmp_seus.pdf (127.54KB)
  
  
• 61/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)
  
  Get dcache_seus.pdf (149.70KB)
  
  
• 62/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)
  
  Get pret_iccd.pdf (154.69KB)
  
  
• 63/2009 : 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)
  
  Get jopedu.pdf (384.35KB)
  
  
• 64/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)
  
  Get puffitsch_jtres09.pdf (148.11KB)
  
  
• 65/2009 : A Hardware Abstraction Layer in Java
  Martin Schoeberl, Stephan Korsholm, Tomas Kalibera, Anders P. Ravn
  Trans. on Embedded Computing Sys.
  (accepted for publication)
  
  Get jhal.pdf (453.73KB)
  
  
• 66/2009 : 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
  
  
  
• 69/2009 : A Comparison of NoTA and GENESYS
  Bernhard Huber, Roman Obermaisser
  Proceedings of 9th International Workshop on Systems, Architectures, Modeling, and Simulation (SAMOS'09)
  
  
  
• 71/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)
  
  Get DSD2009_Submitted.pdf (175.50KB)
  
  
• 72/2009 : 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
  
  Get paper.pdf (580.12KB)
  
  
• 73/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)
  
  
  
• 74/2009 : 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
  
  
  
• 75/2009 : Multiprocessor JOP Documentation
  Martin Schoeberl, Wolfgang Puffitsch
  JEOPARD Deliverable D 2.4
  
  Get d2.4.pdf (513.81KB)
  
  
• 76/2009 : Fun with a Deadline Instruction
  Martin Schoeberl, Hiren D. Patel, Edward A. Lee
  
  Get deadline.pdf (203.34KB)
  
  
• 77/2009 : Automatic Calculation of Coverage Profiles for Coverage-based Testing
  Walter Haas
  15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009)
  
  Get paper_subm_KPS09.pdf (243.86KB)
  
  
• 78/2009 : On Undecidability Results of Real Programming Languages
  Wolf Zimmermann, Drik Richter
  15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009)
  
  Get kps_subm_200909.pdf (264.62KB)
  
  
• 79/2009 : 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)
  
  Get submissionWCET2009-Sept7.pdf (167.44KB)
  
  
• 80/2009 : Single-Path Programming on a Chip-Multiprocessor System
  Martin Schoeberl, Peter Puschner
  Workshop on Reconciling Performance with Predictability (RePP 2009)
  
  Get spcmp_repp_final.pdf (109.79KB)
  
  
• 81/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)
  
  Get camera_ready.pdf (307.53KB)
  Get zolda-rtns09-final.pdf (380.75KB; Slides)
  
  
• 82/2009 : Optimal Message-Driven Implementations of Omega with Mute Processes
  Martin Biely, Josef Widder
  ACM Transactions on Autonomous and Adaptive Systems (TAAS)
  (Journal version of RR Number 7/2006)
  
  
  
• 83/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
  
  Get sss09.pdf (318.76KB)
  
  
• 84/2009 : Coupling Asynchronous Signals into Asynchronous Logic
  Markus Ferringer
  Austrochip 2009
  
  Get austrochip.pdf (165.01KB)
  
  
• 85/2009 : Fault-Tolerant Distributed Algorithms and VLSI - An Appetizer
  Ulrich Schmid
  Dagstuhl Seminar Proceedings 08731 on Fault-Tolerant Distributed Algorithms on VLSI Chips
  
  
  
• 86/2009 : FUSE - A HARDWARE ACCELERATED HDL FAULT INJECTION TOOL
  Martin Delvai, Stefan Reichör, Marcus Jeitler
  5th Southern Conference on Programmable Logic, 2009. SPL.
  
  Get spl09.pdf (257.52KB)
  
  
• 87/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
  
  Get memics09.pdf (185.03KB)
  
  
• 88/2009 : 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
  
  Get reconfig09.pdf (348.09KB)
  
  
• 89/2009 : Zukunft der Technischen Informatik an der TU-Wien
  Ulrich Schmid
  
  Get zukunftTI.pdf (79.71KB)
  
  
• 90/2009 : 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)
  (DROPS publication of 87/2009)
  
  Get dagstuhl09.pdf (431.67KB)