一种嵌入式系统模型的安全性分析验证方法OACSTPCD
A Verification Method of Security Analysis for Embedded System Model
由于嵌入式系统模型设计周期越来越短，功能越来越复杂，其安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。针对这种情况，文中提出一种基于模型驱动架构的面向SysML/MARTE状态机的系统安全性分析验证方法。具体包括：构建了具备SysML/MARTE扩展语义的状态机元模型，以及高级安全性建模与分析语言AltaRica的语义模型GTS的元模型，然后建立了从SysML/MARTE状态机模型到AltaRica模型的语义映射模型转…查看全部>>
Because the design cycle of embedded system model is shorter and shorter,the function is more and more complex,in the field of safety critical systems engineering,its security analysis and verification method is an important research hotspot in recent years. In view of this,put forward a method based on model driven architecture for system security analysis verification, which is oriented SysML/MARTE state machine,including that constructed the state machine…查看全部>>
石娇洁;胡军;刘雪;马金晶;黄志球;程桢
南京航空航天大学 计算机科学与技术学院，江苏 南京 210016南京航空航天大学 计算机科学与技术学院，江苏 南京 210016 南京大学 计算机软件新技术国家重点实验室，江苏 南京 210093南京航空航天大学 计算机科学与技术学院，江苏 南京 210016南京航空航天大学 计算机科学与技术学院，江苏 南京 210016南京航空航天大学 计算机科学与技术学院，江苏 南京 210016
信息技术与安全科学
系统安全性分析模型驱动SysML/MARTEXFTA状态机模型嵌入式系统模型
system safety analysismodel drivenSysML/MARTEXFTAstate machine modelembedded system model
《计算机技术与发展》 2015 (10)
7-12,6
国家“973”重点基础研究发展计划项目(2014CB744903)回国留学人员科研启动基金(2012)611航空科研基金(2012)南京航空航天大学青年科技创新基金(NS2014098)
评论