Flexible Development of Dependability Services: An Experience Derived from Energy Automation Systems

TL;DR

This paper presents a novel approach combining a custom compositional recovery language and Petri net modeling to develop flexible, dependable automation services in energy systems, enhancing reliability and adaptability.

Contribution

It introduces a new method integrating recovery languages and Petri net modeling for flexible dependability in automation services.

Findings

Demonstrates the effectiveness of recovery languages in flexible dependability

Shows how Petri nets can assess different service configurations

Validates approach through a case study in energy automation

Abstract

This paper describes a novel approach for the flexible development of dependable automation services applied to a case study taken from requirements of energy automation systems. It shows first how the use of a custom compositional recovery language can be exploited to achieve a flexible and dependable functionality in software. Then it is shown how modeling techniques based on Petri nets can be used to assess the properties that different configurations of the addressed service can achieve.