搜索筛选:
搜索耗时0.0365秒,为你在为你在23,761,000篇论文里面共找到 4 篇相符的论文内容
发布年度:
[期刊论文] 作者：胡军,石娇洁,程桢,陈松,王明明,,
来源：计算机科学 年份：2016
近年来,基于模型的系统安全性分析与验证方法是安全关键系统工程领域中的一个重要研究方向。提出了一种基于四变量模型的系统安全性建模与分析验证方法,该方法利用AltaRica建...
[期刊论文] 作者：石娇洁,胡军,刘雪,马金晶,黄志球,程桢,,
来源：计算机技术与发展 年份：2015
由于嵌入式系统模型设计周期越来越短，功能越来越复杂，其安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。针对这种情况，文中提出一种基于模型驱......
[期刊论文] 作者：刘雪,胡军,黄志球,马金晶,程桢,石娇洁,,
来源：计算机工程与科学 年份：2015
基于模型的嵌入式系统安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。提出一种基于模型驱动架构的面向SysML／MARTE状态机的系统安全性验证方...
[期刊论文] 作者：胡军,马金晶,刘雪,程桢,石娇洁,黄志球,,
来源：计算机科学与探索 年份：2015
近年来，在以综合模块化航电系（integrated modular avionics，IMA）为代表的一类安全关键应用中，确保系统重配置信息的正确性成为保证系统安全可靠运行的一个重要问题。提出了一种模...
相关搜索：
