形式化验证技术在核电厂DCS中的应用研究
Instrumentation Customer(2020)
Abstract
大部分软件开发中主要关注源代码级别的可靠性,通常默认编译器和操作系统是可信的.但是作为与安全攸关的软件还必须考虑编译器引入的误编译和操作系统漏洞引入的软件执行错误.形式化方法是一种有效提高软件可靠性的方法,本文对现有形式化技术在核电厂DCS中的可能应用方向进行研究,主要包括DCS逻辑算法的正确性验证、程序的可信编译、实时操作系统的验证.
MoreAI Read Science
Must-Reading Tree
Example
![](https://originalfileserver.aminer.cn/sys/aminer/pubs/mrt_preview.jpeg)
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined