Developing Successful Modular Arguments for Object Oriented Systems

摘要

In previous work, we have independently reasoned about developing “safe” object-oriented (OO) systems, and constructingmodular safety arguments. One of the challenges currently under consideration is how to successfully certifysafety-critical OO systems developed using this approach. It was concluded that in order to maintain the desirableproperties of OO systems such as re-use and inheritance, the traditional monolithic approach to safety argument constructionwas too inflexible. A modular argument approach is instead proposed.In this paper we explore different modular safety argument architectures. A preferred modular structure is identifiedfrom a number of alternatives based on the ability to support change and reuse of an OO design. The arguments andevidence required for developing each module in the preferred structure is then presented.