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

fYear

2002

fDate

2002

Firstpage

86

Lastpage

93

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/ECBS.2002.999826

Filename

999826