Communications - Scientific Letters of the University of Zilina 2010, 12(11):93-97 | DOI: 10.26552/com.C.2010.3A.93-97

Modelling of Safety Characteristics of Redundant Safety - Related Transmission System via Markov's Analysis

Jan Rofar1, Maria Franekova1, Peter Holecko1
1 Faculty of Electrical Engineering, University of Zilina, Slovakia

The paper deals with problems of safety features modelling using a safety-related redundant transmission system as part of a safety -critical control system. The main part of the paper is oriented to the Markov model description which was realised for a 1oo2 redundant transmission system. The results of quantitative safety analyses are valid for the fail safe redundant transmission system - Profibus DP with a ProfiSafe safety profile.

Keywords: safety-related transmission system, industrial application, modelling, quantitative analysis, Markov model, safety code, transmission code, SHARPE

Published: October 31, 2010  Show citation

ACS AIP APA ASA Harvard Chicago Chicago Notes IEEE ISO690 MLA NLM Turabian Vancouver
Rofar, J., Franekova, M., & Holecko, P. (2010). Modelling of Safety Characteristics of Redundant Safety - Related Transmission System via Markov's Analysis. Communications - Scientific Letters of the University of Zilina, 12(3A), 93-97. doi: 10.26552/com.C.2010.3A.93-97
Share...
Download citation
  • BibTeX (.bib)
  • Bookends (.ris)
  • EasyBib (.ris)
  • EndNote (.enw)
  • EndNote 8 (.xml)
  • ISI WoS (.isi)
  • Medlars (.medlars)
  • Mendeley (.ris)
  • MODS (.xml)
  • Papers (.ris)
  • RefWorks (.txt)
  • RefManager (.ris)
  • RIS (.ris)
  • MS Word (.xml)
  • Zotero (.ris)
    • Open full article

    References

    1. ZAHRADNIK, J., RASTOCNY, K., KUNHART, M.: Bezpecnost zeleznicnych zabezpecovacich systemov [Safety of Railway Control Systems], EDIS ZU, Zilina, 2004, ISBN 80-8070-296-9 (in Czech).
    2. MYKISKA, A.: Bezpecnost a spolehlivost technickych systemu [Safety and Reliability of Technical Systems], CVUT Praha, 2006, ISBN 80-01-02868-2, (in Czech).
    3. IEC 61508: Functional Safety of Electrical/Electronic/Programmable Electronic Safety-Related Systems, 1998.
    4. BILLINTON, R., ALLAN, R. N.: Reliability Evaluation of Engineering System - Second Edition, Extension College ol Engineering University ol Saskatchewan Saskatoon : Saskatchewan : Canada. 2007.
    5. CICHOCKI, T., GORSKI, J.: Failure Mode and Effect Analysis for Safety-Critical Systems with Software Components, Lecture Notes in Computer Science, Springer Berlin : Heidelberg, ISSN 0302_9743 (Print) 1611-3349 (Online).
    6. JESTY, P. H., HOBLEY, K. M., EVANS, R., KENDALL, I., CARS, J.: Safety Analysis of Vehicle-Based Systems, In: www.scholar/google.sk.
    7. BUKOWSKI, J. V., GOBLE, W. M.: Using Markov Models for Safety Analysis of Programmable Electronic Systems, ISA Transactions, Vol. 34, 1995, pp. 193-198. Go to original source...
    8. LEE, W. J., KIM, H. N.: A Slicing-Based Approach to Enhance Petri Net Reachability Analysis, Journal of Research and Practice in Information Technology, Vol. 32, No 2, 2000, 131
    9. www.bqr.com
    10. www.relexsoftware.de
    11. www.itemuk.com
    12. FRANEKOVA, M.: Modelovanie komunikacnych systemov v prostredi Matlab, Simulink a Communications Toolbox [Communication Systems Modelling in Environment Matlab and Communications Toolbox], ZU, 2003, ISSN 80-8070-027-3 (in Slovak).
    13. www.opnet.com.
    14. MALIK, R., MUHLFELD, R.: A Case Study in Verification of UML Statecharts: the PROFIsafe Protocol, Journal of Universal Computer Science, Vol. 9, Issue 2p, pp. 138-151.
    15. EN 50 159 - 1: Railway Applications: Communication, Signalling, and Processing Systems - Part 1: Safety-related Communication in Closed Transmission Systems, CENELEC, 1999.
    16. SHARPE Manual, http://www.ee.duke.edu/~chirel/MANUAL/manualSharpe.pdf.

    This is an open access article distributed under the terms of the Creative Commons Attribution 4.0 International License (CC BY 4.0), which permits use, distribution, and reproduction in any medium, provided the original publication is properly cited. No use, distribution or reproduction is permitted which does not comply with these terms.


    Return to the content