Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "probabilistic modelling" wg kryterium: Temat


Wyświetlanie 1-2 z 2
Tytuł:
Wspomagana komputerowo weryfikacja określonego poziomu nienaruszalności bezpieczeństwa SIL z wykorzystaniem autorskiej aplikacji ProSIL
ProSIL software system for computer aided safety integrity level verification
Autorzy:
Śliwiński, M.
Barnert, T.
Piesik, E.
Powiązania:
https://bibliotekanauki.pl/articles/269027.pdf
Data publikacji:
2013
Wydawca:
Politechnika Gdańska. Wydział Elektrotechniki i Automatyki
Tematy:
modelowanie probabilistyczne
weryfikacja poziomu nienaruszalności bezpieczeństwa SIL
probabilistic modelling
safety integrity level (SIL) verification
Opis:
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 (moduł ProSIL/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.
In this article a prototype ProSIL software system for computer-aided functional safety management is discribed. The software consists of three modules for: determination of the required SIL level (ProSILen), verification of the SIL level (ProSILer), and layer of protection analysis (ProSIL/LOPA). In ProSIL the methods concerning functional safety analysis in the process of the design and operation of Safety Instrumented Systems (SIS) are implemented according to PN-EN 61508 and PN-EN 61511 standards, and some new methods.
Źródło:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej; 2013, 36; 161-164
1425-5766
2353-1290
Pojawia się w:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Weryfikacja poziomów nienaruszalności bezpieczeństwa z uwzględnieniem aspektów ochrony informacji
Security aspects in verification of the safety integrity level
Autorzy:
Śliwiński, M.
Barnert, T.
Piesik, E.
Powiązania:
https://bibliotekanauki.pl/articles/267039.pdf
Data publikacji:
2014
Wydawca:
Politechnika Gdańska. Wydział Elektrotechniki i Automatyki
Tematy:
SIL
EAL
SeSa
modelowanie
weryfikacja
safety integrity level (SIL)
evaluation assurance level (EAL)
probabilistic modelling
verification
Opis:
Poszczególnym poziomom SIL projektowanego systemu elektrycznego/elektronicznego/programowalnego elektr onicznego E/E/PE (BPCS lub SIS) odpowiadają ilościowe kryteria probabilistyczne. Dowód spełnienia przez system zabezpieczeń wymagań SIL nazywa się weryfikacją. Model probabilistyczny dowolnego systemu zabezpieczeń SIS można przedstawić za pomocą schematów blokowych niezawodności RBD, grafów Markowa, równań uproszczonych oraz drzew niezdatności FTA. W niniejszym referacie przedstawiono wykorzystanie metod (w ramach aktualizacji metodyki analiz bezpieczeństwa funkcjonalnego) weryfikacji SIL z uwzględnieniem zagadnień ochrony informacji m.in. poprzez wykorzystanie w tym procesie poziomów uzasadnionego zaufania EAL, lub przypisaniu analizowanemu systemowi stopnia ochrony informacji na podstawie liczby pierścieni zabezpieczeniowo ochronnych wg metodyki SeSa - SINTEF, wraz z uwzględnieniem klasyfikacji systemów rozproszonych, w module weryfikacji SIL autorskiego oprogramowania ProSILEAL.
The article addresses some important issues of the functional safety analysis, namely the safety integrity level (SIL) verification of distributed control and protection systems with regard to security aspects. A quantitative method for SIL (IEC 61508, 61511) verification, based on so called evaluation assurance levels (EAL) and Secure Safety (SeSa) methodology, is presented. In this article is described a prototype ProSIL-EAL software system for computer-aided functional safety management. In ProSIL-EAL the methods (e.g. veryfying the SIL level of SIS) concerning functional safety analysis in the process of the design and operation of Safety Instrumented Systems (SIS) with security aspects are implemented according to PN-EN 61508, PN-EN 61511, ISO/IEC 15408 standards and SeSa - SINTEF methodology.
Źródło:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej; 2014, 40; 107-110
1425-5766
2353-1290
Pojawia się w:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-2 z 2

    Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies