| 一种面向SCR需求模型的形式化验证方法研究 |
| |
| 引用本文： | 张漾,胡军,王立松,康介祥,王辉,高忠杰. 一种面向SCR需求模型的形式化验证方法研究[J]. 小型微型计算机系统, 2022, 0(1): 193-202 |
| |
| 作者姓名： | 张漾 胡军 王立松 康介祥 王辉 高忠杰 |
| |
| 作者单位： | 南京航空航天大学计算机科学与技术学院;软件新技术与产业化协同创新中心;中国航空无线电电子研究所 |
| |
| 基金项目： | 国家“九七三”重点基础研究发展计划项目(2014CB744900)资助。 |
| |
| 摘 要： | 在需求层级进行建模分析与验证是复杂安全关键软件开发过程中的核心关注点.本论文工作面向航空领域中典型安全关键软件的需求层级,提出了一种基于形式化模型检验技术的需求模型验证方法.首先分析了形式化需求模型(SCR)的建模工具(T-VEC)中所定义的递归结构形式的模型语法与语义,提出了一种对模型变量关系进行平展化的方法,将SC...
|
| 关 键 词： | 安全关键系统 nuXmv模型 模型映射 安全性验证 |
Formal Verification Method for SCR Requirement Model |
| |
| ZHANG Yang,HU Jun,WANG Li-song,KANG Jie-xiang,WANG Hui,GAO Zhong-jie. Formal Verification Method for SCR Requirement Model[J]. Mini-micro Systems, 2022, 0(1): 193-202 |
| |
| Authors: | ZHANG Yang HU Jun WANG Li-song KANG Jie-xiang WANG Hui GAO Zhong-jie |
| |
| Affiliation: | (College of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics,Nanjing 211106,China;Collaborative Innovation Center of Novel Software Technology and Industrialization,Nanjing 210007,China;China National Aeronautic Radio Electronics Research Institute,Shanghai 200233,China) |
| |
| Abstract: | |
| |
| Keywords: | safety-critical system nuXmv model model translation safety verification |
| 本文献已被 维普 等数据库收录！ |
|
