Using SWN nets to specify and analyze FT mechanisms adopted in electric plant automation

Author

Capra, Lorenzo ; Gaeta, Rossano ; Botti, Oliver

Author_Institution

Dipt. di Inf., Torino Univ., Italy

Volume

1

fYear

1998

fDate

11-14 Oct 1998

Firstpage

493

Abstract

The increasing complexity of automation systems, which combine high functional, real-time and fault-tolerant requirements, demands for techniques and tools to support design choices and validation phases. In this paper we investigate the possibility of using a class of high-level stochastic Petri nets known as stochastic well-formed nets (SWN) as a framework for specifying and deriving quantitative properties of FT mechanisms used in (electric) plant automation. A temporal redundancy technique adopted in several plants is taken as a case-study.

Keywords

Petri nets; fault tolerance; real-time systems; redundancy; stochastic processes; FT mechanisms; SWN; design choices; electric plant automation; fault-tolerance requirements; functional requirements; high-level stochastic Petri nets; quantitative properties; real-time requirements; stochastic well-formed nets; temporal redundancy technique; validation phases; Costs; Design automation; Hardware; Manufacturing automation; Mechanical factors; Petri nets; Real time systems; Redundancy; Stochastic processes; Timing;

fLanguage

English

Publisher

ieee

Conference_Titel

Systems, Man, and Cybernetics, 1998. 1998 IEEE International Conference on

ISSN

1062-922X

Print_ISBN

0-7803-4778-1

Type

conf

DOI

10.1109/ICSMC.1998.725460

Filename

725460