软件安全性分析

作品数：19被引量：41H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：宋晓秋李柏岚何鑫刘畅郑军更多>>
相关机构：中国航天标准化研究所西北工业大学中国人民解放军海军工程大学航天总公司更多>>
相关期刊：《计算机工程》《计算机与数字工程》《科技视界》《软件导刊》更多>>
相关基金：陕西省科技攻关计划航天科技创新基金国家部委资助项目国家自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
新工科背景下软件安全性分析课程改革与实践
《软件导刊》2024年第8期49-55,共7页牛伟纳 张小松 陈厅 
国家自然科学基金面上项目(62372086);教育部产学合作协同育人项目(230706043253737)。
在新工科背景下,为解决软件安全性分析课程教学过程中存在的问题,借助企业真实项目构建课内知识实践化体系,形成课内课外相结合以及理论实践多维融合的产学研融合教学模式。该教学模式以实践视角为切入点,采用以练促学、学以致用、用必...
关键词：新工科 教学实践 任务驱动 产学研融合 
核安全级数字化仪控系统软件安全性分析研究被引量：1
《仪器仪表用户》2019年第6期76-78,共3页谷鹏飞 刘子寅 席望 黄伟军 
随着数字化技术全面应用于核电站仪控系统,与过去的模拟技术相比,其控制更集中,信息处理更复杂,信息关联性更强。但是庞大且集中的仪控系统所引起的安全性分析工作日益引起人们的重视,尤其是核安全级数字化仪控系统,它能否正常工作直接...
关键词：数字化技术 仪控系统 核安全级 验证和确认 软件安全性分析 
基于OCL约束建模的嵌入式软件安全性分析被引量：4
《计算机工程》2018年第6期270-278,共9页崔红军 黄美锋 吴振宇 
国家部委基金
目前已有多种模型驱动的软件安全性分析方法用于识别软件失效模式和系统危险,但较少将软件安全性约束与模型相结合,难以保证分析充分性与效率。针对该问题,基于对象约束语言(OCL)设计嵌入式软件安全性分析方法。借助OCL表达式对安全性...
关键词：对象约束语言 约束建模 软件安全性分析 失效模式 模型驱动 
面向航天领域的模型驱动软件设计开发方法被引量：4
《航天控制》2017年第5期74-79,97,共7页张涛 秦凯 王楠 王海鹏 梁运畅 王智飞 
航天科技支撑计划(2014HTXGD);载人航天工程软件工程化基础预研课题(2016XXXX);上海航天科技创新基金(2017XXXX);航天科学技术基金项目(17XXXX);西北工业大学研究生创意创新种子基金(Z2016191);陕西省科技攻关项目(2016GY-100)
针对航天嵌入式任务关键软件特点,研究基于AADL模型,实现对其结构模型、行为模型、故障模型和执行模型的多维度描述。通过构造其代码规则模板,实现从模型到源程序的自动化映射,降低编程工作量。研究将AADL模型转换为故障树模型和时间自...
关键词：模型驱动软件开发 软件代码生成 软件安全性分析 软件可调度性分析 
软件安全性分析技术在基于通信的列车控制车载子系统中的应用被引量：1
《城市轨道交通研究》2017年第B08期77-80,共4页曹彬 
软件安全性分析是保证软件安全和质量的有效方法之一。介绍了安全关键软件中通用的软件安全性分析技术及流程,并根据其流程对基于通信的列车控制(CBTC)车载子系统从需求、设计、代码和测试等4个层次进行软件安全性分析,获得了良好的应...
关键词：软件安全性分析 基于通信的列车控制 车载子系统 
基于SFMEA的综合导航系统软件安全性分析被引量：1
《科技视界》2015年第20期57-58,共2页冯瑞 曹宁 
随着导航技术的发展,综合导航系统将成为未来各型平台导航系统的发展趋势,配合系统共同完成导航定位的软件也将逐步成为提升导航精度和可靠性的关键。为此,结合综合导航系统软件特点,研究了一种适合于该类软件的SFMEA安全性分析方法及...
关键词：综合导航系统软件 SFMEA 安全性 
直升机软件安全性分析技术及应用研究被引量：1
《直升机技术》2013年第4期15-23,共9页陈圣斌 王斌 郝宗敏 苏强 曾曼成 
GJB 900和MIL-STD-882C是武器装备安全性管理和控制大纲,就具体的装备,如直升机,如何剪裁和应用这些规范中的要求来指导直升机软件安全性分析工作,在以往型号设计中做得较少,常常受到专家的质疑。该文基于MIL-STD-882C的要求,结合国外...
关键词：软件安全性 安全性危险分析 软件危险分析 
基于系统理论过程分析的软件安全性分析被引量：3
《计算机应用》2013年第A02期238-240,共3页徐燕 钟德明 尹帅 
通过分析、总结已有的危险分析技术,将系统理论过程分析(STPA)方法与其他方法相比较,总结、形成了软件安全性技术框架。其次,对比已有的分析方法,明确了一种适合软件密集系统的危险分析方法。最后使用STPA方法对飞机除冰系统进行了分析...
关键词：软件安全性 系统理论过程分析 除冰系统 
软件安全性与可靠性分析技术研究被引量：7
《计算机测量与控制》2012年第11期3017-3020,共4页何鑫 刘畅 郑军 
近年来,软件安全性与可靠性在保证系统安全、避免重大人员伤亡和财产损失方面起到了重要作用,工程中对软件安全性与可靠性分析的应用有着十分迫切的需求;然而,工程中目前还缺乏软件安全性与可靠性分析的实施方案作为指导;为了促进软件...
关键词：系统危险 软件安全性分析 软件可靠性分析 FHA PHA SFMEA SFTA 
基于时间Petri网的舰空导弹发射控制软件安全性分析被引量：4
《计算机与数字工程》2012年第8期84-86,共3页何皎 汪厚祥 聂凯 
海军技术基础项目资助
文中借助时间Petri网出色的图形表达能力和对动态行为的描述,在Tina工具辅助下完成了对舰空导弹发射控制软件建模和安全性分析,分析了高风险状态的可达性,考虑到软件时效对安全性的影响,提出了一些改进建议以避免高危状态的出现。
关键词：导弹 安全性分析 时间PETRI网 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部