Search
Abstract
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 (5)
Cite as
Full text
full text is not available in portal
Keywords
Details
- Category:
- Monographic publication
- Type:
- rozdział, artykuł w książce - dziele zbiorowym /podręczniku o zasięgu krajowym
- Title of issue:
- W : Podstawy bezpieczeństwa funkcjonalnego strony 205 - 221
- Language:
- Polish
- Publication year:
- 2015
- Bibliographic description:
- Barnert T., Kosmowski K., Porzeziński M., Kozyra M., Śliwiński M.: Komputerowe wspomaganie procesu zarządzania bezpieczeństwem funkcjonalnym// W : Podstawy bezpieczeństwa funkcjonalnego/ ed. Kazimierz T. Kosmowski Gdańsk: Wydawnictwo Politechniki Gdańskiej, 2015, s.205-221
- Verified by:
- Gdańsk University of Technology
seen 152 times