基于SCADE建模的联锁软件形式化开发实现

摘要

计算机联锁系统软件是一种典型的安全相关软件,具有非常复杂的联锁控制逻辑和以失效为核心的安全需求,在联锁系统的设计开发过程中,保证系统的安全性和可靠性是关键.介绍基于SCADE工具进行联锁软件开发过程,使用模型化的方法从系统需求到最后代码验证,为软件安全认证的各个阶段提供了解决方案和实施工具,实现了开发过程的自动化和过程省略,大大提高了安全软件开发的效率和安全性.