Search
Abstract
W odpowiedzi na potrzebę wprowadzania formalnych narzędzi opisu do analizy bezpieczeństwa systemów zawierających komponenty programowalne powstała notacja ECSDM. Jej zaletą jest to iż umożliwia nie tylko definiowanie zależności czasowych obowiązujących w opisywanym systemie, ale również, przy zastosowaniu jej do drzew błędów, pozwala na prowadzenie wnioskowania odnośnie zależności czasowych pomiędzy zdarzeniami z minimalnych zbiorów przyczyn, których spełnienie prowadzi do wystąpienia hazardu. Na tej podstawie można opracować czasowe wymagania bezpieczeństwa dla analizowanego systemu, jednak przy dużej liczbie minimalnych zbiorów przyczyn może to okazać się zbyt pracochłonne. W artykule zaprezentowane jest rozwiązanie mające na celu ograniczenie tego problemu poprzez automatyzację procesu określania wymagań.
Cite as
Full text
full text is not available in portal
Keywords
Details
- Category:
- Articles
- Type:
- artykuły w czasopismach recenzowanych i innych wydawnictwach ciągłych
- Published in:
-
Zeszyty Naukowe Wydziału ETI Politechniki Gdańskiej. Technologie Informacyjne
no. Tom 11,
pages 631 - 638,
ISSN: 1732-1166 - Language:
- Polish
- Publication year:
- 2006
- Bibliographic description:
- Gołaszewski G.: Automatyzacja określania wymagań bezpieczeństwa na podstawie wyników analizy czasowej drzew błędów// Zeszyty Naukowe Wydziału ETI Politechniki Gdańskiej. Technologie Informacyjne. -Vol. Tom 11., (2006), s.631-638
- Verified by:
- Gdańsk University of Technology
seen 56 times