机轮刹车

作品数：59被引量：137H指数：6
导出分析报告
相关领域：航空宇航科学技术更多>>
相关作者：田广来胡军陈国鹏任永亮徐峰更多>>
相关机构：南京航空航天大学中南大学中国直升机设计研究所空军工程大学更多>>
相关期刊：《军民两用技术与产品》《小型微型计算机系统》《机械研究与应用》《航空学报》更多>>
相关基金：国家重点基础研究发展计划国家自然科学基金国家高技术研究发展计划中央高校基本科研业务费专项资金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 基金=国家重点基础研究发展计划x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向SysML模型的安全性分析与验证方法被引量：4
《计算机科学》2019年第11期100-108,共9页李宛倩 胡军 陈松 张维珺 
国家重点基础研究发展计划-973计划(2014CB744903);国家航空科学基金(20165515001);南京航空航天大学研究生创新基地开放基金(kfjj20171611);中央高校基本科研业务费专项资金资助
近年来,随着航空、交通、医疗等安全关键系统的规模越来越大,涉及到的复杂度也越来越高,基于模型的系统安全性分析与验证成为安全关键系统工程领域的一个重要研究方向,因而如何对以SysML为典型的系统模型进行安全性分析与验证是一个非...
关键词：安全关键系统 SYSML AltaRica3.0 PROMELA 机轮刹车系统 
AltaRica 3.0模型到Promela模型转换与验证方法研究被引量：6
《计算机工程与科学》2017年第4期708-716,共9页胡军 陈松 王明明 
国家973计划(2014CB744903);回国留学人员科研启动基金;南京航空航天大学青年科技创新基金(NS2014098)
AltaRica语言用于安全关键系统的建模,其拥有一套完整的建模分析工具,但随着AltaRica3.0的更新,ARC等传统的AltaRica建模分析工具已不再支持,而SPIN作为一个穷尽式模型验证工具被广泛应用。介绍了AltaRica3.0相对于之前版本在表达能力...
关键词：安全关键系统 AltaRica3.0 SPIN 机轮刹车系统 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部