Paper Server : Real-Time Systems Group

Publications - 2012

• Single Event Effect Measurements in 90 nm CMOS Circuits at the Microbeam Facility for the Project FATAL
  Michael Hofbauer, Kurt Schweiger, Horst Dietrich, Horst Zimmermann, Ulrich Schmid, Bruno Merk, Kay-Obbe Voss
  GSI Scientific Report 2011, GSI Helmholtzzentrum für Schwerionenforschung GmbH, Darmstadt, p. 424, 2012, ISSN: 0174-0814
  
  
• Pulse Shape Measurements by On-chip Sense Amplifiers of Single Event Transients Propagating through a 90 nm Bulk {CMOS} Inverter Chain
  Michael Hofbauer, Kurt Schweiger, Horst Dietrich, Horst Zimmermann, Kay-Obbe Voss, Bruno Merk, Ulrich Schmid, Andreas Steininger
  IEEE Transactions on Nuclear Science 59(6): 2778-2784, 2012
  
  
• Reliable Gateway for Radiation Experiments on a VLSI Chip
  Bernhard Fritz, Varadan Savulimedu Veeravalli, Andreas Steininger
  Austrochip 2012
  
  
• LFSR Implementation Using C-Elements
  Varadan Savulimedu Veeravalli, Andreas Steininger
  MEMICS 2012
  
  
• Towards Self-stabilizing Byzantine Fault-Tolerant Clock Generation in Systems-on-Chip
  Danny Dolev, Matthias Fuegger, Christoph Lenzen, Ulrich Schmid
  2012 NITRD National Workshop on the New Clockwork for Time-Critical Systems, October 25-26, Baltimore (USA)
  
  
• Architecture and Design Analysis of a Digital Single-Event Transient/Upset Measurement Chip
  Varadan Savulimedu Veeravalli, Andreas Steininger, Ulrich Schmid, Thomas Polzer
  15th Euromicro Symposium on Digital System Design: Architectures, Methods and Tools (DSD 2012)
  
  
• Supply Voltage Dependent On-chip Single Event Transient Pulse Shape Measurements in 90 nm Bulk CMOS under Alpha Irradiation
  Michael Hofbauer, Kurt Schweiger, Horst Zimmermann, Ulrich Giesen, Frank Langner, Ulrich Schmid, Andreas Steininger
  Proceedings 21st European Conference on Radiation and its Effects on Components and Systems (RADECS)
  
  
• Muller C-Element Metastability Containment
  Thomas Polzer, Andreas Steininger, Jakob Lechner
  International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS'12)
  
  
• Protecting an Asynchronous NoC against Transient Channel Faults
  Rameez Naqvi, Varadan Savulimedu Veeravalli, Andreas Steininger
  15th Euromicro Conference on Digital System Design
  
  
• A Generic Architecture for Robust Asynchronous Communication Links
  Jakob Lechner, Robert Najvirt
  International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS) 2012
  
  
• A Runtime Verification Unit for Microcontrollers
  Thomas Reinbacher, Martin Horauer, Andreas Steininger
  System, Software, SoC and Silicon Debug Conference (S4D 2012)
  
  
• The ACROSS MPSoC – A New Generation of Multi-Core Processors designed for Safety-Critical Embedded Systems
  Christian El Salloum, Martin Elshuber, Oliver Hoeftberger, Haris Isakovic, Armin Wasicek
  15th Euromicro Conference on Digital System Design
  
  
• Compiling for Time Predictability
  Peter Puschner, Raimund Kirner, Daniel Prokesch, Benedikt Huber
  SAFECOMP Workshops
  
  
• Protecting Pipelined Asynchronous Communication Channels Against Single Event Upsets
  Jakob Lechner, Martin Lampacher
  IEEE 30th International Conference on Computer Design (ICCD 2012)
  
  
• Pulse Shape Measurements by On-chip Sense Amplifiers of Single Event Transients Propagating through a 90 nm Bulk CMOS Inverter Chain
  Michael Hofbauer, Kurt Schweiger, Horst Dietrich, Horst Zimmermann, Kay-Obbe Voss, Bruno Merk, Ulrich Schmid, Andreas Steininger
  2012 IEEE Nuclear and Space Radiation Effects Conference (NSREC)
  
  
• A Formal Framework for Precise Parametric WCET Formulas
  Benedikt Huber, Daniel Prokesch, Peter Puschner
  WCET 2012
  
  
• Parallel Runtime Verification of Temporal Properties for Embedded Software
  Thomas Reinbacher, Johannes Geist, Martin Horauer, Andreas Steininger
  The 8th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications
  
  
• Runtime Verification of Microcontroller Binary Code
  Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski
  Journal Science of Computer Programming
  
  
• Monitoring Single Event Transient Effects in Dynamic Mode
  Varadan Savulimedu Veeravalli, Andreas Steininger
  1st Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale (MEDIAN 2012)
  
  
• A Robust Asynchronous Interfacing Scheme with Four-Phase Dual-Rail Coding
  Jakob Lechner, Martin Lampacher, Thomas Polzer
  2012 International Conference on Application of Concurrency to System Design (ACSD 2012)
  
  
• Data Cache Organization for Accurate Timing Analysis
  Martin Schoeberl, Benedikt Huber, Wolfgang Puffitsch
  Real-Time Systems
  
  
• Worst-case execution time analysis-driven object cache design
  Benedikt Huber, Wolfgang Puffitsch, Martin Schoeberl
  Concurrency and Computation: Practice and Experience
  
  
• Enhancing Security in CAN Systems using a Star Coupling Router
  Roland Kammerer, Bernhard Frömel, Armin Wasicek
  7th IEEE International Symposium on Industrial Embedded Systems (SIES'12)
  
  
• Agreement in Directed Dynamic Networks
  Martin Biely, Peter Robinson, Ulrich Schmid
  Proceedings 19th International Colloquium on Structural Information and Communication Complexity (SIROCCO'12), p. 73-84, Reykjavik, Iceland
  
  
• Designing Robust GALS Circuits with Triple Modular Redundancy
  Jakob Lechner
  2012 European Dependable Computing Conference (EDCC 2012)
  
  
• Efficient Radiation-Hardening of a Muller C-Element
  Varadan Savulimedu Veeravalli, Andreas Steininger
  2012 Single Event Effects Symposium (SEE 2012)
  
  
• Radiation-Tolerant Combinational Gates – An Implementation Based Comparison
  Varadan Savulimedu Veeravalli, Andreas Steininger
  15th IEEE International Conference on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2012)
  
  
• Designing FlexRay-based Automotive Architectures: A Holistic OEM Approach
  Paul Milbredt, Michael Glaß, Martin Lukasiewycz, Andreas Steininger, Jürgen Teich
  Design, Automation & Test in Europe Conference & Exhibition (DATE), 2012
  
  
• Brief Announcement: The Degrading Effect of Forgetting on a Synchronizer
  Matthias Fuegger, Alexander Kößler, Thomas Nowak, Martin Zeiner
  SSS 2012
  
  
• Efficient Checking of Link-reversal-based Concurrent Systems
  Matthias Fuegger, Josef Widder
  CONCUR 2012
  
  
• Multiple verification in complex biological systems: the bone remodelling case study
  Ezio Bartocci, Pietro Liò, Emanuela Merelli, Nicola Paoletti
  Trans. on Comput. Syst. Biology XIV, LNBI 7625, pp. 53–76. Springer, Heidelberg (2012)
  
  
• Real-Time Runtime Verification on Chip
  Thomas Reinbacher, Matthias Fuegger, Jörg Brauer
  RV 2012