DOI QR코드

DOI QR Code

IEC 61508 into PES for Train Control Systems

IEC 61508에 의한 열차제어장치용 PES 구성에 관한 연구

  • Kang, Shin-Ju (Dept. of Railway Electric and Signaling Engineering, Graduate School of Railway, Seoul National University of Science and Technology) ;
  • Lee, Jongwoo (Dept. of Railway Electric and Signaling Engineering, Graduate School of Railway, Seoul National University of Science and Technology)
  • Received : 2013.06.04
  • Accepted : 2013.07.16
  • Published : 2013.08.01

Abstract

PES have been recently required to implement railway industry for its application flexibility. The PES should be commensurated with railway safety requirements. It achieved its safety through redundant PES. The redundant systems run with voting functions. The successful major voting result becomes the output of the redundant system. The redundant system have to be synchronized to vote each output results. This paper proposed an algorithm for synchronizing and a voter. The proposed algorithm and the voter are verified using simulation.

Keywords

References

  1. Exida, "IEC 61508 Overview Report", vol. 2, pp 1-29, January 2006
  2. Ron Bell, "Introduction to IEC61508", deliver.acm.org
  3. "An Introduction to Functional Safety and IEC61508", www.mtl-inst.com
  4. Simon Brown, "Overview of IEC61508-Design of E/E/PE safety-related system", IEE, vol.11, no.11, February 2000
  5. Dhiraj K. Pradhan, "Fault-Tolerant Computer System Design", Prentice Hall, pp-550, February 1996
  6. Barry W. Johnson " Design and Analysis of Digital System", Addison-Wesley, 1988
  7. Gunter Gloe et al. "The Application of IEC61508 in Automative Sector", pp 1-7
  8. Felix Redmill et al., "System Safety Hazin and Software Hazop", John Wiley & Son, June 1999
  9. Jefrrey W. Vincoli, "Basic guide to System Safety", John Wiley & Son, pp-224, 2006
  10. Nancy G. Leveson, "Safeware System Safety and Computers", Addison-Wesley, pp-680, 1995
  11. W.M. Goble et al. "Using a failure modes, effects and diagnostic analysis (FMEDA) to measure diagnostic coverage in programmable electronic system", Reliability Engineering and System Safety, 66(1999) 145-148 https://doi.org/10.1016/S0951-8320(99)00031-9
  12. Algirdas Avizienis et al., "Basic Concept and Taxonomy of Dependable and Secure Computing", IEEE Transaction on Dependable and Secure Computing, vol. 1, no. 1, 2004
  13. 財團法人 鐵道總合技術硏究所, "computer 制御信號 system 安全性.信賴性技術"
  14. B. Randell, "System Structure for Software Fault Tolerance", IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, vol. se-1, no. 2, 1975
  15. "ISA84,Electrical/Electronic/Programmable Electronic Systems (E/E/PES) for Use in Process Safety Applications", www.isa84.org
  16. Tieling Zhang et al, "Availability of systems with self-diagnostic components-applying Markov model to IEC 61508-6", Reliability Engineering and System Safety, vol. 80, pp.133-141, May 2003 https://doi.org/10.1016/S0951-8320(03)00004-8
  17. Ben L. DiVito et al, "Formal Technique for Synchronized Fault Tolerant Systems", pp 163-188, 1992
  18. Henrik Lonn, "A Fault Tolerant Clock Synchronization Algorithm for systems with low-precision oscillators", Dependable Computing - EDCC-3 Lecture Notes in Computer Science Volume 1667, 1999, pp 88-105
  19. Jennifer Lundelius et al, "A New Fault Tolerant Algorith for Clock Synchronization", http://groups.csail.mit.edu/tds/papers/Lynch/podc84.pdf
  20. Danny Dolev et al. "Dynamic Fault-Tolerant Clock Synchronization", October 1996
  21. JP Laprie, Dependable Computing and Fault Tolerance Concept and Terminology, http://www-users.cselabs.umn.edu/classes/Fall-2010/seng5861/Laprie-De finitions.pdf
  22. JP Laprie, "Dependable Computing: Concepts, Limits, Challenges", the 25th IEEE International Symposium on Fault-Tolerant Computing, Pasadena, California, USA, Special Issue, pp 42-54, 1995
  23. Debra S. Herrman, "software Safety and Reliability", IEEE Computer Society, pp-503, 1999

Cited by

  1. A Study on the Functional Safety Analysis of PES-based Electronic Interlocking Unit according to IEC 61508 vol.63, pp.11, 2014, https://doi.org/10.5370/KIEE.2014.63.11.1526