在核电厂中，基于软件的安全重要系统的使用，是一种不断增长的趋势[1-4]。这些数字化的安全重要系统（见图1）[5]，其中一部分是新设计的新型核电厂中的系统，而另一些则是用以对老核电厂中逐渐老化陈旧的技术设备进行更换改造的系统。数字化系统与模拟系统的主要差别在于它是 The use of software-based security-critical systems in nuclear power plants is a growing trend [1-4]. These digitized safety-critical systems (see Figure 1) [5], some of which are systems in newly designed new nuclear power plants, and others are used to replace aging aging technical equipment in old nuclear power plants system. The main difference between digital and analog systems is that it is