Industrial Informatics
The Industrial Informatics working group is oriented towards industry needs tackling challenges in technology, process improvement, and new compulsory standards. While products and solutions in automotive, automation, and IT services get more and more complex due to customer expectations, development cycle times are ever shrinking. It is not any more possible to build systems by combining artifacts separately developed by specialists. Systems have to be engineered in integrated design processes, across distributed supply chains, keeping track of any changes arising in an agile manner. Further complexity is added by additional compulsory standards to be followed for safety and security properties for products and critical infrastructure, as demanded by the modern society.
Staff member
Participant
Jürgen Dobaj
Dipl.-Ing. BSc Ing.
Andrea Höller
Dipl.-Ing. BSc
Johannes Iber
Dipl.-Ing. BSc
Nermin Kajtazovic
Dipl.-Ing. BSc
Michael Krisper
Dipl.-Ing. BSc
Georg Franz Heinrich Macher
Dipl.-Ing. BSc
Christopher Preschern
Dipl.-Ing. BSc
Markus Quaritsch
Dipl.-Ing. Dr.techn.
Wolfgang Raschke
Dipl.-Ing. BSc
Tobias Rauter
Dipl.-Ing. BSc
Andreas Daniel Sinnhofer
Dipl.-Ing. BSc
Harald Sporer
Dipl.-Ing. BSc

Selected Publications

2018
Book Chapter
Georg Macher and Eugen Brenner Integration of Security in the Development Lifecycle of Dependable Automotive CPSIntegration of Security in the Development Lifecycle of Dependable Automotive CPS383-423 Show publication in PURE
Journal Article
Georg Macher and Eugen Brenner Signal-Layer Security and Trust-Boundary Identification based on Hardware-Software Interface Definition Show publication in PURE
Conference/Workshop Article
Jürgen Dobaj INSpIRA: INtegrating Security Into Risk Assessment INSpIRA: INtegrating Security Into Risk Assessment Show publication in PURE
Michael Krisper and Jürgen Dobaj Towards Executable Dependability Properties Towards Executable Dependability Properties Show publication in PURE
Michael Krisper and Jürgen Dobaj A Microservice Architecture for the Industrial Internet-Of-Things A Microservice Architecture for the Industrial Internet-Of-Things Show publication in PURE
Michael Krisper and Jürgen Dobaj Use-Cases for Uncertainty Propagation in Distributed Control Systems Use-Cases for Uncertainty Propagation in Distributed Control Systems 368-379 Show publication in PURE
Other Article
Jürgen Dobaj Towards Executable Dependability Properties Show publication in PURE
2017
Book Chapter
Michael Krisper Physical Quantity: Towards a Pattern Language for Quantities and Units in Physical CalculationsPhysical Quantity: Towards a Pattern Language for Quantities and Units in Physical Calculations Show publication in PURE
Michael Krisper Insertion SpacesInsertion Spaces Show publication in PURE
Effective Approaches To Training CPS Knowledge And SkillsEffective Approaches To Training CPS Knowledge And Skills111 Show publication in PURE
A Self-Adaptive Software System for Increasing the Reliability and Security of Cyber-Physical SystemsA Self-Adaptive Software System for Increasing the Reliability and Security of Cyber-Physical Systems Show publication in PURE
Integrating Integrity Reporting into Industrial Control Systems - A Reality CheckIntegrating Integrity Reporting into Industrial Control Systems - A Reality Check358 Show publication in PURE
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
Michael Krisper Patterns grasping the trade-off between distributing data and informationPatterns grasping the trade-off between distributing data and information Show publication in PURE
Journal Article
Integrated design for tackling safety and security challenges of smart products and digital manufacturing Show publication in PURE
Conference/Workshop Article
Michael Krisper The Potential of Self-Adaptive Software Systems in Industrial Control Systems The Potential of Self-Adaptive Software Systems in Industrial Control Systems 150-161 Show publication in PURE
Automotive quality universities – AQU – integration of modular content into the higher education studies Automotive quality universities – AQU – integration of modular content into the higher education studies 453-467 Show publication in PURE
Need for the continuous evolution of systems engineering practices for modern vehicle engineering Need for the continuous evolution of systems engineering practices for modern vehicle engineering 439-452 Show publication in PURE
Industry 4.0 as digitalization over the entire product lifecycle Industry 4.0 as digitalization over the entire product lifecycle 334-351 Show publication in PURE
Systematic pattern approach for safety and security co-engineering in the automotive domain Systematic pattern approach for safety and security co-engineering in the automotive domain 329 Show publication in PURE
Michael Krisper Physical Quantity: A Pattern Language for Quantities and Units in Physical Calculations Physical Quantity: A Pattern Language for Quantities and Units in Physical Calculations Show publication in PURE
Eugen Brenner An Automotive Signal-Layer Security and Trust-Boundary Identification Approach An Automotive Signal-Layer Security and Trust-Boundary Identification Approach 490 Show publication in PURE
Georg Macher and Eugen Brenner Towards dependability engineering of cooperative automotive cyber-physical systems Towards dependability engineering of cooperative automotive cyber-physical systems 205-215 Show publication in PURE
Michael Krisper Supporting the integration of new security features in embedded control devices through the digitalization of production Supporting the integration of new security features in embedded control devices through the digitalization of production 360-371 Show publication in PURE
Georg Macher Automotive SPICE, safety and cybersecurity integration Automotive SPICE, safety and cybersecurity integration 273-285 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
Michael Krisper A Metric for Evaluating Residual Complexity in Software A Metric for Evaluating Residual Complexity in Software 138-149 Show publication in PURE
Michael Krisper Integration of Integrity Enforcing Technologies Into Embedded Control Devices: Experiences and Evaluation Integration of Integrity Enforcing Technologies Into Embedded Control Devices: Experiences and Evaluation 155-164 Show publication in PURE
Michael Krisper An Integrated Approach for Resilience in Industrial Control Systems An Integrated Approach for Resilience in Industrial Control Systems 64-74 Show publication in PURE
Other Article
Supporting the integration of new security features in embedded control devices through the digitalization of production Show publication in PURE
Michael Krisper Sortcolumn: Managing the Sequence of Arbitrary Ordered Elements Show publication in PURE
Automotive SPICE and Cyber Security Show publication in PURE
Automotive SPICE and Cyber Security Show publication in PURE
EuroSPI 2016 Conference Video Show publication in PURE
The AQUA ecosystem Show publication in PURE
Integrated Assessment of AutomotiveSPICE 3.0, Functional Safety ISO 26262, Cybersecurity SAE J3061 Show publication in PURE
Michael Krisper Patterns grasping the trade-off between distributing data and information Show publication in PURE
2016
Book
Systems, Software and Services Process Improvement978-3-319-44816-9 Show publication in PURE
Book Chapter
Preface to EuroSPI 2016 ProceedingsPreface to EuroSPI 2016 ProceedingsV-VII Show publication in PURE
PrefacePrefaceV-VII Show publication in PURE
Georg Macher A Textual Domain-Specific Language Based on the UML Testing ProfileA Textual Domain-Specific Language Based on the UML Testing Profile155-171 Show publication in PURE
Journal Article
Integrating Automotive SPICE, Functional Safety, and Cybersecurity Concepts: A Cybersecurity Layer Model Show publication in PURE
Integrating Automotive Hazard and Threat Analysis Methods: How Does This Fit with Assumptions of the SAE J3061? Show publication in PURE
Conference/Workshop Article
Patterns for Designing Configurability into Domain-Specific Language Elements Patterns for Designing Configurability into Domain-Specific Language Elements 1-14 Show publication in PURE
Static and Dynamic Integrity Properties Patterns Static and Dynamic Integrity Properties Patterns Show publication in PURE
Automotive Quality Universities - AQUA Alliance Extension to Higher Education Automotive Quality Universities - AQUA Alliance Extension to Higher Education 176-187 Show publication in PURE
An Analytical Study of Security Patterns An Analytical Study of Security Patterns Show publication in PURE
Diverse Compiling for Software-Based Recovery of Permanent Faults in COTS Processors Diverse Compiling for Software-Based Recovery of Permanent Faults in COTS Processors Show publication in PURE
Kay Uwe Römer, Markus Schuß and Christian Steger Simulation-based Verification of Automotive Safety-critical Systems Based on EAST-ADL Simulation-based Verification of Automotive Safety-critical Systems Based on EAST-ADL 245 Show publication in PURE
Kay Uwe Römer, Markus Schuß and Christian Steger Automatic Testbench Generation for Simulation-based Verification of Safety- Critical Systems in UML Automatic Testbench Generation for Simulation-based Verification of Safety- Critical Systems in UML Show publication in PURE
Kay Uwe Römer, Markus Schuß and Christian Steger Seamless integrated Simulation in Design and Verification Flow for Safety-Critical Systems Seamless integrated Simulation in Design and Verification Flow for Safety-Critical Systems Show publication in PURE
Kay Uwe Römer, Markus Schuß and Christian Steger Bringing UML/MARTE to life: A Model-Based Simulation-Framework for Safety-Critical Systems Bringing UML/MARTE to life: A Model-Based Simulation-Framework for Safety-Critical Systems Show publication in PURE
Christian Steger Patterns to establish a secure communication channel Patterns to establish a secure communication channel 1-14 Show publication in PURE
Thingtegrity: A Scalable Trusted Computing Architecture for the Internet of Things Thingtegrity: A Scalable Trusted Computing Architecture for the Internet of Things Show publication in PURE
Industry-Academia Cooperation to Empower Automotive Engineering Designers Industry-Academia Cooperation to Empower Automotive Engineering Designers Show publication in PURE
Towards a Secure, Resilient, and Distributed Infrastructure for Hydropower Plant Unit Control Towards a Secure, Resilient, and Distributed Infrastructure for Hydropower Plant Unit Control 253-254 Show publication in PURE
Michael Krisper Describing Binding Time in Software Design Patterns Describing Binding Time in Software Design Patterns Show publication in PURE
Eugen Brenner A Review of Threat Analysis and Risk Assessment Methods in the Automotive Context A Review of Threat Analysis and Risk Assessment Methods in the Automotive Context 130 Show publication in PURE
Christian Steger Patterns for Common Criteria Certification Patterns for Common Criteria Certification 1 - 15 Show publication in PURE
Eugen Brenner Supporting Cyber-Security Based on Hardware-Software Interface Definition Supporting Cyber-Security Based on Hardware-Software Interface Definition 148 Show publication in PURE
Eugen Brenner A Seamless Model-Transformation between System and Software Development Tools A Seamless Model-Transformation between System and Software Development Tools 1-6 Show publication in PURE
Eugen Brenner RTE Generation and BSW Configuration Tool-Extension for Embedded Automotive Systems RTE Generation and BSW Configuration Tool-Extension for Embedded Automotive Systems Show publication in PURE
Christian Steger A Framework for Process driven Software Configuration A Framework for Process driven Software Configuration 1 - 8 Show publication in PURE
Georg Macher Software-Based Fault Recovery via Adaptive Diversity for Reliable COTS Multi-Core Processors Software-Based Fault Recovery via Adaptive Diversity for Reliable COTS Multi-Core Processors 1-6 Show publication in PURE
Eugen Brenner Threat and Risk Assessment Methodologies in the Automotive Domain Threat and Risk Assessment Methodologies in the Automotive Domain 1-7 Show publication in PURE
Using Model-Based Testing for Manufacturing and Integration-Testing of Embedded Control Systems Using Model-Based Testing for Manufacturing and Integration-Testing of Embedded Control Systems Show publication in PURE
Integrity of Distributed Control Systems Integrity of Distributed Control Systems 1-4 Show publication in PURE
Development and production processes for secure embedded control devices Development and production processes for secure embedded control devices 119-131 Show publication in PURE
Asset-Centric Security Risk Assessment of Software Components Asset-Centric Security Risk Assessment of Software Components 1-7 Show publication in PURE
Other Article
How to Choose Proper Integrity Properties Show publication in PURE
Pattern Catalog for Designing Configurability into Domain-Specific Language Elements Show publication in PURE
Christian Steger Patterns to establish a secure communication channel Show publication in PURE
2015
Journal Article
Christian Steger and Reinhold Weiß Where does all this waste come from? Show publication in PURE
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
Christian Steger Evaluation paradigm selection according to Common Criteria for an incremental product development Evaluation paradigm selection according to Common Criteria for an incremental product development 1-5 Show publication in PURE
2014
Thesis
varBPM: A product line for creating business process model variants Show publication in PURE