Automatyzacja określania wymagań bezpieczeństwa na podstawie wyników analizy czasowej drzew błędów

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ń.

---

ECSDM notation is a response to the need for formal description tools to be used in safety analysis of system containing programmable components. Its advantage is an ability to not only define time relationships that hold in described system, but also, when used for fault tree analysis, to reason about time relationships in minimal cut sets which fulfi1ment leads to a hazard. Based on them, safety time requirements can be specified for analysed system. However, when the number of minimal cut sets is big, this could prove too time consuming. In the artic1e a solution aiming at reducing this problem by automating the process of requirements specification is presented.