检索结果-维普期刊中文期刊服务平台

软件安全性分析技术在基于通信的列车控制车载子系统中的应用被引量：1: 1; 作者曹彬《城市轨道交通研究》北大核心 2017年第B08期77-80,共4页; 软件安全性分析是保证软件安全和质量的有效方法之一。介绍了安全关键软件中通用的软件安全性分析技术及流程,并根据其流程对基于通信的列车控制(CBTC)车载子系统从需求、设计、代码和测试等4个层次进行软件安全性分析,获得了良好的应... 展开更多; 关键词软件安全性分析基于通信的列车控制车载子系统; 在线阅读下载PDF 职称材料

航天软件可靠性安全性技术应用发展趋势被引量：4: 2; 作者周新蕾刘正高《质量与可靠性》 2006年第3期41-43,49,共4页; 从航天工程应用的角度介绍了国外软件可靠性安全性技术应用发展趋势,结合作者在实时嵌入式软件可靠性测试与安全性分析方面的实践进行了总结。; 关键词实时嵌入式软件软件可靠性软件安全性软件安全性分析; 在线阅读下载PDF 职称材料

面向航天领域的模型驱动软件设计开发方法被引量：4: 3; 作者张涛秦凯 +3 位作者王楠王海鹏梁运畅王智飞《航天控制》 CSCD 北大核心 2017年第5期74-79,97,共7页; 针对航天嵌入式任务关键软件特点,研究基于AADL模型,实现对其结构模型、行为模型、故障模型和执行模型的多维度描述。通过构造其代码规则模板,实现从模型到源程序的自动化映射,降低编程工作量。研究将AADL模型转换为故障树模型和时间自... 展开更多; 关键词模型驱动软件开发软件代码生成软件安全性分析软件可调度性分析; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	软件安全性分析技术在基于通信的列车控制车载子系统中的应用	曹彬	《城市轨道交通研究》北大核心	2017	1	在线阅读下载PDF 职称材料
2	航天软件可靠性安全性技术应用发展趋势	周新蕾刘正高	《质量与可靠性》	2006	4	在线阅读下载PDF 职称材料
3	面向航天领域的模型驱动软件设计开发方法	张涛秦凯王楠王海鹏梁运畅王智飞	《航天控制》 CSCD 北大核心	2017	4	在线阅读下载PDF 职称材料