A Safety Analysis via Minimal Path Sets Detection for Object-Oriented Models

Kurzfassung

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.