基于模型检测的软件安全性验证方法

作者：王曦 徐中伟 梅萌故障树分析模型检测安全苛求系统安全性验证

摘要：安全性是安全苛求系统第一性能,为了确保系统安全,这类系统在投入使用之前必须进行安全性验证.本文提出一种基于FTA（fault tree analysis）与LTS（labeled transition systems）模型检测的安全性验证方法验证安全苛求软件系统的安全性,并应用到铁路车站联锁系统的安全性验证中,该方法具有较好的通用性,自动化程度较高,可从效率和安全性方面改善安全苛求软件的设计和开发,丰富了软件的形式化开发方法,也为软件的修改和维护提供了方便.

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社