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.
Mitarbeiter
Koordinator
Christian Steger
Ass.Prof. Dipl.-Ing. Dr.techn.
Kontaktperson
Hannes Plank
Teilnehmer
Martin Erb
Dipl.-Ing. BSc
Alexander Ess
Markus Feldbacher
BSc
Alexander Frewein
Lukas Alexander Greßl
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

Forschungsprojekte

Ausgewählte Publikationen

0
Buchkapitel
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 Publikation in PURE anzeigen
Christian Steger Where Do All My Keys Come From?Where Do All My Keys Come From?278 Publikation in PURE anzeigen
Christian Steger and Thomas Ulz Cyber-Physical System and Internet of Things SecurityCyber-Physical System and Internet of Things Security248-277 Publikation in PURE anzeigen
Beitrag in Fachzeitschrift
Christian Steger and Reinhold Weiß POWER-MODES - POWer EmulatoR and MOdel based Dependability and Security evaluations Publikation in PURE anzeigen
Christian Steger and Reinhold Weiß Case study on multiple fault dependability and security evaluations Publikation in PURE anzeigen
Christian Steger Balancing Product and Process Assurance for Evolving Security Systems Publikation in PURE anzeigen
Christian Steger and Reinhold Weiß Power And Fault Emulation For Software Verification and System Stability Testing in Safety Critical Environments Publikation in PURE anzeigen
Christian Steger, Thomas Wolfgang Pieber and Thomas Ulz Secured and Easy-to-Use NFC-Based Device Configuration for the Internet of Things Publikation in PURE anzeigen
Tagungsbeitrag
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Christian Steger and Reinhold Weiß Towards multi-modeling for domain description Towards multi-modeling for domain description 30-30 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Christian Steger High Level Simulation of Cyber-Physical Systems High Level Simulation of Cyber-Physical Systems 57-58 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Christian Steger and Reinhold Weiß Set of Power-Management Patterns for Mobile Embedded Systems Set of Power-Management Patterns for Mobile Embedded Systems Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Christian Steger Memory-Efficient On-Card Byte Code Verification for Java Cards Memory-Efficient On-Card Byte Code Verification for Java Cards 37-40 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Christian Steger and Reinhold Weiß PROCOMON - An Automatically Generated Predictive Control-Signal Monitor PROCOMON - An Automatically Generated Predictive Control-Signal Monitor 654-660 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Christian Steger Automatic and Optimal Allocation of Safety Integrity Levels Automatic and Optimal Allocation of Safety Integrity Levels 258-263 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Christian Steger and Reinhold Weiß A light-weight compression method for Java Card technology A light-weight compression method for Java Card technology Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Christian Steger and Reinhold Weiß A CPLD-based Safety Concept for Industrial Applications A CPLD-based Safety Concept for Industrial Applications 3027-3032 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Christian Steger Patterns for Common Criteria Certification Patterns for Common Criteria Certification 1 - 15 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Christian Steger and Reinhold Weiß On the Dictionary Compression for Java Card Environment On the Dictionary Compression for Java Card Environment 68-76 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Christian Steger and Reinhold Weiß Instruction Folding Compression for Java Card Runtime Environment Instruction Folding Compression for Java Card Runtime Environment 228-235 Publikation in PURE anzeigen
Christian Steger and Thomas Ulz A Secured Offline Authentication Approach for Industrial Mobile Robots A Secured Offline Authentication Approach for Industrial Mobile Robots Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Christian Steger Verifying Generic IEC 61508 CPU Self-Tests with Fault Injection Verifying Generic IEC 61508 CPU Self-Tests with Fault Injection 1-2 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Christian Steger Combined variability management of business processes and software architectures Combined variability management of business processes and software architectures 36-45 Publikation in PURE anzeigen
Christian Steger and Reinhold Weiß Patterns of Software Modeling Patterns of Software Modeling 428-437 Publikation in PURE anzeigen
Christian Steger Software configuration based on order processes Software configuration based on order processes 200-220 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Christian Steger and Lukas Alexander Greßl Design and Implementation of an HCI Based Peer to Peer APDU Protocol Design and Implementation of an HCI Based Peer to Peer APDU Protocol Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Sonstiger Beitrag
Christian Steger, Andreas Strasser and Philipp Stelzer Speed-Up of MEMS Mirror's Transient Start-Up Procedure Publikation in PURE anzeigen
Christian Steger, Andreas Strasser and Philipp Stelzer FITness Assessment - Hardware Algorithm Safety Validation Publikation in PURE anzeigen
Kay Uwe Römer, Markus Schuß and Christian Steger A Novel Simulation-based Verification Pattern for Parallel Executions in the Cloud Publikation in PURE anzeigen
Christian Steger and Alexander Rech Increasing Interoperability Between Heterogeneous Smart City Applications Publikation in PURE anzeigen