Skip to main content

An Object-Based Approach to Modelling and Analysis of Failure Properties

Cepin, M., de Lemos, Rogério, Mavko, B., Riddle, S., Saeed, Amer (1997) An Object-Based Approach to Modelling and Analysis of Failure Properties. In: Daniel, P., ed. Proceedings of the 16th International Conference on Computer Safety, Reliability and Security (SAFECOMP'97). . pp. 281-294. Springer-Verlag, Berlin, Germany, York, UK (KAR id:21457)

Postscript
Language: English
Download (508kB) Preview
[thumbnail of An_Object-Based_Approach_to_Modelling_and_Analysis_of_Failure_Properties.ps]
Preview
This file may not be suitable for users of assistive technology.
Request an accessible format
PDF
Language: English
Download (231kB) Preview
[thumbnail of An_Object-Based_Approach_to_Modelling_and_Analysis_of_Failure_Properties_(1997).pdf]
Preview
This file may not be suitable for users of assistive technology.
Request an accessible format

Abstract

In protection systems, when traditional technology is replaced by software, the functionality and complexity of the system is likely to increase. The quantitative evidence normally provided for safety certification of traditional systems cannot be relied upon in software-based systems. Instead there is a need to provide qualitative evidence. As a basis for the required qualitative evidence, we propose an object-based approach that allows modelling of both the application and software domains. From the object class model of a system and a formal specification of the failure properties of its components, we generate a graph of failure propagation over object classes, which is then used to generate a graph in terms of object instances in order to conduct fault tree analysis. The model is validated by comparing the resulting minimal cut sets with those obtained from the fault tree analysis of the original system. The approach is illustrated on a case study based on a protection system from...

Item Type: Conference or workshop item (Paper)
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Mark Wheadon
Date Deposited: 01 Aug 2009 15:01 UTC
Last Modified: 16 Feb 2021 12:32 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/21457 (The current URI for this page, for reference purposes)
de Lemos, Rogério: https://orcid.org/0000-0002-0281-6308
  • Depositors only (login required):

Downloads

Downloads per month over past year