Study on modeling and verification methods of digital reactor control system based on differential dynamic logic

Jie LIU,Xiao-hua YANG,Hua LIU,Qu-jin WU,Xing CHEN
DOI: https://doi.org/10.11731/j.issn.1673-193x.2015.05.006
2015-01-01
Abstract:Digital reactor control system is a typical real-time hybrid system involving the physical dynamic evolu-tion process of reactor against time and the discrete control process of computer .Differential dynamic logic is a new theory for hybrid system verification .A new method to construct safety verification model of digital reactor control system based on differential dynamic logic was put forward , so as to verify whether the interaction between discrete logic control in reactor control system and the physical continuous change process of reactor continuity can guarantee the safety requirement of reactor .It improves the safety properties of design on digital reactor control system .
What problem does this paper attempt to address?