安全关键软件相关论文
美国国家航空航天局(NASA)将软件视为核心能力和关键赋能技术,近年来集中修订和发布了一系列软件工程要求和安全保证等相关标准和......
由于国家经济和大众生活中大量引入了嵌入式计算机系统，其中的安全关键软件是否可信赖已成为此类系统能否正常运转的关键因素。嵌入......
构造一个满足完整性、一致性且组织良好的需求制品是提高安全关键软件质量的重要方法.本文工作面向机载软件领域,设计一种从自然语......
随着安全关键软件的规模和复杂性不断增长,确保软件设计和功能的正确性变得更加困难。模型驱动开发方法已经成为了安全关键软件设......
安全关键软件在航空航天、轨道交通、工业控制等领域当中扮演着非常重要的角色,一旦失效将会产生难以预计的后果,因此,对软件的可......
针对复杂安全关键系统的确定性和时间可预测性问题,提出一种基于任务最差执行时间(WCET)进行任务安排和调度的方法.这种方法的基本......
同步语言具有确定性并行和精确时间语义等特性,因此被广泛用于设计和验证安全关键软件.随着安全关键领域应用多核处理器逐渐成为趋......
介绍了加拿大重水铀反应堆CANDU的安全关键软件的验证与确认(V&V)技术,说明了CANDU核反应堆停堆系统的脱扣计算机及其设计方法,详......
目前,能够对航空航天、核电等领域中复杂嵌入式系统安全关键软件功能建模和故障分析的方法尚未得到统一;致使功能模型分析中缺乏安......
安全关键软件需求中的相关知识大多需要手工提取,既费时又费力。近年来,人工智能技术逐渐被应用于安全关键软件设计与开发过程中,......
文章依据安全关键软件测试理论．并结合以往的测试经验和实际测试工作需求．提出了一种简单实用的安全关键软件测试设计方法。本方法可......
Petri网是系统建模的形式化方法,为了解决其在软件需求建模和建立程序语义映射方面存在的不足,提出了一种扩展Petri网的方法来支持......
针对安全关键软件随机测试过程中可能出现的无失效情况,在对失效分布函数进行分析的基础上,确定了可靠度的多层先验分布,并给出了......
针对连续型安全关键软件可靠性验证测试（SRDT）所需测试时间较长的问题,在现有的基于贝叶斯理论的SRDT方案的基础上,提出结合先验信息......
针对基于隐藏路径枚举技术的最差情况执行时间分析方法在估计含非正交多重嵌套循环（或递归）程序的最差情况执行时间时往往过于保守,......
本文对重水铀反应堆的关键软件的验证和确认技术进行了分析,并对其核反应堆的设计方法做出了介绍,主要对停堆脱口计算机软件的可靠......
需求形式化建模和模型检验可以提高安全关键软件的可信性,但在模型描述、调试和解释能力方面存在局限。对使用Petri网支持软件系统......
安全关键系统是指其不正确的功能或失效会导致人员伤亡、财产损失等严重后果的计算机系统。软件系统是安全关键系统研究的核心和难......
预测安全关键实时程序的执行时间具有重要意义。本文简要分析了程序执行时间预测的研究现状,对欲从事本方向研究的人员会有一定帮......
为了评估安全关键软件的防危性 ,该文在分析软件可靠性与防危性异同的基础上 ,建立了相应的防危性评估指标 ,同时研究了传统统计测......
介绍了加拿大重水铀反应堆CANDU的安全关键软件的验证与确认（V＆V）技术,说明了CANDU核反应堆停堆系统的脱扣计算机及其设计方法,详细描......
安全关键软件一旦失效将造成严重后果。软件失效模式和影响分析（ Software Failure Modes and Effect Analysis ， SFMEA）是一种工业界......
文章介绍和分析了国内外有关软件可靠性加速测试的概念和特点．对国内外安全关键软件的可靠性加速测试方法和基于灰盒的软件可靠性加......
在软件生命周期中,软件需求分析占有非常重要的地位。需求阶段隐藏的缺陷为安全关键软件的高可靠性埋下巨大的隐患。为了在需求阶......
随着电子信息技术的不断发展和进步,软件在社会诸多领域当中,都得到了十分广泛的应用。而在军事、航天、航空等安全关键系统当中,......
针对现有铁路信号系统安全关键软件t-路组合测试序列生成方法在处理大规模输入时产生冗余测试序列,导致测试执行成本较高的问题,提......
模型驱动开发方法逐渐应用于航空航天等领域的安全关键软件设计与实现中。体系结构分析设计语言(Architecture Analysis and Desig......
提出使用事件自动机对C程序的安全属性进行规约,并给出了基于有界模型检测的形式化验证方法.事件自动机可以规约程序中基于事件的......
随着航空电子系统技术的快速发展,基于模型驱动的系统工程已经逐步应用于机载安全关键软件开发领域。飞行管理系统作为航电系统的......
当前计算机软件得到了日益广泛的应用,在很多系统中作为控制核心存在。对于应用在重要领域,比如航空、航天及军事等领域的控制软件......
同步语言具有确定性并行和精确时间语义等特性,因此被广泛用于设计和验证安全关键软件.随着安全关键领域应用多核处理器逐渐成为趋......
安全关键软件变得越来越复杂,这类软件的形式化验证是一个具有挑战性的问题.本文针对火箭发射控制子系统实例,提出一种组合验证方......
安全关键软件如果发生故障，可能会对国家财产和人民安全造成巨大的损失，所以需要重点考虑它们的安全性。但是由于当前还无法精确地定......
某些领域中的计算机软件一旦发生失效,就可能造成很大的人员伤害或者财产损失的,这类软件就是安全关键软件;为了保证其安全性,通常......
铁路信号系统安全关键软件采用故障-安全设计安全功能来保障列车安全、高效运行,由于故障是多种事件的组合并且具有潜伏期,传统测......
针对现有的安全关键软件可靠性验证方案与可靠性验证测试加速过程进行分析和总结,提炼出每一种方案和加速过程的内容与适用范围,从......
在航空、航天、交通、能源等安全关键领域中,软件的失效可能导致系统处于危险状态,从而导致财产损失、环境破坏甚至人员伤亡,如何......
现代电子机载系统正由电子机械密集型向软件密集型转变,系统功能的实现越来越依赖于软件,导致软件的安全性对系统的安全至关重要。......
介绍了软件的安全性设计与分析,其中包括软件安全性与安全关键软件的定义、系统软件各生命周期安全性工作的主要内容以及质量保障......
为确保安全关键软件能够稳定工作,需要把验证其中的安全保障措施有效性纳入到测试工作范围,其关键问题和难点是如何在被测软件运行......
分析军用软件的高可靠性要求及军用安全关键软件防危性评测的必要性,确定防危性评估指标。提出利用基于重要性采样及加速测试技术......
在航空、航天及军事等安全关键系统中，软件发挥着至关重要的作用。软件一旦失效将导致系统处于危险状态、严重事故甚至灾难，这类软件......
为实现安全关键软件的零缺陷泄漏的目标, 依据航空发动机控制软件的特点, 采用能力成熟度模型集成 （CMMI） 4 级量化管理的方法, 设立......
为了在不降低安全关键软件可靠性验证测试结果可信性的前提下减少测试用例量,在分析经典统计假设测试和无先验贝叶斯统计方法的基......
嵌入式安全关键系统对组成系统的软件、硬件安全性级别要求极高,这种系统的运行直接关系着人员生命和财产安全。如果嵌入式系统安......
随着计算机应用的不断发展,软件已成为各行各业智能化、网络化的关键,由于软件的漏洞和缺陷造成系统运行失常的后果也愈加严重,特......
软件需求缺陷特别是关于系统安全性方面的需求缺陷已逐渐成为导致飞机等安全关键系统发生事故的主要根源。在基于模型的软件开发中......
软件密集型系统已成为发展的必然趋势。安全关键软件功能的比重持续上升,与之相关的安全性问题也日益凸显,且问题的影响因素呈现复......
