机轮刹车系统

作品数：25被引量：92H指数：6
导出分析报告
相关领域：航空宇航科学技术更多>>
相关作者：胡军田广来陈松郑磊胡剑波更多>>
相关机构：南京航空航天大学重庆朗正科技有限公司华兴航空机轮公司中国民航大学更多>>
相关期刊：《军民两用技术与产品》《小型微型计算机系统》《航空学报》《中文科技期刊数据库（引文版）工程技术》更多>>
相关基金：国家重点基础研究发展计划中央高校基本科研业务费专项资金中国航空科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机科学x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向SysML的系统安全性分析工具与实例研究被引量：2
《计算机科学》2020年第5期284-294,共11页唐红英 胡军 陈朔 石梦烨 
南京航空航天大学研究生创新基地(实验室)开放基金(kfjj20181607)。
基于模型的安全性分析方法能够提高对目前复杂安全关键系统的建模与分析能力。系统建模语言(System Modeling Language,SysML)是一类在工业领域被广泛应用的非形式化系统功能建模语言,AltaRica是面向系统安全性分析的形式化建模语言。...
关键词：安全关键系统 SYSML AltaRica 工具 机轮刹车系统 
面向SysML模型的安全性分析与验证方法被引量：4
《计算机科学》2019年第11期100-108,共9页李宛倩 胡军 陈松 张维珺 
国家重点基础研究发展计划-973计划(2014CB744903);国家航空科学基金(20165515001);南京航空航天大学研究生创新基地开放基金(kfjj20171611);中央高校基本科研业务费专项资金资助
近年来,随着航空、交通、医疗等安全关键系统的规模越来越大,涉及到的复杂度也越来越高,基于模型的系统安全性分析与验证成为安全关键系统工程领域的一个重要研究方向,因而如何对以SysML为典型的系统模型进行安全性分析与验证是一个非...
关键词：安全关键系统 SYSML AltaRica3.0 PROMELA 机轮刹车系统 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部