Title :
Flexible development of dependability services: an experience derived from energy automation systems
Author :
De Florio, Vincenzo
Author_Institution :
Dept. of Electr. Eng., Katholieke Univ., Leuven
Abstract :
This paper describes an approach for the flexible development of dependable automation services starting from their requirements. The approach is presented through the use of a case study in the field of energy automation systems. The approach is based on the use of a custom compositional recovery language that allows one to achieve, in software, a flexible and dependable solution for the specified requirements. The qualitative and quantitative properties of different configurations of the solution are then assessed by modelling, using stochastic Petri nets
Keywords :
Petri nets; fault tolerant computing; power engineering computing; power system reliability; project engineering; Ariel language; ESPRIT project TIRAN; Redundant Watchdog; custom compositional recovery language; dependable automation services; electric power system; energy automation systems; fault tolerant computing; flexible development; mission-critical automation; stochastic Petri nets; Automation; Bismuth; Conferences; Power engineering and energy; Systems engineering and theory;
Conference_Titel :
Engineering of Computer-Based Systems, 2002. Proceedings. Ninth Annual IEEE International Conference and Workshop on the
Conference_Location :
Lund
Print_ISBN :
0-7695-1549-5
DOI :
10.1109/ECBS.2002.999826
