Dependability assessment of an industrial programmable logic controller via parametric fault-tree and high level Petri net

Proceedings - 9th International Workshop on Petri Nets and Performance Models, PNPM 2001

Volumn , Issue , 2001, Pages 29-38

  Gaeta, Rossano ^a   Bobbio, Andrea ^b   Franceschinis, Giuliana ^b   Portinale, Luigi ^b  

^a UNIVERSITY OF TURIN   (Italy)

^b UNIVERSITY OF EASTERN PIEDMONT   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; CONTROLLERS; PROGRAMMABLE LOGIC CONTROLLERS; PROGRAMMED CONTROL SYSTEMS;

CASE-STUDIES; DEPENDABILITY ASSESSMENTS; ENVIRONMENTAL AGENCY; FAULT-TREES; HIGH-LEVEL PETRI NETS; LOGIC CONTROLLER; PARAMETRIC FAULT; PROGRAMMABLE LOGIC; PROPRIETARY INFORMATION; SAFETY FUNCTIONS;

PETRI NETS;

EID: 0012344568     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PNPM.2001.953353     Document Type: Conference Paper

References (15)

1. A. Anand and A. Somani. Hierarchical analysis of fault trees with dependencies,using decomposition. In Proceedings IEEE Annual Reliability and Maintainability Symposium, pages 69-75,1998.
2. A. Bobbio, G. Franceschinis, L. Portinale, and R. Gaeta. Exploiting Petri nets to support fault-treebased dependability analysis. In 8-th International Workshop on Petri Nets and Performance Models - PNPM99, pages 146-155. IEEE Computer Society, 1999.
3. J. Carrasco and V. S. Né. An algorithm to find minimal cuts of coherent fault-trees with event-classes,using a decision tree. IEEE Transactions on Reliability, 48:3141, 1999.
4. G. Chiola, C. Dutheillet, G. Franceschinis, and S. Had-dad. Stochastic well-formed coloured nets for symmetric modelling applications. lEEE Transactions on Computers, 4211343-1 360,1993.
5. G. Chiola, G. Franceshinis, R. Gaeta, and M. Ribaudo. Greatspnl.7: Graphical editor and analyzer for timed and stochasticPetri nets. Performance Evaluation, 24, 1995.
6. J. B. Dugan, S. Bavuso, and M. Boyd. Fault-trees and Markov models for reliability analysis of fault-tolerant digital systems. Reliability Engineering and System Safety, 39:291-307,1993.
7. J. B. Dugan, K. Sullivan, and D. Coppit. Developing a low-cost high-quality software tool for dynamic fault-tree analysis. IEEE Transactions on Reliability, 49(1):49-59, 2000.
8. E. Henley and H. Kumamoto. Reliability Engineering and Risk Assessment Prentice Hall, Englewood Cliffs, 1981.
9. G. Hura and J. Atwood. The use of Petri nets to analyze coherent fault-trees. IEEE Transactions on Reliability, 37:469-474,1988.
10. W. Lee, D. Grosh,F. Tillman,and C. Lie. Fault tree analysis, methods and applications - A review. IEEE Transactions on Reliability, R-34:194-203, 1985.
11. N. Leveson. Safeware: System Safey and Computers. Addison-Wesley,1995.
12. M. Malhotra and K. Trivedi. Dependability modeling using Petri nets. IEEE Transactions on Reliability, R-44:428-440, 1995.
13. R. Manian, D. Coppit, K. Sullivan, and J. Dugan. Bridging the gap between systems and dynamic fault tree models. In Proceedings IEEE Annual Reliability and Maintainability Symposium, pages 105-1 11, 1999.
14. W. Schneeweiss. The Fault Tree Method. LiLoLe Verlag, 1999.
15. H. Zhu, S. Zhou, J. Dugan, and K. Sullivan. A benchmark for quantitative fault tree reliability analysis. In Proceedings IEEE Annual Reliability and Maintainability Symposium, pages 86-93,2001.