Search
Abstract
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.
Cite as
Full text
full text is not available in portal
Keywords
Details
- Category:
- Conference activity
- Type:
- publikacja w wydawnictwie zbiorowym recenzowanym (także w materiałach konferencyjnych)
- Title of issue:
- Artificial Intelligence and Security in Computing Systems. 9th International Conference, ACS´2002 The Kluwer International Series in Engineering and Computer Science. strony 261 - 270
- Language:
- English
- Publication year:
- 2003
- Bibliographic description:
- Cichocki T., Górski J.: OF-FEMEA: an approach to safety analysis of object oriented software intensive systems. // Artificial Intelligence and Security in Computing Systems. 9th International Conference, ACS´2002 The Kluwer International Series in Engineering and Computer Science. / ed. J. Sołdek, L. Drobiazgiewicz. Boston/Drodrecht/London: Kluwer Academic Publishers, 2003, s.261-270
- Verified by:
- Gdańsk University of Technology
seen 97 times