Repozytorium publikacji - Politechnika Gdańska

W niniejszym rozdziale przedstawiono oprogramowanie ProSIL wspomagające zarządzanie bezpieczeństwem funkcjonalnym. Program ProSIL składa się z dwóch modułów wspomagających: określenie wymaganego poziomu SIL (moduł ProSILen) oraz weryfikację SIL (moduł ProSILer). W aplikacji ProSIL zaimplementowano opracowaną w trakcie badań metodykę analizy bezpieczeństwa funkcjonalnego w projektowaniu i użytkowaniu systemów SIS zgodnie z wymaganiami z PN-EN 61508 i PN-EN 61511. Do określania wymaganego poziomu nienaruszalności bezpieczeństwa SIL dla zdefiniowanych funkcji bezpieczeństwa w module ProSILen wykorzystuje się metody matrycy oraz grafów ryzyka. Do weryfikacji SIL systemów SIS i BPCS zastosowano metody ilościowe wykorzystujące schematy blokowe niezawodności, grafy Markowa, drzewa niezdatności i technikę cięć minimalnych oraz gotowe modele probabilistyczne systemów E/E/PE zawarte w normach.

Autorzy

• mgr inż. Tomasz Barnert link otwiera się w nowej karcie ,
• prof. dr hab. inż. Kazimierz Kosmowski link otwiera się w nowej karcie ,
• dr inż. Michał Porzeziński link otwiera się w nowej karcie ,
• inż. Maciej Kozyra link otwiera się w nowej karcie ,
• dr hab. inż. Marcin Śliwiński link otwiera się w nowej karcie