期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
嵌入式机载软件安全性分析标准、方法及工具研究综述
被引量:
1
下载PDF
职称材料
导出
摘要
嵌入式机载软件在实际应用的过程中,安全性分析工作较为重要,只有做好安全分析工作,及时发现其中存在的问题,才能采取有效措施解决问题,提高软件应用可靠性。因此,相关部门需要重视嵌入式机载软件安全性的分析工作,明确分析标准与方式,科学应用相关工具,逐渐提高自身工作质量。
作者
杜昊晨
机构地区
河北科技大学
出处
《科技经济市场》
2017年第6期18-19,共2页
关键词
嵌入式机载软件
安全性分析标准
方式与工具
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
引文网络
相关文献
节点文献
二级参考文献
48
参考文献
5
共引文献
71
同被引文献
12
引证文献
1
二级引证文献
8
参考文献
5
1
黄志球,徐丙凤,阚双龙,胡军,陈哲.
嵌入式机载软件安全性分析标准、方法及工具研究综述[J]
.软件学报,2014,25(2):200-218.
被引量:65
2
李亚晖,张亚棣,郭鹏.
机载嵌入式软件的安全性机制研究[J]
.通信学报,2015,36(S1):16-21.
被引量:6
3
陈乐然.
军用机载通信设备嵌入式软件的适航管理[J]
.现代电子技术,2013,36(10):40-44.
被引量:1
4
吴成富,侯晓梅,段晓军.
基于SCADE的机载余度管理软件开发[J]
.电子设计工程,2013,21(3):96-98.
被引量:4
5
张国升,王保松.
浅析机载软件测试策略[J]
.航空科学技术,2012(2):11-14.
被引量:1
二级参考文献
48
1
韩峰岩,王昕.
机载计算机软件的测试[J]
.航空计算技术,2004,34(3):65-69.
被引量:10
2
蒋严冰,邵维忠,张路,麻志毅.
UML中衍型的精确定义与分析[J]
.电子学报,2003,31(z1):2101-2105.
被引量:3
3
尹树悦,杨云.
军机研制中安全性标准的应用[J]
.航空标准化与质量,2010(3):23-26.
被引量:4
4
胡军,于笑丰,张岩,李宣东,郑国梁.
基于场景构件式实时软件设计的一致性检验[J]
.软件学报,2006,17(1):48-58.
被引量:13
5
刘小雄,章卫国,李广文.
电传飞行控制系统的余度设计技术[J]
.飞机设计,2006,26(1):35-38.
被引量:26
6
白康明.
飞机机载软件的工程化管理[J]
.航空制造技术,2006,49(12):95-97.
被引量:5
7
中国民用航空总局航空器适航司.中国民用航空器适航管理[M].北京:中国民航出版社,1994.
8
邵辉.实时嵌入式软件的仿真测试技术研究及环境的实现[D].北京:北京航天航空大学,1998.
9
Broekman E N. Testing embedded software [M]. New Jersey: Pearson Education Inc, 2003.
10
国防科学技术工业委员会.GJB900-1990系统安全性通用大纲[S].北京,1990.
共引文献
71
1
胡源,林伟欣,张辉,秦洁心.
铁路信号系统安全软件架构分析方法[J]
.铁路技术创新,2021(S01):109-115.
2
朱羿全,沈国华,康达周,廖莉莉.
结合本体和规则推理的SFMEA方法研究[J]
.计算机与现代化,2015(1):15-20.
被引量:2
3
朱和铨,徐浩军,张鹏,张登成,孙曦.
模型驱动的软件构件研制保证水平验证方法[J]
.航空学报,2015,36(3):907-920.
被引量:2
4
仵志鹏,黄志球,王珊珊,曹德建.
一种基于故障扩展SysML活动图的安全性验证框架研究[J]
.计算机科学,2015,42(7):222-228.
被引量:4
5
曹德建,黄志球,阚双龙,黄传林.
基于故障扩展SysML活动图的软件安全性分析方法研究[J]
.小型微型计算机系统,2015,36(9):2067-2074.
被引量:5
6
茹伟,张军才,赵腊才.
基于单片机的机载千兆交换机系统设计与实现[J]
.电子技术应用,2015,41(9):39-41.
被引量:3
7
曹德建,黄志球,陆陈,陈光颖,仵志鹏.
将故障信息扩展到功能模型的安全性分析方法研究[J]
.小型微型计算机系统,2016,37(1):24-32.
8
余静.
嵌入式软件应用于计算机软件开发过程中的价值探讨[J]
.信息通信,2016,29(3):165-166.
被引量:8
9
陆陈,黄志球,阚双龙,曹德建,黄传林.
基于八边形抽象域的襟缝翼控制系统安全性分析[J]
.小型微型计算机系统,2016,37(5):902-907.
被引量:2
10
陈光颖,黄志球,陈哲,阚双龙.
面向DO-333的襟缝翼控制单元安全性分析[J]
.计算机科学,2016,43(5):150-156.
被引量:6
同被引文献
12
1
严欣颖,付梦印,刘伟.
嵌入式设备故障检测和诊断系统设计[J]
.微计算机信息,2006,22(12Z):1-2.
被引量:9
2
王永红,王贺艳.
嵌入式软件测试技术的探索与分析[J]
.计算机光盘软件与应用,2014,17(6):271-272.
被引量:6
3
张帆,高红亮,尹欢欢.
嵌入式PLC与组态软件通信的研究[J]
.自动化技术与应用,2014,33(8):113-115.
被引量:3
4
于慧媛,张海军,王敏帅.
嵌入式软件测试环境研究[J]
.科技视界,2015,0(21):69-69.
被引量:3
5
陆峰.
探讨嵌入式软件测试自动化技术[J]
.电子技术与软件工程,2015(22):63-63.
被引量:1
6
王博,白晓颖,张超,贺飞,SONG Xiao-Yu.
基于接口自动机与符号执行的嵌入式软件测试用例生成[J]
.计算机学报,2015,38(11):2125-2144.
被引量:8
7
陆娇蓝,陈军,杨著.
基于云计算的嵌入式人脸识别系统建构与研究[J]
.计算机测量与控制,2016,24(4):146-148.
被引量:10
8
林永峰,陈亮.
面向安全性分析的嵌入式软件测试方法研究[J]
.现代电子技术,2016,39(13):80-83.
被引量:28
9
丛庆.
嵌入式计算机软件测试关键技术探讨[J]
.黑龙江科技信息,2016(24):168-168.
被引量:4
10
张仲.
对嵌入式计算机软件测试关键技术研究[J]
.中国新通信,2017,19(11):114-114.
被引量:2
引证文献
1
1
王磊.
嵌入式软件进行功能测试的相关技术研究[J]
.自动化与仪器仪表,2018,0(4):71-73.
被引量:8
二级引证文献
8
1
刘萍,于妍.
嵌入式计算机软件测试关键技术探讨[J]
.IT经理世界,2019,0(2):58-59.
被引量:1
2
赵燕.
基于DSP的嵌入式软件测试关键技术[J]
.电子技术与软件工程,2019,0(21):33-34.
3
刘家梁.
计算机软件开发过程中嵌入式软件的应用[J]
.科技风,2020,0(5):92-92.
被引量:3
4
夏敏.
嵌入式计算机软件测试关键技术研究[J]
.电脑知识与技术,2020,16(2):68-69.
被引量:4
5
周静,龙浩南.
探究嵌入式软件在计算机软件开发过程中的应用[J]
.信息系统工程,2020(5):10-11.
被引量:2
6
任秋洁,韩英.
嵌入式系统软件安全测试技术研究[J]
.科技视界,2020(17):54-55.
被引量:1
7
李静.
安全技术在计算机软件开发中的应用[J]
.电脑知识与技术,2021,17(9):46-47.
被引量:2
8
石宇辉.
基于嵌入式计算机软件测试关键性技术分析[J]
.电子技术与软件工程,2022(10):39-42.
被引量:3
1
陈文杰.
电子商务网站开发过程中数据库安全问题探究[J]
.电脑知识与技术,2017,13(2X):269-270.
被引量:1
科技经济市场
2017年 第6期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部