《表4 安全需求及相应的LTL表达式示例》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《基于系统理论过程分析的软件安全性需求分析与验证方法》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

通过分析得到了某武器发射控制系统的安全需求，但是其结果为自然语言。为了避免在解读中存在歧义，影响分析效果，并且为了在下一步工作中使用模型检查器进行形式化验证，用上文中提出的算法将其转换为LTL表达式，部分安全需求及相应的LTL表达式如表4所示。