-
在结果中检索

检索结果分析

结果分析中...
检索条件："关键词=SysML/MARTE "
共 条 记 录，以下是1-2

发文量、被引量趋势图

全选清除导出
参考文献引证文献引用追踪
视图：
排序：
显示条数：
模型驱动的嵌入式系统设计安全性验证方法研究被引量：2
《计算机工程与科学》2015年第8期1498-1509,共12页刘雪 胡军 黄志球 马金晶 程桢 石娇洁 
国家重点基础研究发展计划973计划资助项目(2014CB744904);国家自然科学基金资助项目(61100034;61170043);南京航空航天大学青年科技创新基金资助项目(NS2014098);回国留学人员科研启动基金资助项目(2012)
基于模型的嵌入式系统安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。提出一种基于模型驱动架构的面向SysML/MARTE状态机的系统安全性验证方法,具体包括:构建了具备SysML/MARTE扩展语义的状态机元模型...
关键词：系统安全性分析 模型驱动工程 SysML/MARTE 状态机模型 嵌入式系统 
一种嵌入式系统模型的安全性分析验证方法被引量：1
《计算机技术与发展》2015年第10期7-12,共6页石娇洁 胡军 刘雪 马金晶 黄志球 程桢 
国家"973"重点基础研究发展计划项目(2014CB744903);回国留学人员科研启动基金(2012);611航空科研基金(2012);南京航空航天大学青年科技创新基金(NS2014098)
由于嵌入式系统模型设计周期越来越短,功能越来越复杂,其安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。针对这种情况,文中提出一种基于模型驱动架构的面向SysML/MARTE状态机的系统安全性分析验证方法...
关键词：系统安全性分析 模型驱动 SysML/MARTE XFTA 状态机模型 嵌入式系统模型 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部