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

0
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
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
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
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
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
Journal Article
Christian Steger Balancing Product and Process Assurance for Evolving Security Systems Show publication in PURE
Georg Macher and Eugen Brenner Signal-Layer Security and Trust-Boundary Identification based on Hardware-Software Interface Definition Show publication in PURE
Christian Steger and Reinhold Weiß Where does all this waste come from? Show publication in PURE
Conference/Workshop Article
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
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
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
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
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
Christian Steger Patterns for Common Criteria Certification Patterns for Common Criteria Certification 1 - 15 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
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
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
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
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
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
Jürgen Dobaj INSpIRA: INtegrating Security Into Risk Assessment INSpIRA: INtegrating Security Into Risk Assessment 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
Michael Krisper and Jürgen Dobaj Towards Executable Dependability Properties Towards Executable Dependability Properties 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 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
Michael Krisper Patterns grasping the trade-off between distributing data and information Show publication in PURE
EuroSPI 2016 Conference Video Show publication in PURE
Michael Krisper Sortcolumn: Managing the Sequence of Arbitrary Ordered Elements Show publication in PURE
Christian Steger Patterns to establish a secure communication channel Show publication in PURE
Jürgen Dobaj Towards Executable Dependability Properties Show publication in PURE