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.
Authors
Additional information
- Category
- Publikacja monograficzna
- Type
- rozdział, artykuł w książce - dziele zbiorowym /podręczniku o zasięgu krajowym
- Language
- polski
- Publication year
- 2015
