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.
Using SWN nets to specify and analyze FT mechanisms adopted in electric plant automation / L. Capra, R. Gaeta, O. Botti - In: 1998 IEEE international conference on systems, man and cybernetics : Hyatt Regency La Jolla, San Diego, California, USA, october 11-14,1998 : intelligent systems for humans in a cyberworldPiscataway : IEEE Computer Society, 1998. - ISBN 0780347781. - pp. 493-498 (( convegno IEEE International Conference on Systems, Man, and Cybernetics tenutosi a San Diego, CA, USA nel 1998.
Using SWN nets to specify and analyze FT mechanisms adopted in electric plant automation
L. CapraPrimo
;
1998
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.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
