工业控制系统中的安全相关软件设计

摘要

在研究ＩＥＣ６５Ａ１２２，１２３的基础上，提出了安全相关软件的生命周期，讨论了软件安全完整性确定的思路及软件设计方法的选择，提出了面向对象方法是目前实用的方法，形式化方法是应大力研究的方法。