AH-HyUnify - control platform for hydro-electric power generation
The HyUnify platform integrates a cloud oriented architecture used in an real-time embedded systems context in the domain of hydro-electric power generation. A strategic goal is to support components used for optimization of energy production and grid stability on all layers of control (generators, power plant, and possibly grid level).
Staff member
Participant / Staff Member
Andrea Höller
Dipl.-Ing. BSc
Johannes Iber
Dipl.-Ing. BSc
Tobias Rauter
Dipl.-Ing. BSc
Funding sources
  • ANDRITZ HYDRO GmbH
  • Österreichische Forschungsförderungsgesellschaft mbH (FFG) , FFG
Research areas
  • Industrial Informatics

Selected Publications

2018
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
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
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
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
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
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
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
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
Michael Krisper Patterns grasping the trade-off between distributing data and information Show publication in PURE
2016
Book Chapter
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
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
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
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
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
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
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