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
Participant
Christian Seifert
Research projects
- ADACORSA - Airborne data collection on resilient system architectures
- DiSEL - Digitization of services, equipment and logistics
Selected Publications
2023
Conference/Workshop Article
Trust your BMS: Designing a Lightweight Authentication Architecture for Industrial Networks
2022 IEEE International Conference on Industrial Technology (ICIT)
Show publication in PURE
2022
Journal Article
Secure and Trustworthy NFC-based Sensor Readout for Battery Packs in Battery Management Systems
Show publication in PURE
Conference/Workshop Article
A Novel Secure NFC-based Approach for BMS Monitoring and Diagnostic Readout
2022 IEEE International Conference on RFID, RFID 2022
23-28
Show publication in PURE
Live Migration of a 3D Flash LiDAR System between two Independent Data Processing Systems with Redundant Design
2022 IEEE Sensors Applications Symposium, SAS 2022 - Proceedings
Show publication in PURE
2021
Conference/Workshop Article
Towards Dynamic Master Determination in MEMS-based Micro-Scanning LiDAR Systems
32nd IEEE Intelligent Vehicles Symposium, IV 2021
874-880
Show publication in PURE
Towards Fault Injection Modules for Functionality Checks in MEMS-based LiDAR Systems
2021 IEEE Sensors Applications Symposium, SAS 2021 - Proceedings
Show publication in PURE
Evaluation of Novel Safety Concepts for Automotive Perception in Real-World Environments
2021 IEEE International Conference on Mechatronics, Robotics and Systems Engineering
Show publication in PURE
2020
Journal Article
Active Monitoring Concepts for Safety-Critical Mirror Drivers of MEMS Micro-Scanning LiDAR Systems
Show publication in PURE
A Novel Automated Interoperability Test and Debug System for Near-Field Communication
Show publication in PURE
Conference/Workshop Article
Enabling Fail-Operational Behavior and Degradation for Safety-Critical Automotive 3D Flash LiDAR Systems
Proceedings - Euromicro Conference on Digital System Design, DSD 2020
463-468
Show publication in PURE
Fail-Operational Shock Detection and Correction of MEMS-based Micro-Scanning LiDAR Systems
2020 IEEE Sensors Applications Symposium, SAS 2020 - Proceedings
Show publication in PURE
Towards Synchronisation of Multiple Independent MEMS-based Micro-Scanning LiDAR Systems
2020 IEEE Symposium on Intelligent Vehicle
1080-1085
Show publication in PURE
Monitor for Safety-Critical Mirror Drivers of MEMS Micro-Scanning LiDAR Systems
PESARO 2020
7-12
Show publication in PURE
Enabling Live State-of-Health Monitoring for a Safety-Critical Automotive LiDAR System
2020 IEEE Sensors Applications Symposium, SAS 2020 - Proceedings
Show publication in PURE
Trigger Alarm: A Smart NFC Sniffer for High-Precision Measurements
Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Proceedings
186-200
Show publication in PURE
Towards Fully Interoperable NFC Devices
2020 IEEE International Conference on RFID, RFID 2020
Show publication in PURE
A Decentralized Service-Platform towards Cross-Domain Entitlement Handling
Proceedings - 2019 2nd IEEE International Conference on Blockchain, Blockchain 2019
455-462
Show publication in PURE
2019
Conference/Workshop Article
Live State-of-Health Safety Monitoring for Safety-Critical Automotive Systems
Proceedings - Euromicro Conference on Digital System Design, DSD 2019
102-107
Show publication in PURE
FITness Assessment - Hardware Algorithm Safety Validation
Performance, Safety and Robustness in Complex Systems and Applications
12-17
Show publication in PURE
A Novel Automated NFC Interoperability Test and Debug System
Smart SysTech 2019
27-34
Show publication in PURE
An Automated NFC Measurement System for Modeling and Characterization of NFC Communication Systems
ICECom 2019
Show publication in PURE
Simulating a Network: An Approach for Connecting Multiple SystemC Simulations
SENSORCOMM 2019, The Thirteenth International Conference on Sensor Technologies and Applications
Show publication in PURE
A Distributed Framework Towards Local and Online Service Access
Proceedings of the 24th IEEE Conference on Emerging Technologies and Factory Automation, ETFA 2019
1715-1721
Show publication in PURE
A Novel Embedded Platform for Secure and Privacy-Concerned Cross-Domain Service Access
Proceedings of the 30th Intelligent Vehicles Symposium, IV 2019
1961-1967
Show publication in PURE
Towards Continuous Sensor Operation: Modelling a Secured Smart Sensor in a Sparse Network Operated by Energy Harvesting
Proceedings of the 9th International Conference on Pervasive and Embedded Computing and Communication Systemc
57-64
Show publication in PURE
Other Article
Speed-Up of MEMS Mirror's Transient Start-Up Procedure
Show publication in PURE
Advanced NFC Interoperability Test Automation System
Show publication in PURE
2018
Conference/Workshop Article
QSNFC: Quick and Secured Near Field Communication for the Internet of Things
IEEE RFID
Show publication in PURE
Secured Remote Configuration Approach for Industrial Cyber-Physical Systems
IEEE ICPS 2018
Show publication in PURE
Automated Authentication Credential Derivation for the Secured Configuration of IoT Devices
IEEE SIES 2018
Show publication in PURE
Design and Implementation of an HCI Based Peer to Peer APDU Protocol
2018 21st Euromicro Conference on Digital System Design (DSD)
Show publication in PURE
Design of a low-level radar and time-of-flight sensor fusion framework
Proceedings - 21st Euromicro Conference on Digital System Design, DSD 2018
268-275
Show publication in PURE
Virtual white cane featuring time-of-flight 3D imaging supporting visually impaired users
Proceedings - 21st Euromicro Conference on Digital System Design, DSD 2018
450-457
Show publication in PURE
Increasing Interoperability Between Heterogeneous Smart City Applications
Proceedings of the 11th International Conference on Internet and Distributed Computing Systems, IDCS 2018
64-74
Show publication in PURE
2017
Book Chapter
Generation and Verification of a Safety-Aware Virtual Prototype in the Automotive DomainSolutions for Cyber-Physical Systems Ubiquity195
Show publication in PURE
Where Do All My Keys Come From?Solutions for Cyber-Physical Systems Ubiquity278
Show publication in PURE
Cyber-Physical System and Internet of Things SecuritySolutions for Cyber-Physical Systems Ubiquity248-277
Show publication in PURE
Journal Article
Secured and Easy-to-Use NFC-Based Device Configuration for the Internet of Things
Show publication in PURE
Conference/Workshop Article
SystemC Test Case Generation with the Gazebo Simulator
Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
67-72
Show publication in PURE
Sneakernet on Wheels: Trustworthy NFC-based Robot to Machine Communication
Proceedings of the 2017 IEEE International Conference on RFID Technology & Application (RFID-TA)
260-265
Show publication in PURE
Secured Offline Authentication on Industrial Mobile Robots using Biometric Data
Proceedings of the RoboCup International Symposium 2017
1-12
Show publication in PURE
Bring Your Own Key for the Industrial Internet of Things
Proceedings of the 2017 IEEE International Conference on Industrial Technology (ICIT)
1430-1435
Show publication in PURE
SECURECONFIG: NFC and QR-Code based Hybrid Approach for Smart Sensor Configuration
Proceedings of the 2017 IEEE International Conference on Radio Frequency Identification (RFID)
Show publication in PURE
Hardware-Secured Configuration and Two-Layer Attestation Architecture for Smart Sensors
Proceedings - 20th Euromicro Conference on Digital System Design, DSD 2017
229-236
Show publication in PURE
Hardware Secured, Password-based Authentication for Smart Sensors for the Industrial Internet of Things
Network and System Security
632-642
Show publication in PURE
Towards Trustworthy Data in Networked Control Systems: A Hardware-Based Approach
Proceedings of the 2017 IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)
Show publication in PURE
A Secured Offline Authentication Approach for Industrial Mobile Robots
Proceedings of the IEEE International Conference on Automation Science and Engineering
Show publication in PURE
Combined variability management of business processes and software architectures
BMSD 2017 - Proceedings of the 7th International Symposium on Business Modeling and Software Design
36-45
Show publication in PURE
Software configuration based on order processes
Business Modeling and Software Design - 6th International Symposium, BMSD 2016, Revised Selected Papers
200-220
Show publication in PURE
2016
Conference/Workshop Article
Patterns for Common Criteria Certification
ACM International Conference Proceeding Series
1 - 15
Show publication in PURE
A Novel Simulation-based Verification Pattern for Parallel Executions in the Cloud
Proceedings
Show publication in PURE
Other Article
A Novel Simulation-based Verification Pattern for Parallel Executions in the Cloud
Show publication in PURE
A Novel Simulation-based Verification Pattern for Parallel Executions in the Cloud
Show publication in PURE
2015
Journal Article
Balancing Product and Process Assurance for Evolving Security Systems
Show publication in PURE
Conference/Workshop Article
A Novel Design Method for Automotive Safety-Critical Systems based on UML/MARTE
Proceedings of the 2015 Forum on specification & Design Languages
177-184
Show publication in PURE
A Novel Method to Speed-Up the Evaluation of Cyber-Physical Systems (ISO 26262)
Proceedings of 2015 12° International Workshop on Intelligent Solutions in Embedded Systems
109-114
Show publication in PURE
A Novel Method for Fast Evaluation of Cyber-Physical Systems in Compliance with Functional Safety
SEAA - Proceedings of the Work in Progress Session
24-25
Show publication in PURE
varBPM - A Product Line for Creating Business Process Model Variants
Fifth International Symposium on Business Modeling and Software Design
184-191
Show publication in PURE
2014
Conference/Workshop Article
A High Performance Java Card Virtual Machine Interpreter based on an Application Specific Instruction-Set Processor
Digital System Design (DSD), 2014 Euromicro Conference on
270-278
Show publication in PURE
Embedding Research in the Industrial Field: A Case of a Transition to a Software Product Line
WISE 2014 Proceedings
3-8
Show publication in PURE
A Fault Attack Emulation Environment to Evaluate Java Card Virtual-Machine Security
EUROMICRO Symposium on Digital Systems Design
Show publication in PURE
A light-weight compression method for Java Card technology
EWiLi'14, The 4th Embedded Operating Systems Workshop
Show publication in PURE
Countering Type Confusion and Buffer Overflow Attacks on Java Smart Cards by Data Type Sensitive Obfuscation
First Workshop on Cryptography and Security in Computing Systems
19-24
Show publication in PURE
Patterns of Software Modeling
On the Move to Meaningful Internet Systems: OTM 2014 Workshops
428-437
Show publication in PURE
Set of Power-Management Patterns for Mobile Embedded Systems
Proceedings of VikingPloP 2014
Show publication in PURE
Supporting Evolving Security Models for an Agile Security Evaluation
Proceedings of the 1st International Workshop on Evolving Security & Privacy Requirements Engineering
31-36
Show publication in PURE
Instruction Folding Compression for Java Card Runtime Environment
Digital System Design (DSD), 2014 Euromicro Conference on
228-235
Show publication in PURE
A Flexible and Lightweight ECC-Based Authentication Solution for Resource Constrained Systems
17th Euromicro Conference on Digital System Design
372-378
Show publication in PURE
Hardware/Software Co-Design of Elliptic-Curve Cryptography for Resource-Constrained Applications
Proceedings of the 51st Annual Design Automation Conference
1-6
Show publication in PURE
Memory-Efficient On-Card Byte Code Verification for Java Cards
First Workshop on Cryptography and Security in Computing Systems
37-40
Show publication in PURE
2013
Journal Article
Case study on multiple fault dependability and security evaluations
Show publication in PURE
Power And Fault Emulation For Software Verification and System Stability Testing in Safety Critical Environments
Show publication in PURE
Conference/Workshop Article
A Defensive Java Card Virtual Machine to Thwart Fault Attacks by Microarchitectural Support
8th International Conference on Risks and Security of Internet and Systems (CRiSIS'13)
Show publication in PURE
Emulation-Based Design Evaluation of Reader / Smart Card Systems
IEEE International Symposium on Rapid System Prototyping (RSP)
80-86
Show publication in PURE
Energy Efficiency by Using Field Strength Scaling for Multi-Transponder Applications
Proceedings of the 12th International Conference on Telecommunications
263-269
Show publication in PURE
NFC-DynFS: A way to realize dynamic field strength scaling during communication
5th International Workshop on Near Field Communication (NFC 2013)
59-64
Show publication in PURE
A Defensive Virtual Machine Layer to Counteract Fault Attacks on Java Cards
Workshop in Information Security Theory and Practice (WISTP'13)
82-97
Show publication in PURE
Power and Thermal Fault Effect Exploration Framework for Reader / Smart Card Designs
16th Euromicro Conference on Digital System Design (DSD)
898-906
Show publication in PURE
PtNBridge - A Power-Aware and Trustworthy Near Field Communication Bridge to Embedded Systems
Proceedings of the 16th Euromicro Conference on Digital System Design(DSD)
907-914
Show publication in PURE
Emulation-Based Fault Effect Analysis for Resource Constrained, Secure, and Dependable Systems
16th Euromicro Conference on Digital System Design (DSD)
337-344
Show publication in PURE
Introduction of design pattern(s) for power-management in embedded systems
Proceeding of the 18th European Conference on Pattern Languages of Programs
Show publication in PURE
Emulation-Based Test and Verification of a Design’s Functional, Performance, Power, and Supply Voltage Behavior
21st Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP)
328-335
Show publication in PURE
On the Dictionary Compression for Java Card Environment
16th International Workshop on Software and Compilers for Embedded Systems
68-76
Show publication in PURE
Verifying Generic IEC 61508 CPU Self-Tests with Fault Injection
Proceedings of the 8th International Design and Test Symposium
1-2
Show publication in PURE
Integration of a Wireless Sensor Network Into a Reliable Data Flow Process for Slope Monitoring
2013 IFIP Wireless Days (WD)
1-4
Show publication in PURE
Automatized High-Level Evaluation of Security Properties for RTL Hardware Designs
Proceedings of the Workshop on Embedded Systems Security
1-8
Show publication in PURE
2012
Journal Article
POWER-MODES - POWer EmulatoR and MOdel based Dependability and Security evaluations
Show publication in PURE
Conference/Workshop Article
The PTF-Determinator: A run-time method used to save energy in NFC-Systems
Fourth International EURASIP Workshop on RFID Technology
92-98
Show publication in PURE
Hardware-Accelerated Workload Characterization for Power Modeling and Fault Injection
21th IEEE Asian Test Symposium (ATS)
149-154
Show publication in PURE
PROCOMON - An Automatically Generated Predictive Control-Signal Monitor
15th Euromicro Conference on Digital System Design (DSD)
654-660
Show publication in PURE
A Bridge from System to Software Development for Safety-Critical Automotive Embedded Systems
38th Euromicro Conference on Software Engineering and Advanced Applications (SEAA) Proceedings
75-79
Show publication in PURE
Efficient Fault Emulation using Automatic Pre-Injection Memory Access Analysis
25th IEEE International SOC Conference (SOCC)
277-282
Show publication in PURE
A Hardware/Software Simulation Environment for Energy Harvesting Wireless Sensor Networks
Proceedings of the 9th ACM symposium on Performance evaluation of wireless ad hoc, sensor, and ubiquitous networks
61-68
Show publication in PURE
System Side-Channel Leakage Emulation for HW/SW Security Coverification of MPSoCs
15th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)
139-144
Show publication in PURE
Towards an On-Site Characterization of Energy Harvesting Devices for Wireless Sensor Networks
2012 IEEE International Conference on Pervasive Computing and Communications Workshops
421-424
Show publication in PURE
Towards the Hardware Accelerated Defensive Virtual Machine - Type and Bound Protection
Eleventh Smart Card Research and Advanced Application Conference (CARDIS'12)
1-15
Show publication in PURE
Adaptive Field Strength Scaling - A Power Optimization Technique for Contactless Reader / Smart Card Systems
15th Euromicro Conference on Digital System Design (DSD)
616-623
Show publication in PURE
Estimation Based Power and Supply Voltage Management for Future RF-Powered Multi-Core Smart Cards
Design, Automation & Test in Europe Conference & Exhibition (DATE)
358-363
Show publication in PURE
Efficient fault emulation based on post-injection fault effect analysis (PIFEA)
55th IEEE International Midwest Symposium on Circuits and Systems (MWSCAS)
526-529
Show publication in PURE
NIZE - A Near Field Communication Interface Enabling Zero Energy Standby for Everyday Electronic Devices
IEEE 8th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob)
261-267
Show publication in PURE
Acceleration of Fault Attack Emulation by Consideration of Fault Propagation
11th International Conference on Field-Programmable Technology (FPT)
239-242
Show publication in PURE
Real-Time Landslide Monitoring Using Single-Frequency PPP: Proof of Concept
6th ESA Workshop on Satellite Navigation Technologies and European Workshop on GNSS Signals and Signal Processing, (NAVITEC)
1-6
Show publication in PURE
Automatic and Optimal Allocation of Safety Integrity Levels
Reliability and Maintainability Symposium (RAMS) Proceedings
258-263
Show publication in PURE
Other Article
Acceleration of Fault Attack Emulation by Consideration of Fault Propagation
Show publication in PURE
2011
Conference/Workshop Article
Run-Time FPGA Health Monitoring using Power Emulation Techniques
54th IEEE International Midwest Symposium on Circuits and Systems (MWSCAS)
1-4
Show publication in PURE
Accelerating Early Design Phase Differential Power Analysis Using Power Emulation Techniques
4th Annual IEEE International Symposium on Hardware-Oriented Security and Trust (HOST)
81-86
Show publication in PURE
A Computer-Aided Approach to Preliminary Hazard Analysis for Automotive Embedded Systems
18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems (ECBS) Proceedings
169-178
Show publication in PURE
Modular Fault Injector for Multiple Fault Dependability and Security Evaluations
Euromicro Conference on Digital System Design (DSD)
550-557
Show publication in PURE
Towards multi-modeling for domain description
Proceedings of the 15th International Software Product Line Conference
30-30
Show publication in PURE
Computer-Aided PHA, FTA and FMEA for Automotive Embedded Systems
30th International Conference on Computer Safety, Reliability and Security (SafeComp) Proceedings
113-127
Show publication in PURE
A Side Channel Attack Countermeasure using System-On-Chip Power Profile Scrambling
17th IEEE International On-Line Testing Symposium (IOLTS)
222-227
Show publication in PURE
A SystemC-AMS Simulation Environment for the Evaluation of Energy Harvesting Wireless Sensor Networks
Proceedings of the 2011 International Symposium on Performance Evaluation of Computer and Telecommunication Systems
247-252
Show publication in PURE
Designing of Efficient Energy Harvesting Systems for Autonomous WSNs Using a Tier Model
Telecommunications (ICT), 2011 IEEE 18th International Conference on
185-190
Show publication in PURE
Automatic Saboteur Placement for Emulation-Based Multi-Bit Fault Injection
6th International Workshop on Reconfigurable Communication-centric Systems-on-Chip ReCoSoC 2011
1-8
Show publication in PURE
Other Article
Run-Time FPGA Health Monitoring using Power Emulation Techniques
Show publication in PURE
2010
Conference/Workshop Article
Design and Implementation of Safety Functions on a Novel CPLD-based Fail-Safe System Architecture
17th IEEE International Conference and Workshops on Engineering of Computer-Based Systems (ECBS) Proceedings
206-212
Show publication in PURE
Performance Improvement and Energy Saving Based on Increasing Locality of Persistent Data in Embedded Systems
Systems (ICONS), 2010 Fifth International Conference on
175-180
Show publication in PURE
A CPLD-based Safety Concept for Industrial Applications
IEEE International Symposium on Industrial Electronics (ISIE) Proceedings
3027-3032
Show publication in PURE
Heterogeneous Co-Simulation Platform for the Efficient Analysis of Automotive Distributed Embedded Systems
Proceedings of the 8th IEEE International Workshop on Factory Communication Systems
Show publication in PURE
A Cross Domain Co-Simulation Platform for the Efficient Analysis of Mechatronic Systems
SAE World Congress
1-14
Show publication in PURE
Power Emulation: Methodology and Applications for HW/SW Power Optimization
8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE) 2010
Show publication in PURE
Holistic Simulation of FlexRay Networks by Using Run-Time Model Switching
Proceedings of the Design, Automation and Test in Europe 2010
544-549
Show publication in PURE
Exploration of the FlexRay Signal Integrity using a Combined Prototyping and Simulation Approach
Proceedings of the 13th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems
111-116
Show publication in PURE
An Automated Framework for Power-Critical Code Region Detection and Power Peak Optimization of Embedded Software
Power and Timing Modeling, Optimization and Simulation, 20th International Workshop, PATMOS 2010
11-20
Show publication in PURE
Identification and Verification of Security Relevant Functions in Embedded Systems Based on Source Code Annotations and Assertions
Information Security Theory and Practices. Security and Privacy of Pervasive Systems and Smart Devices
316-323
Show publication in PURE
Automated Power Characterization for Run-Time Power Emulation of SoC Designs
Proceedings of the 13th Euromicro Conference on Digital System Design (DSD) 2010
587-594
Show publication in PURE