Artykuł przedstawia rozszerzenie metody FMEA znanej z jej zastosowań w stosunku do systemów związanych z bezpieczeństwem, w sposób umożliwiający jej stosowanie do systemów zawierających oprogramowanie i budowanych zgodnie z podejściem obiektowym. Punktem wyjścia dla metody są modele współpracy wyrażone w notacji UML. Komponenty systemu są modelowane z zastosowaniem notacji formalnej CSP. Metoda wspomaga systematyczną identyfikacje typów awarii komponentów. Wybrane typy awarii są modelowane a wynikające z nich skutki są analizowane z wykorzystaniem narzędzia wspomagającego analizę formalną. W artykule przedstawiono zastosowanie tej metody do komputerowego systemu sygnalizacji kolejowej.
Autorzy
- Tadeusz Cichocki,
- prof. dr hab. inż. Janusz Górski link otwiera się w nowej karcie
Informacje dodatkowe
- Kategoria
- Aktywność konferencyjna
- Typ
- publikacja w wydawnictwie zbiorowym recenzowanym (także w materiałach konferencyjnych)
- Język
- angielski
- Rok wydania
- 2003
