A new method is developed that integrates safety analysis with multi-domain object-oriented modelling. This is the contribution aimed by this paper. First, it recaps the basics of object-oriented modelling. Then, a model of a safety relevant aircraft system, a stabiliser trim system, is established using component models from generic libraries that are supplemented with failure behaviour. Next, a generic method is developed that automatically detects the minimal path sets of a technical system based on the corresponding object-oriented model, thus performing a safety analysis. Techniques from graph theory are adopted for computational efficiency and feasibility of the method. The minimal path sets detection method is exemplified by means of the established realistic system model.
Document type: Part of book or chapter of book
The different versions of the original document can be found in:
Published on 01/01/2014
Volume 2014, 2014
DOI: 10.1201/b17399-277
Licence: CC BY-NC-SA license
Are you one of the authors of this document?