Paper Server : Real-Time Systems Group

Research Reports - 2012

• 1/2012 : C-Element Metastability Mitigation using Schmitt-Triggers
  Thomas Polzer, Andreas Steininger
  
  Get polzer12.pdf (152.51KB)
  
  
• 2/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)
  
  
  
• 3/2012 : Efficient Radiation-Hardening of a Muller C-Element
  Varadan Savulimedu Veeravalli, Andreas Steininger
  2012 Single Event Effects Symposium (SEE 2012)
  
  
  
• 4/2012 : 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)
  
  
  
• 5/2012 : A Novel Late-Transition Detection Circuit for MTBU Measurement in FPGAs
  Thomas Polzer, Andreas Steininger
  
  
  
• 6/2012 : Metastability Containment for Muller-C Elements
  Thomas Polzer, Andreas Steininger
  
  
  
• 7/2012 : 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)
  (best paper award)
  
  
  
• 8/2012 : On the Efficient Implementation of a Radiation-Tolerant Event Counter
  Varadan Savulimedu Veeravalli, Andreas Steininger
  
  
  
• 9/2012 : Designing Robust GALS Circuits with Triple Modular Redundancy
  Jakob Lechner
  2012 European Dependable Computing Conference (EDCC 2012)
  
  
  
• 10/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)
  
  
  
• 11/2012 : On a Family of q-Binomial Distributions
  Martin Zeiner
  
  Get main.pdf (261.52KB)
  
  
• 13/2012 : Protection of Muller Pipelines from Transient Faults
  Rameez Naqvi, Andreas Steininger, Jakob Lechner
  IEEE International Conference on Computer Design (ICCD 2012)
  
  
  
• 15/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)
  (Abstract for late news poster presentation)
  
  
  
• 16/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)
  
  
  
• 17/2012 : Muller C-Element Metastability Containment
  Thomas Polzer, Andreas Steininger, Jakob Lechner
  International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS'12)
  
  
  
• 18/2012 : Protecting an Asynchronous NoC against Transient Channel Faults
  Rameez Naqvi, Varadan Savulimedu Veeravalli, Andreas Steininger
  15th Euromicro Conference on Digital System Design
  
  
  
• 19/2012 : Automated Competitive Analysis of Real-Time Scheduling with Graph Games
  Krishnendu Chatterjee, Alexander Kößler, Ulrich Schmid
  
  Get main.pdf (170.21KB)
  
  
• 20/2012 : Reliable Gateway for Radiation Experiments on a VLSI Chip
  Bernhard Fritz, Varadan Savulimedu Veeravalli, Andreas Steininger
  Austrochip 2012
  
  Get einreichung_austrochip12.pdf (458.47KB)
  
  
• 22/2012 : Efficient Checking of Link-reversal-based Concurrent Systems
  Matthias Fuegger, Josef Widder
  CONCUR 2012
  
  Get camera.pdf (296.03KB)
  
  
• 23/2012 : Muller C-Element Metastability Containment (Appendix)
  Thomas Polzer, Andreas Steininger, Jakob Lechner
  (After PATMOS an appendix to the paper containing additional simulation screenshots will be available here.)
  
  Get patmosappendix.pdf (280.87KB)
  
  
• 24/2012 : LFSR Implementation Using C-Elements
  Varadan Savulimedu Veeravalli, Andreas Steininger
  MEMICS 2012
  
  Get Submission Veeravalli.pdf (410.97KB)
  
  
• 25/2012 : A Formal Framework for Precise Parametric WCET Formulas
  Benedikt Huber, Daniel Prokesch, Peter Puschner
  WCET 2012
  
  
  
• 26/2012 : A Generic Architecture for Robust Asynchronous Communication Links
  Jakob Lechner, Robert Najvirt
  International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS) 2012
  
  
  
• 27/2012 : Architecture for Monitoring SET Propagation in 16-bit Sklansky Adder
  Varadan Savulimedu Veeravalli, Andreas Steininger
  International Symposium on Quality Electronics Design 2012
  
  
  
• 28/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
  ((submitted to IEEE Transactions on Nuclear Science))
  
  
  
• 30/2012 : Towards an Accurate Characterization of Single-Event Transients in Digital Circuits
  Varadan Savulimedu Veeravalli, Thomas Polzer, Ulrich Schmid, Andreas Steininger, Michael Hofbauer, Kurt Schweiger, Horst Dietrich, Kerstin Schneider-Hornstein, Horst Zimmermann, Kay-Obbe Voss, Bruno Merk, Michael Hajek
  Journal
  (submitted)
  
  
  
• 31/2012 : A Runtime Verification Unit for Microcontrollers
  Thomas Reinbacher, Martin Horauer, Andreas Steininger
  System, Software, SoC and Silicon Debug Conference (S4D 2012)
  
  
  
• 32/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
  
  
  
• 33/2012 : Runtime Verification of Microcontroller Binary Code
  Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski
  Journal Science of Computer Programming
  
  
  
• 34/2012 : Data Cache Organization for Accurate Timing Analysis
  Martin Schoeberl, Benedikt Huber, Wolfgang Puffitsch
  Real-Time Systems
  
  
  
• 35/2012 : Worst-case execution time analysis-driven object cache design
  Benedikt Huber, Wolfgang Puffitsch, Martin Schoeberl
  Concurrency and Computation: Practice and Experience
  (Published Online in 2011)
  
  
  
• 36/2012 : Compiling for Time Predictability
  Peter Puschner, Raimund Kirner, Daniel Prokesch, Benedikt Huber
  SAFECOMP Workshops
  
  
  
• 37/2012 : Performance of Radiation Hardening Techniques under Voltage and Temperature Variations
  Varadan Savulimedu Veeravalli, Andreas Steininger
  2013 IEEE Aerospace Conference
  
  
  
• 38/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)
  
  
  
• 39/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
  
  
  
• 47/2012 : 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)
  
  Get canrouter_security.pdf (425.87KB)
  
  
• 50/2012 : Building a Threshold-Gate with a Sorting Network with Application to the DARTS Project
  Markus Chmelar
  
  Get chmelar_projektarbeit_thresholdgates_final.pdf (1027.69KB)
  
  
• 51/2012 : Copy Protection for Automotive Electric Control Units using Authenticity Heartbeat Signals
  Armin Wasicek
  
  Get wasicek-ecucopy-indin2012-final2.pdf (289.13KB)
  
  
• 52/2012 : Secure Information Sharing in Mixed Criticality Systems
  Armin Wasicek, Thomas Mair
  IAENG World Conference on Engineering and Science
  
  
  
• 53/2012 : Protecting Pipelined Asynchronous Communication Channels Against Single Event Upsets
  Jakob Lechner, Martin Lampacher
  IEEE 30th International Conference on Computer Design (ICCD 2012)
  
  
  
• 54/2012 : Brief Announcement: The Degrading Effect of Forgetting on a Synchronizer
  Matthias Fuegger, Alexander Kößler, Thomas Nowak, Martin Zeiner
  SSS 2012
  
  
  
• 55/2012 : Real-Time Runtime Verification on Chip
  Thomas Reinbacher, Matthias Fuegger, Jörg Brauer
  RV 2012
  
  
  
• 57/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
  
  Get GSI_Report_PNI-MR-26.pdf (219.45KB)
  
  
• 58/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)
  
  Get paper.pdf (63.31KB)
  
  
• 59/2012 : 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
  
  Get paper.pdf (302.85KB)
  
  
• 62/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
  IEEE Transactions on Nuclear Science 59(6): 2778-2784, 2012
  
  
  
• 64/2012 : SET Propagation in Micropipelines
  Thomas Polzer, Andreas Steininger, Robert Najvirt
  (submitted to ASYNC 13)
  
  
  
• 67/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