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.
Mitarbeiter
Teilnehmer
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

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
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 Publikation in PURE anzeigen
Georg Macher A Textual Domain-Specific Language Based on the UML Testing ProfileA Textual Domain-Specific Language Based on the UML Testing Profile155-171 Publikation in PURE anzeigen
Michael Krisper Patterns grasping the trade-off between distributing data and informationPatterns grasping the trade-off between distributing data and information Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Michael Krisper Insertion SpacesInsertion Spaces Publikation in PURE anzeigen
Beitrag in Fachzeitschrift
Christian Steger Balancing Product and Process Assurance for Evolving Security Systems Publikation in PURE anzeigen
Georg Macher and Eugen Brenner Signal-Layer Security and Trust-Boundary Identification based on Hardware-Software Interface Definition Publikation in PURE anzeigen
Christian Steger and Reinhold Weiß Where does all this waste come from? Publikation in PURE anzeigen
Tagungsbeitrag
Michael Krisper A Metric for Evaluating Residual Complexity in Software A Metric for Evaluating Residual Complexity in Software 138-149 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Michael Krisper An Integrated Approach for Resilience in Industrial Control Systems An Integrated Approach for Resilience in Industrial Control Systems 64-74 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Christian Steger Patterns to establish a secure communication channel Patterns to establish a secure communication channel 1-14 Publikation in PURE anzeigen
Christian Steger Patterns for Common Criteria Certification Patterns for Common Criteria Certification 1 - 15 Publikation in PURE anzeigen
Michael Krisper Describing Binding Time in Software Design Patterns Describing Binding Time in Software Design Patterns Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Eugen Brenner Supporting Cyber-Security Based on Hardware-Software Interface Definition Supporting Cyber-Security Based on Hardware-Software Interface Definition 148 Publikation in PURE anzeigen
Eugen Brenner A Seamless Model-Transformation between System and Software Development Tools A Seamless Model-Transformation between System and Software Development Tools 1-6 Publikation in PURE anzeigen
Eugen Brenner RTE Generation and BSW Configuration Tool-Extension for Embedded Automotive Systems RTE Generation and BSW Configuration Tool-Extension for Embedded Automotive Systems Publikation in PURE anzeigen
Christian Steger A Framework for Process driven Software Configuration A Framework for Process driven Software Configuration 1 - 8 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Eugen Brenner Threat and Risk Assessment Methodologies in the Automotive Domain Threat and Risk Assessment Methodologies in the Automotive Domain 1-7 Publikation in PURE anzeigen
Eugen Brenner An Automotive Signal-Layer Security and Trust-Boundary Identification Approach An Automotive Signal-Layer Security and Trust-Boundary Identification Approach 490 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Georg Macher Automotive SPICE, safety and cybersecurity integration Automotive SPICE, safety and cybersecurity integration 273-285 Publikation in PURE anzeigen
Jürgen Dobaj INSpIRA: INtegrating Security Into Risk Assessment INSpIRA: INtegrating Security Into Risk Assessment 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
Michael Krisper and Jürgen Dobaj Towards Executable Dependability Properties Towards Executable Dependability Properties Publikation in PURE anzeigen
Christian Steger Software configuration based on order processes Software configuration based on order processes 200-220 Publikation in PURE anzeigen
Michael Krisper and Jürgen Dobaj A Microservice Architecture for the Industrial Internet-Of-Things A Microservice Architecture for the Industrial Internet-Of-Things Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Sonstiger Beitrag
Michael Krisper Patterns grasping the trade-off between distributing data and information Publikation in PURE anzeigen
EuroSPI 2016 Conference Video Publikation in PURE anzeigen
Michael Krisper Sortcolumn: Managing the Sequence of Arbitrary Ordered Elements Publikation in PURE anzeigen
Christian Steger Patterns to establish a secure communication channel Publikation in PURE anzeigen
Jürgen Dobaj Towards Executable Dependability Properties Publikation in PURE anzeigen