计算机工程与科学2015，Vol.37Issue(8)：1498-1509,12.DOI:10.3969/j.issn.1007-130X.2015.08.013
模型驱动的嵌入式系统设计安全性验证方法研究
Research on model driven safety verification for embedded system designs
摘要
关键词
系统安全性分析/模型驱动工程/SysML/MARTE/状态机模型/嵌入式系统Key words
system safety analysis/model-driven engineering/SysML/MARTE/state machine model/embedded system分类
信息技术与安全科学引用本文复制引用
刘雪,胡军,黄志球,马金晶,程桢,石娇洁..模型驱动的嵌入式系统设计安全性验证方法研究[J].计算机工程与科学,2015,37(8):1498-1509,12.基金项目
国家重点基础研究发展计划973计划资助项目(2014CB744904) （2014CB744904）
国家自然科学基金资助项目(61100034,61170043) （61100034,61170043）
南京航空航天大学青年科技创新基金资助项目(NS2014098) （NS2014098）
回国留学人员科研启动基金资助项目(2012) （2012）
