一种面向航电系统的基于需求的形式化建模与验证方法
- 专利权人:
- 南京航空航天大学
- 发明人:
- 李揭阳,施晓静,李勇,张福高
- 申请号：
- CN201610953250.6
- 公开号：
- CN106598566A
- 申请日:
- 2016.11.03
- 申请国别(地区):
- 中国
- 年份:
- 2017
- 代理人:
- 许方
- 摘要：
- 本发明公开了一种面向航电系统的基于需求的形式化建模与验证方法，该方法运用需求状态机语言RSML‑e建立系统的形式化需求模型，给出形式化模型转换规则，将RSML‑e模型转换为模型检测器的输入模型，验证系统的安全性质，提升了系统的安全性和可靠性，同时也节省了时间和成本。
- 来源网站：
- 中国工程科技知识中心
