论文部分内容阅读
软件的大量应用，使控制系统面，临严峻的安全考验，陷入了安全危机中，迫切需要新的安全保障技术。安全核就是应运而生的一种安全保障新概念，其可信性直接关系到安全核的有效性和系统的安危。面对安全核可信性问题，测试和限制安全核尺寸是当前采用的方法，它们极大地制约了安全核技术在复杂系统中的应用。本文分析了安全核可信性的本质；结合安全关键系统的基本构架，提出了从安全需求分析开始到安全核生成过程中，如何通过形式化的方法采提高安全核可信性的方法，为安全核技术在复杂系统中的应用提供了一种新思路；以交通灯控制为例全过程地实现和