Wspomagana komputerowo weryfikacja określonego poziomu nienaruszalności bezpieczeństwa SIL z wykorzystaniem autorskiej aplikacji ProSIL

• Autorzy: Śliwiński M. , Barnert T. , Piesik E.

Warianty tytułu

EN

ProSIL software system for computer aided safety integrity level verification

• Konferencja: Seminarium ZASTOSOWANIE KOMPUTERÓW W NAUCE I TECHNICE 2013 (XXIII; 2013 ; Gdańsk, Polska)
• Języki publikacji: PL

Abstrakty

PL

W referacie przedstawiono oprogramowanie Pro SIL wspomagające zarządzanie bezpieczeństwem funkcjonalnym. Program ProSIL składa się z trzech modułów wspomagających: określanie wymaganego poziomu SIL (moduł ProSILen) weryfikację SIL (moduł ProSILer) oraz przeprowadzenie analizy warstw zabezpieczeń metodą LOPA (moduł ProSIL/LOPA). W aplikacji ProSIL zaimplementowano opracowaną w trakcie badań metodykę analizy bezpieczeństwa funkcjonalnego w projektowaniu i użytkowaniu systemów SIS zgodnie z wymaganiami PN-EN 61508 i PN-EN 61511.

EN

In this article a prototype ProSIL software system for computer-aided functional safety management is discribed. The software consists of three modules for: determination of the required SIL level (ProSILen), verification of the SIL level (ProSILer), and layer of protection analysis (ProSIL/LOPA). In ProSIL the methods concerning functional safety analysis in the process of the design and operation of Safety Instrumented Systems (SIS) are implemented according to PN-EN 61508 and PN-EN 61511 standards, and some new methods.

Słowa kluczowe

PL

modelowanie probabilistyczne; weryfikacja poziomu nienaruszalności bezpieczeństwa SIL

EN

probabilistic modelling; safety integrity level (SIL) verification

• Wydawca: Wydział Elektrotechniki i Automatyki Politechniki Gdańskiej
• Czasopismo: Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej
• Rocznik: 2013
• Tom: Nr 36
• Strony: 161--164
• Opis fizyczny: Bibliogr. 8 poz., rys.

Twórcy

autor

Śliwiński M.

• Politechnika Gdańska, ul. G. Narutowicza 11/12, 80-952 Gdańsk

autor

Barnert T.

• Politechnika Gdańska, ul. G. Narutowicza 11/12, 80-952 Gdańsk

autor

Piesik E.

• Politechnika Gdańska, ul. G. Narutowicza 11/12, 80-952 Gdańsk

Bibliografia

• 1. Barnert T., Śliwiński M.: Methods for verification safety integrity level in control and protection systems. Functional Safety Management in Critical Systems. Fundacja Rozwoju Uniwersytetu Gdańskiego. Gdańsk 2007 s. 171-185, ISBN 978-83-7531-006-1.
• 2. Barnert T., Kosmowski K.T., Śliwiński M.: Determining and verifying the safety integrity level of the control and protection systems under uncertainty. ESREL 2008 European Safety & Reliability Conference, Valencia, 2008
• 3. Barnert T., Kosmowski K.T., Śliwiński M.: A knowledgebased approach for functional safety management. Taylor & Francis Group, European Safety & Reliability Conference ESREL, Praga, Czechy, 2009.
• 4. Barnert T., Kosmowski K.T., Śliwiński M.: Integrated functional safety and security analysis of process control and protection systems with regard to uncertainty issues. PSAM, Seattle, USA, 2010.
• 5. PN-EN 61508. Functional safety of electrical/electronic/programmable electronic safety – related systems. Parts 1-7. International Electrotechnical Commission (IEC), 2010.
• 6. PN-EN 61511. Functional safety: Safety instrumented systems for the process industry sector. Parts 1-3. International Electrotechnical Commission (IEC), 2000.
• 7. Reliability Data for Safety Instrumented Systems - PDS Data Handbook. SINTEF 2010 Edition, ISBN 978-82-14-04849-0, SINTEF A13502.
• 8. Reliability Prediction Method for Safety Instrumented Systems - PDS Method Handbook. SINTEF 2010. Edition, ISBN 978-82-14-04849-0, SINTEF A13502.