Search
Wspomagana komputerowo weryfikacja określonego poziomu nienaruszalności bezpieczeństwa sil z wykorzystaniem autorskiej aplikacji ProSIL
Abstract
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 (3)
Cite as
Full text
- Publication version
- Accepted or Published Version
- License
-
open in new tab
Keywords
Details
- Category:
- Articles
- Type:
- artykuły w czasopismach recenzowanych i innych wydawnictwach ciągłych
- Published in:
-
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej
pages 161 - 164,
ISSN: 1425-5766 - Language:
- Polish
- Publication year:
- 2013
- Bibliographic description:
- Śliwiński M., Barnert T., Piesik E.: Wspomagana komputerowo weryfikacja określonego poziomu nienaruszalności bezpieczeństwa sil z wykorzystaniem autorskiej aplikacji ProSIL// Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej. -., nr. 36 (2013), s.161-164
- Verified by:
- Gdańsk University of Technology
seen 117 times