Hardware/Software-Codesign
The HW/SW codesign group at the Institute for Technical Informatics deals with embedded systems, HW/SW codesign, and power awareness. Design of embedded systems can be subject to many different types of constraints, including timing, size, weight, power consumption, reliability, and cost. Research on HW/SW codesign is done since the early 90s. With each new process technology systems with much higher complexity can be implemented on a single die. This requires new methodologies to abstract the system and to handle the design complexity. HW/SW codesign is a set of methodologies and techniques specifically created to support the codesign of hardware and software systems.
Staff member
Coordinator
Christian Steger
Ass.Prof. Dipl.-Ing. Dr.techn.
Contact
Hannes Plank
Participant
Martin Erb
Dipl.-Ing. BSc
Alexander Ess
Markus Feldbacher
BSc
Alexander Frewein
Lukas Alexander Gressl
Dipl.-Ing. BSc
Andreas Hechl
BSc
Maximilian Kammerer
Florian Krampl
Christian Josef Kreiner
Dipl.-Ing. Dr.techn.
Jakob Lindner
BSc
Philipp Maierl
BSc
Felix Jonathan Oppermann
Dipl.-Inform.
Thomas Wolfgang Pieber
Dipl.-Ing. BSc
Alexander Rech
Dipl.-Ing. BSc
Martin Schachner
Florian Scherr
Christian Seifert
Andreas Daniel Sinnhofer
Dipl.-Ing. BSc
Philipp Stelzer
Dipl.-Ing. BSc
Andreas Strasser
Dipl.-Ing. BSc
Thomas Ulz
Dipl.-Ing. Dipl.-Ing. BSc
Felix Warmer
BSc
Ralph Peter Weissnegger
Dipl.-Ing. BSc
Hannes Weissteiner

Research projects

Selected Publications

2019
Conference/Workshop Article
Christian Steger, Thomas Wolfgang Pieber and Thomas Ulz Simulating a Network: An Approach for Connecting Multiple SystemC Simulations Simulating a Network: An Approach for Connecting Multiple SystemC Simulations Show publication in PURE
Christian Steger, Thomas Wolfgang Pieber and Thomas Ulz Towards Continuous Sensor Operation: Modelling a Secured Smart Sensor in a Sparse Network Operated by Energy Harvesting Towards Continuous Sensor Operation: Modelling a Secured Smart Sensor in a Sparse Network Operated by Energy Harvesting Show publication in PURE
Other Article
Christian Steger, Andreas Strasser and Philipp Stelzer Speed-Up of MEMS Mirror's Transient Start-Up Procedure Show publication in PURE
Christian Steger, Andreas Strasser and Philipp Stelzer FITness Assessment - Hardware Algorithm Safety Validation Show publication in PURE
2018
Conference/Workshop Article
Christian Steger, Thomas Wolfgang Pieber and Thomas Ulz QSNFC: Quick and Secured Near Field Communication for the Internet of Things QSNFC: Quick and Secured Near Field Communication for the Internet of Things Show publication in PURE
Christian Steger, Thomas Wolfgang Pieber and Thomas Ulz Secured Remote Configuration Approach for Industrial Cyber-Physical Systems Secured Remote Configuration Approach for Industrial Cyber-Physical Systems Show publication in PURE
Christian Steger, Thomas Wolfgang Pieber and Thomas Ulz Automated Authentication Credential Derivation for the Secured Configuration of IoT Devices Automated Authentication Credential Derivation for the Secured Configuration of IoT Devices Show publication in PURE
Christian Steger and Lukas Alexander Gressl Design and Implementation of an HCI Based Peer to Peer APDU Protocol Design and Implementation of an HCI Based Peer to Peer APDU Protocol Show publication in PURE
Christian Steger Design of a low-level radar and time-of-flight sensor fusion framework Design of a low-level radar and time-of-flight sensor fusion framework 268-275 Show publication in PURE
Christian Steger Virtual white cane featuring time-of-flight 3D imaging supporting visually impaired users Virtual white cane featuring time-of-flight 3D imaging supporting visually impaired users 450-457 Show publication in PURE
Other Article
Christian Steger and Alexander Rech Increasing Interoperability Between Heterogeneous Smart City Applications Show publication in PURE
2017
Book Chapter
Kay Uwe Römer and Christian Steger Generation and Verification of a Safety-Aware Virtual Prototype in the Automotive DomainGeneration and Verification of a Safety-Aware Virtual Prototype in the Automotive Domain195 Show publication in PURE
Christian Steger Where Do All My Keys Come From?Where Do All My Keys Come From?278 Show publication in PURE
Christian Steger and Thomas Ulz Cyber-Physical System and Internet of Things SecurityCyber-Physical System and Internet of Things Security248-277 Show publication in PURE
Journal Article
Christian Steger, Thomas Wolfgang Pieber and Thomas Ulz Secured and Easy-to-Use NFC-Based Device Configuration for the Internet of Things Show publication in PURE
Conference/Workshop Article
Christian Steger, Thomas Wolfgang Pieber and Thomas Ulz SystemC Test Case Generation with the Gazebo Simulator SystemC Test Case Generation with the Gazebo Simulator 67-72 Show publication in PURE
Christian Steger, Thomas Wolfgang Pieber and Thomas Ulz Sneakernet on Wheels: Trustworthy NFC-based Robot to Machine Communication Sneakernet on Wheels: Trustworthy NFC-based Robot to Machine Communication 260-265 Show publication in PURE
Christian Steger and Thomas Ulz Secured Offline Authentication on Industrial Mobile Robots using Biometric Data Secured Offline Authentication on Industrial Mobile Robots using Biometric Data 1-12 Show publication in PURE
Christian Steger, Thomas Wolfgang Pieber and Thomas Ulz Bring Your Own Key for the Industrial Internet of Things Bring Your Own Key for the Industrial Internet of Things 1430-1435 Show publication in PURE
Christian Steger, Thomas Wolfgang Pieber and Thomas Ulz SECURECONFIG: NFC and QR-Code based Hybrid Approach for Smart Sensor Configuration SECURECONFIG: NFC and QR-Code based Hybrid Approach for Smart Sensor Configuration Show publication in PURE
Christian Steger, Thomas Wolfgang Pieber and Thomas Ulz Hardware-Secured Configuration and Two-Layer Attestation Architecture for Smart Sensors Hardware-Secured Configuration and Two-Layer Attestation Architecture for Smart Sensors 229-236 Show publication in PURE
Christian Steger, Thomas Wolfgang Pieber and Thomas Ulz Hardware Secured, Password-based Authentication for Smart Sensors for the Industrial Internet of Things Hardware Secured, Password-based Authentication for Smart Sensors for the Industrial Internet of Things 632-642 Show publication in PURE
Christian Steger, Thomas Wolfgang Pieber and Thomas Ulz Towards Trustworthy Data in Networked Control Systems: A Hardware-Based Approach Towards Trustworthy Data in Networked Control Systems: A Hardware-Based Approach Show publication in PURE
Christian Steger and Thomas Ulz A Secured Offline Authentication Approach for Industrial Mobile Robots A Secured Offline Authentication Approach for Industrial Mobile Robots Show publication in PURE
Christian Steger Combined variability management of business processes and software architectures Combined variability management of business processes and software architectures 36-45 Show publication in PURE
Christian Steger Software configuration based on order processes Software configuration based on order processes 200-220 Show publication in PURE
2016
Conference/Workshop Article
Kay Uwe Römer, Markus Schuß and Christian Steger A Novel Simulation-based Verification Pattern for Parallel Executions in the Cloud A Novel Simulation-based Verification Pattern for Parallel Executions in the Cloud Show publication in PURE
Christian Steger Patterns for Common Criteria Certification Patterns for Common Criteria Certification 1 - 15 Show publication in PURE
Other Article
A Novel Simulation-based Verification Pattern for Parallel Executions in the Cloud Show publication in PURE
Kay Uwe Römer, Markus Schuß and Christian Steger A Novel Simulation-based Verification Pattern for Parallel Executions in the Cloud Show publication in PURE
2015
Journal Article
Christian Steger Balancing Product and Process Assurance for Evolving Security Systems Show publication in PURE
Conference/Workshop Article
varBPM - A Product Line for Creating Business Process Model Variants varBPM - A Product Line for Creating Business Process Model Variants 184-191 Show publication in PURE
Kay Uwe Römer and Christian Steger A Novel Method to Speed-Up the Evaluation of Cyber-Physical Systems (ISO 26262) A Novel Method to Speed-Up the Evaluation of Cyber-Physical Systems (ISO 26262) 109-114 Show publication in PURE
Kay Uwe Römer and Christian Steger A Novel Method for Fast Evaluation of Cyber-Physical Systems in Compliance with Functional Safety A Novel Method for Fast Evaluation of Cyber-Physical Systems in Compliance with Functional Safety 24-25 Show publication in PURE
Kay Uwe Römer and Christian Steger A Novel Design Method for Automotive Safety-Critical Systems based on UML/MARTE A Novel Design Method for Automotive Safety-Critical Systems based on UML/MARTE 177-184 Show publication in PURE
2014
Conference/Workshop Article
Christian Steger High Level Simulation of Cyber-Physical Systems High Level Simulation of Cyber-Physical Systems 57-58 Show publication in PURE
Christian Steger and Reinhold Weiß Set of Power-Management Patterns for Mobile Embedded Systems Set of Power-Management Patterns for Mobile Embedded Systems Show publication in PURE
Christian Steger and Reinhold Weiß A Fault Attack Emulation Environment to Evaluate Java Card Virtual-Machine Security A Fault Attack Emulation Environment to Evaluate Java Card Virtual-Machine Security Show publication in PURE
Christian Steger Memory-Efficient On-Card Byte Code Verification for Java Cards Memory-Efficient On-Card Byte Code Verification for Java Cards 37-40 Show publication in PURE
Christian Steger and Reinhold Weiß A light-weight compression method for Java Card technology A light-weight compression method for Java Card technology Show publication in PURE
Christian Steger and Reinhold Weiß Instruction Folding Compression for Java Card Runtime Environment Instruction Folding Compression for Java Card Runtime Environment 228-235 Show publication in PURE
Christian Steger and Reinhold Weiß A Flexible and Lightweight ECC-Based Authentication Solution for Resource Constrained Systems A Flexible and Lightweight ECC-Based Authentication Solution for Resource Constrained Systems 372-378 Show publication in PURE
Christian Steger and Reinhold Weiß Countering Type Confusion and Buffer Overflow Attacks on Java Smart Cards by Data Type Sensitive Obfuscation Countering Type Confusion and Buffer Overflow Attacks on Java Smart Cards by Data Type Sensitive Obfuscation 19-24 Show publication in PURE
Christian Steger Hardware/Software Co-Design of Elliptic-Curve Cryptography for Resource-Constrained Applications Hardware/Software Co-Design of Elliptic-Curve Cryptography for Resource-Constrained Applications 1-6 Show publication in PURE
Christian Steger and Reinhold Weiß A High Performance Java Card Virtual Machine Interpreter based on an Application Specific Instruction-Set Processor A High Performance Java Card Virtual Machine Interpreter based on an Application Specific Instruction-Set Processor 270-278 Show publication in PURE
Christian Steger and Reinhold Weiß Supporting Evolving Security Models for an Agile Security Evaluation Supporting Evolving Security Models for an Agile Security Evaluation 31-36 Show publication in PURE
Christian Steger and Reinhold Weiß Patterns of Software Modeling Patterns of Software Modeling 428-437 Show publication in PURE
Christian Steger and Reinhold Weiß Embedding Research in the Industrial Field: A Case of a Transition to a Software Product Line Embedding Research in the Industrial Field: A Case of a Transition to a Software Product Line 3-8 Show publication in PURE
2013
Journal Article
Christian Steger and Reinhold Weiß Case study on multiple fault dependability and security evaluations Show publication in PURE
Christian Steger and Reinhold Weiß Power And Fault Emulation For Software Verification and System Stability Testing in Safety Critical Environments Show publication in PURE
Conference/Workshop Article
Christian Steger and Reinhold Weiß A Defensive Java Card Virtual Machine to Thwart Fault Attacks by Microarchitectural Support A Defensive Java Card Virtual Machine to Thwart Fault Attacks by Microarchitectural Support Show publication in PURE
Christian Steger and Reinhold Weiß A Defensive Virtual Machine Layer to Counteract Fault Attacks on Java Cards A Defensive Virtual Machine Layer to Counteract Fault Attacks on Java Cards 82-97 Show publication in PURE
Christian Steger and Reinhold Weiß Emulation-Based Test and Verification of a Design’s Functional, Performance, Power, and Supply Voltage Behavior Emulation-Based Test and Verification of a Design’s Functional, Performance, Power, and Supply Voltage Behavior 328-335 Show publication in PURE
Christian Steger and Reinhold Weiß Power and Thermal Fault Effect Exploration Framework for Reader / Smart Card Designs Power and Thermal Fault Effect Exploration Framework for Reader / Smart Card Designs 898-906 Show publication in PURE
Christian Steger and Reinhold Weiß Emulation-Based Design Evaluation of Reader / Smart Card Systems Emulation-Based Design Evaluation of Reader / Smart Card Systems 80-86 Show publication in PURE
Christian Steger and Reinhold Weiß PtNBridge - A Power-Aware and Trustworthy Near Field Communication Bridge to Embedded Systems PtNBridge - A Power-Aware and Trustworthy Near Field Communication Bridge to Embedded Systems 907-914 Show publication in PURE
Christian Steger and Reinhold Weiß On the Dictionary Compression for Java Card Environment On the Dictionary Compression for Java Card Environment 68-76 Show publication in PURE
Christian Steger and Reinhold Weiß Emulation-Based Fault Effect Analysis for Resource Constrained, Secure, and Dependable Systems Emulation-Based Fault Effect Analysis for Resource Constrained, Secure, and Dependable Systems 337-344 Show publication in PURE
Christian Steger Integration of a Wireless Sensor Network Into a Reliable Data Flow Process for Slope Monitoring Integration of a Wireless Sensor Network Into a Reliable Data Flow Process for Slope Monitoring 1-4 Show publication in PURE
Christian Steger and Reinhold Weiß Introduction of design pattern(s) for power-management in embedded systems Introduction of design pattern(s) for power-management in embedded systems Show publication in PURE
Christian Steger Verifying Generic IEC 61508 CPU Self-Tests with Fault Injection Verifying Generic IEC 61508 CPU Self-Tests with Fault Injection 1-2 Show publication in PURE
Christian Steger and Reinhold Weiß Energy Efficiency by Using Field Strength Scaling for Multi-Transponder Applications Energy Efficiency by Using Field Strength Scaling for Multi-Transponder Applications 263-269 Show publication in PURE
Christian Steger Automatized High-Level Evaluation of Security Properties for RTL Hardware Designs Automatized High-Level Evaluation of Security Properties for RTL Hardware Designs 1-8 Show publication in PURE
Christian Steger and Reinhold Weiß NFC-DynFS: A way to realize dynamic field strength scaling during communication NFC-DynFS: A way to realize dynamic field strength scaling during communication 59-64 Show publication in PURE
2012
Journal Article
Christian Steger and Reinhold Weiß POWER-MODES - POWer EmulatoR and MOdel based Dependability and Security evaluations Show publication in PURE
Conference/Workshop Article
Christian Steger and Reinhold Weiß Hardware-Accelerated Workload Characterization for Power Modeling and Fault Injection Hardware-Accelerated Workload Characterization for Power Modeling and Fault Injection 149-154 Show publication in PURE
Christian Steger and Reinhold Weiß NIZE - A Near Field Communication Interface Enabling Zero Energy Standby for Everyday Electronic Devices NIZE - A Near Field Communication Interface Enabling Zero Energy Standby for Everyday Electronic Devices 261-267 Show publication in PURE
Christian Steger and Reinhold Weiß Towards an On-Site Characterization of Energy Harvesting Devices for Wireless Sensor Networks Towards an On-Site Characterization of Energy Harvesting Devices for Wireless Sensor Networks 421-424 Show publication in PURE
Christian Steger and Reinhold Weiß Towards the Hardware Accelerated Defensive Virtual Machine - Type and Bound Protection Towards the Hardware Accelerated Defensive Virtual Machine - Type and Bound Protection 1-15 Show publication in PURE
Christian Steger and Reinhold Weiß PROCOMON - An Automatically Generated Predictive Control-Signal Monitor PROCOMON - An Automatically Generated Predictive Control-Signal Monitor 654-660 Show publication in PURE
Christian Steger Automatic and Optimal Allocation of Safety Integrity Levels Automatic and Optimal Allocation of Safety Integrity Levels 258-263 Show publication in PURE
Christian Steger and Reinhold Weiß A Bridge from System to Software Development for Safety-Critical Automotive Embedded Systems A Bridge from System to Software Development for Safety-Critical Automotive Embedded Systems 75-79 Show publication in PURE
Christian Steger and Reinhold Weiß Efficient Fault Emulation using Automatic Pre-Injection Memory Access Analysis Efficient Fault Emulation using Automatic Pre-Injection Memory Access Analysis 277-282 Show publication in PURE
Christian Steger and Reinhold Weiß Adaptive Field Strength Scaling - A Power Optimization Technique for Contactless Reader / Smart Card Systems Adaptive Field Strength Scaling - A Power Optimization Technique for Contactless Reader / Smart Card Systems 616-623 Show publication in PURE
Christian Steger and Reinhold Weiß A Hardware/Software Simulation Environment for Energy Harvesting Wireless Sensor Networks A Hardware/Software Simulation Environment for Energy Harvesting Wireless Sensor Networks 61-68 Show publication in PURE
Christian Steger and Reinhold Weiß Acceleration of Fault Attack Emulation by Consideration of Fault Propagation Acceleration of Fault Attack Emulation by Consideration of Fault Propagation 239-242 Show publication in PURE
Christian Steger and Reinhold Weiß The PTF-Determinator: A run-time method used to save energy in NFC-Systems The PTF-Determinator: A run-time method used to save energy in NFC-Systems 92-98 Show publication in PURE
Christian Steger and Reinhold Weiß Estimation Based Power and Supply Voltage Management for Future RF-Powered Multi-Core Smart Cards Estimation Based Power and Supply Voltage Management for Future RF-Powered Multi-Core Smart Cards 358-363 Show publication in PURE
Christian Steger Real-Time Landslide Monitoring Using Single-Frequency PPP: Proof of Concept Real-Time Landslide Monitoring Using Single-Frequency PPP: Proof of Concept 1-6 Show publication in PURE
Christian Steger and Reinhold Weiß Efficient fault emulation based on post-injection fault effect analysis (PIFEA) Efficient fault emulation based on post-injection fault effect analysis (PIFEA) 526-529 Show publication in PURE
Christian Steger and Reinhold Weiß System Side-Channel Leakage Emulation for HW/SW Security Coverification of MPSoCs System Side-Channel Leakage Emulation for HW/SW Security Coverification of MPSoCs 139-144 Show publication in PURE
Other Article
Acceleration of Fault Attack Emulation by Consideration of Fault Propagation Show publication in PURE
2011
Conference/Workshop Article
Christian Steger and Reinhold Weiß Towards multi-modeling for domain description Towards multi-modeling for domain description 30-30 Show publication in PURE
Christian Steger and Reinhold Weiß A Computer-Aided Approach to Preliminary Hazard Analysis for Automotive Embedded Systems A Computer-Aided Approach to Preliminary Hazard Analysis for Automotive Embedded Systems 169-178 Show publication in PURE
Christian Steger and Reinhold Weiß A SystemC-AMS Simulation Environment for the Evaluation of Energy Harvesting Wireless Sensor Networks A SystemC-AMS Simulation Environment for the Evaluation of Energy Harvesting Wireless Sensor Networks 247-252 Show publication in PURE
Christian Steger and Reinhold Weiß Computer-Aided PHA, FTA and FMEA for Automotive Embedded Systems Computer-Aided PHA, FTA and FMEA for Automotive Embedded Systems 113-127 Show publication in PURE
Christian Steger and Reinhold Weiß A Side Channel Attack Countermeasure using System-On-Chip Power Profile Scrambling A Side Channel Attack Countermeasure using System-On-Chip Power Profile Scrambling 222-227 Show publication in PURE
Christian Steger and Reinhold Weiß Designing of Efficient Energy Harvesting Systems for Autonomous WSNs Using a Tier Model Designing of Efficient Energy Harvesting Systems for Autonomous WSNs Using a Tier Model 185-190 Show publication in PURE
Christian Steger and Reinhold Weiß Automatic Saboteur Placement for Emulation-Based Multi-Bit Fault Injection Automatic Saboteur Placement for Emulation-Based Multi-Bit Fault Injection 1-8 Show publication in PURE
Christian Steger and Reinhold Weiß Run-Time FPGA Health Monitoring using Power Emulation Techniques Run-Time FPGA Health Monitoring using Power Emulation Techniques 1-4 Show publication in PURE
Christian Steger and Reinhold Weiß Accelerating Early Design Phase Differential Power Analysis Using Power Emulation Techniques Accelerating Early Design Phase Differential Power Analysis Using Power Emulation Techniques 81-86 Show publication in PURE
Christian Steger and Reinhold Weiß Modular Fault Injector for Multiple Fault Dependability and Security Evaluations Modular Fault Injector for Multiple Fault Dependability and Security Evaluations 550-557 Show publication in PURE
Other Article
Run-Time FPGA Health Monitoring using Power Emulation Techniques Show publication in PURE
2010
Conference/Workshop Article
Christian Steger and Reinhold Weiß Power Emulation: Methodology and Applications for HW/SW Power Optimization Power Emulation: Methodology and Applications for HW/SW Power Optimization Show publication in PURE
Christian Steger and Reinhold Weiß Exploration of the FlexRay Signal Integrity using a Combined Prototyping and Simulation Approach Exploration of the FlexRay Signal Integrity using a Combined Prototyping and Simulation Approach 111-116 Show publication in PURE
Christian Steger and Reinhold Weiß Identification and Verification of Security Relevant Functions in Embedded Systems Based on Source Code Annotations and Assertions Identification and Verification of Security Relevant Functions in Embedded Systems Based on Source Code Annotations and Assertions 316-323 Show publication in PURE
Christian Steger and Reinhold Weiß Holistic Simulation of FlexRay Networks by Using Run-Time Model Switching Holistic Simulation of FlexRay Networks by Using Run-Time Model Switching 544-549 Show publication in PURE
Christian Steger and Reinhold Weiß An Automated Framework for Power-Critical Code Region Detection and Power Peak Optimization of Embedded Software An Automated Framework for Power-Critical Code Region Detection and Power Peak Optimization of Embedded Software 11-20 Show publication in PURE
Christian Steger and Reinhold Weiß A CPLD-based Safety Concept for Industrial Applications A CPLD-based Safety Concept for Industrial Applications 3027-3032 Show publication in PURE
Christian Steger and Reinhold Weiß Automated Power Characterization for Run-Time Power Emulation of SoC Designs Automated Power Characterization for Run-Time Power Emulation of SoC Designs 587-594 Show publication in PURE
Christian Steger and Reinhold Weiß Heterogeneous Co-Simulation Platform for the Efficient Analysis of Automotive Distributed Embedded Systems Heterogeneous Co-Simulation Platform for the Efficient Analysis of Automotive Distributed Embedded Systems Show publication in PURE
Christian Steger and Reinhold Weiß Design and Implementation of Safety Functions on a Novel CPLD-based Fail-Safe System Architecture Design and Implementation of Safety Functions on a Novel CPLD-based Fail-Safe System Architecture 206-212 Show publication in PURE
Christian Steger and Reinhold Weiß A Cross Domain Co-Simulation Platform for the Efficient Analysis of Mechatronic Systems A Cross Domain Co-Simulation Platform for the Efficient Analysis of Mechatronic Systems 1-14 Show publication in PURE
Christian Steger and Reinhold Weiß Performance Improvement and Energy Saving Based on Increasing Locality of Persistent Data in Embedded Systems Performance Improvement and Energy Saving Based on Increasing Locality of Persistent Data in Embedded Systems 175-180 Show publication in PURE