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.
Authors
- Tadeusz Cichocki,
- prof. dr hab. inż. Janusz Górski link open in new tab
Additional information
- Category
- Aktywność konferencyjna
- Type
- publikacja w wydawnictwie zbiorowym recenzowanym (także w materiałach konferencyjnych)
- Language
- angielski
- Publication year
- 2003
