OF-FEMEA: an approach to safety analysis of object oriented software intensive systems. - Publication - Bridge of Knowledge

Search

OF-FEMEA: an approach to safety analysis of object oriented software intensive systems.

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 95 times

Recommended for you

Meta Tags