Applying SafeComp, a Formal Integrated System Modeling Framework, to the Design of a Steam Generator Controller

Abstract

We previously introduced in [8] an integrated system of formal model called SafeComp framework that focuses on the implementation of a unified industrial process modeling using the graphic language of Hi-Graphs, a specific class of hypergraphs. This process takes into account that requirements can often be described using different formalisms and additionally provides functional views, taking into account the non-functional and dysfunctional at all stages of the system lifecycle to make the right choices/compromise in terms of software engineering, formal verification and assurance that the system meets the requirements, end-to-end. In this paper we show the application of this framework to explore the space of solutions when designing the control-command of the regulation of a steam generator and we also expose the results of this study.