Publications Repository - Gdańsk University of Technology

Page settings

polski
Publications Repository
Gdańsk University of Technology

Treść strony

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

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. 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. Do weryfikacji systemów automatyki zabezpieczeniowej zastosowano metody ilościowe wykorzystujące schematy blokowe niezawodności, grafy Markowa, technikę cięć minimalnych generowanych na podstawie drzew niezdatności oraz gotowe modele probabilistyczne dla różnych konfiguracji nadmiarowych systemów E/E/PE zawarte w normach.

Authors

Additional information

Category
Publikacja w czasopiśmie
Type
artykuły w czasopismach recenzowanych i innych wydawnictwach ciągłych
Language
polski
Publication year
2013

Source: MOSTWiedzy.pl - publication "Wspomagana komputerowo weryfikacja określonego poziomu nienaruszalności bezpieczeństwa sil z wykorzystaniem autorskiej aplikacji ProSIL" link open in new tab

Portal MOST Wiedzy link open in new tab