SWN Nets as a Framework for the Specification and the Analysis of FT Techniques Adopted in Electric Plant Automation

  • Lorenzo Capra
  • Rossano Gaeta
  • Oliver Botti
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1639)


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.


Fault Tolerance Colour Class Transient Fault Fault Process Early Design Phase 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 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. 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
  3. 3.
    M.Ajmone Marsan, R. Gaeta: Modeling ATM systems with GSPNs and SWNs. ACM Performance Evaluation Review, Vol. 26, n. 2, August 1998, pp. 28–37CrossRefGoogle Scholar
  4. 4.
    M.Ajmone Marsan, G. Balbo, G. Conte: A Class of Generalized Stochastic Petri Nets for the Performance Evaluation of Multiprocessor Systems. ACM Transactions on Computer Systems, Vol. 2, n. 2, May 1984, pp. 93–122CrossRefGoogle Scholar
  5. 5.
    G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad: Stochastic well-formed coloured nets for symmetric modelling applications. IEEE Transactions on Computers, Vol. 42, n. 11, November 1993, pp.1343–1360CrossRefGoogle Scholar
  6. 6.
    G. Chiola, G. Franceschinis, R. Gaeta, M. Ribaudo: GreatSPN 1.7: GRaphical Editor and Analyzer for Timed and Stochastic Petri Nets. Performance Evaluation, Vol. 24, n. 1,2, November 1995, pp. 47–68zbMATHCrossRefGoogle Scholar
  7. 7.
    R. Gaeta: Efficient Discrete-Event Simulation of Colored Petri Nets. IEEE Transaction on Software Engineering, Vol. 22, n. 9, September 1996, pp. 629–639CrossRefGoogle Scholar
  8. 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
  9. 9.
    O. Botti, L. Capra: A GSPN based methodology for the evaluation of concurrent applications in distributed plant automation systems. The EUROMICRO Journal of Systems Architecture, n. 42, 1996, pp. 503–530CrossRefGoogle Scholar
  10. 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. 11.
    G. Deconinck, O. Botti, et al.: Stable Memory in Substation Automation: a Case Study. FTCS-28, Munich, June 1998Google Scholar
  12. 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. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • Lorenzo Capra
    • 1
  • Rossano Gaeta
    • 1
  • Oliver Botti
    • 2
  1. 1.Dipartimento di InformaticaUniversità di TorinoTorinoItaly
  2. 2.Dept. of Electrical & Automation ResearchENEL S.p.A.Cologno MonzeseItaly

Personalised recommendations