SWN Nets as a Framework for the Specification and the Analysis of FT Techniques Adopted in Electric Plant Automation
The use of formal methods for specification and analysis of dependable systems is considered a promising opportunity to support the evaluation of critical issues since the early design phases. Stochastic Petri nets can play an important role not only for the specification of functional issues of a system, but also for the predictive evaluation of performance and dependability properties. In this paper we investigate the possibility of using Stochastic Well-formed Nets (SWN) as a framework for specifying, validating and evaluating fault tolerance mechanisms used in plant automation. A temporal redundancy technique currently adopted in several electric plants to deal with transient faults is taken as a case-study. The peculiar feature of SWNs is the capability of directly generating an aggregated state space thus allowing for efficient model analysis.
KeywordsFault Tolerance Colour Class Transient Fault Fault Process Early Design Phase
Unable to display preview. Download preview PDF.
- 1.L. Kant, W.H. Sanders: Loss Process Analysis of the Knockout Switch Using Stochastic Activity Networks. ICCCN 95, Las Vegas, NV, USA, September 1995Google Scholar
- 2.M.Ajmone Marsan, R. Gaeta: SWN Analysis and Simulation of Large Knockout ATM Switches. In: Desel, J., Silva, M. (eds.): ICATPN 98. Lecture Notes in Computer Science, Vol. 1420. Springer-Verlag, Berlin Heidelberg New York (1998) 326–344Google Scholar
- 8.R. Gargiuli, P.G. Mirandola, et al.: ENEL Approach to Computer Supervisory Remote Control of Electric Power Distribution Network. CIRED, Brighton (UK), 1981Google Scholar
- 10.O. Botti, F:De Cindio: Process and resource boxes: An integrated PN performance model for applications and architectures. Systems, Man and Cybernetics, Le Toquet, France, 1993Google Scholar
- 11.G. Deconinck, O. Botti, et al.: Stable Memory in Substation Automation: a Case Study. FTCS-28, Munich, June 1998Google Scholar
- 12.G. Deconinck, O. Botti, et al.: Reusable Software Solutions for more Fault-tolerant Industrial Embedded HPC Applications. Int. Journal Supercomputer, Vol. 13, n. 3-4, 1997Google Scholar
- 13.O. Botti, V. De Florio, G. Deconinck, et al.: TIRAN: Flexible and Portable Fault Tolerance Solutions for Cost Effective Dependable Applications. submitted for publicationGoogle Scholar