TY - GEN
T1 - Applying SafeComp, a Formal Integrated System Modeling Framework, to the Design of a Steam Generator Controller
AU - Monsuez, Bruno
AU - Nakhle, Michel
N1 - Publisher Copyright:
© 2019 IEEE.
PY - 2019/11/1
Y1 - 2019/11/1
N2 - 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.
AB - 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.
KW - Complex system
KW - Formal system modeling
KW - Hyper graphs
KW - Multiple-views modeling
KW - Solution exploration
KW - Systems engineering
U2 - 10.1109/ICSRS48664.2019.8987732
DO - 10.1109/ICSRS48664.2019.8987732
M3 - Conference contribution
AN - SCOPUS:85080122470
T3 - 2019 4th International Conference on System Reliability and Safety, ICSRS 2019
SP - 554
EP - 560
BT - 2019 4th International Conference on System Reliability and Safety, ICSRS 2019
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 4th International Conference on System Reliability and Safety, ICSRS 2019
Y2 - 20 November 2019 through 22 November 2019
ER -