Software requirements for the control systems according to the level of functional safety

Gulland, W.G.: Methods of Determining Safety Integrity Level (SIL) Requirements - Pros and Cons, Proceedings of the Safety-Critical Systems Symposium, 2004, Springer pp. 105-12210.1007/978-0-85729-408-1_6Search in Google Scholar

Janota, A., Spalek, J., Brtková, Z., Hrbček, J.: Úrovne integrity bezpečnosti v iniciatíve eSafety. [online]. Available on internet: http://kris.uniza.sk/janota/dokumenty/NavAge06-023l.pdfSearch in Google Scholar

Korytár, M., Gabriska, D. Integrated security levels and analysis of their implications to the maintenance. In Journal of Applied Mathematics, Statistics and Informatics. Vol. 10, No. 2 (2014), pp. 33-42. ISSN 1336-9180.Search in Google Scholar

Michaľčonok, G., Korytár, M., Tanuška, P. The use of Petri Nets in safety - critical control systems. In Applied Mechanics and Materials : Novel Trends in Production Devices and Systems II. Special topic volume with invited peer reviewed papers only. Vol. 693 (2014), pp. 104-109. ISSN 1660-9336.Search in Google Scholar

Michaľčonok, G., Korytár, M. Integration of principle of functional security to the process control system. In IV International scientific – practical conference „Actual problems of modern science“, Alushta 27.-30.4.2015Search in Google Scholar

STANDARD IEC 61508-3 2010. Functional safety of electrical/electronic/programmable electronic safety-related systems. Part 3: Software requirements.Search in Google Scholar

STANDARD IEC 61511-1 2003: Functional safety — Safety instrumented systems for the process industry sector. Part 1: Framework, definitions, system, hardware and software requirements.Search in Google Scholar