安全关键系统相关论文
如何对安全关键混成系统进行形式化建模及验证方法是一项重要的科学问题。在现有的工程实践中,作为验证对象的安全属性缺乏规范化......
在航天、汽车、航空等领域,安全关键系统有很强的实时需求,因此验证数据流的端到端延迟尤其重要。端到端延迟的变化是受到处理时间......
在需求层级进行建模分析与验证是复杂安全关键软件开发过程中的核心关注点.本论文工作面向航空领域中典型安全关键软件的需求层级,......
本文首先回答了什么是形式方法的问题,对在安全-关键系统使用的形式方法作了概括介绍,并通过介绍应用形式方法的安全-关键系统的实......
该文立足于安全关键系统,选择铁路车站信号控制系统作为具体的应用对象,对安全关键系统的形式化开发方法进行了下述主要研究和探索......
学位
在软件安全领域，软件故障树分析法是一种重要的软件危害分析方法，但是，软件故障树的建模和分析是非常繁琐费时的，因此，本文将计算机辅助......
广泛应用于航空、航天、核能、交通等领域的安全关键系统对资源、响应时间、故障容忍,特别是可靠性和安全性有着很高的要求。如何......
安全关键系统是指系统的失效会造成严重的后果的系统，此类系统在日常生活中随处可见，如配电系统、灾难应对调度系统、人工心肺机和航......
随着功能需求的不断增加,安全关键系统的设计变得越来越复杂。如何通过建模与验证的方法保证安全关键系统的质量,一直以来都是形式......
安全关键系统是指那些系统失效会造成人员伤亡,环境和财产等的重大损失的软件系统。航空电子系统作为飞机上的核心系统,是典型的安......
使用传统的开发方法对安全关键系统进行开发时,早期系统设计阶段的错误往往到开发后期的测试阶段才能检测出来,重新对系统结构进行......
伴随着计算机技术的发展,嵌入式系统在诸如航空航天、核应用、轨道交通和医疗等安全关键领域的应用更加广泛。如何保障系统的安全......
针对复杂安全关键系统的确定性和时间可预测性问题,提出一种基于任务最差执行时间(WCET)进行任务安排和调度的方法.这种方法的基本......
本文提出了一种满足航空安全关键系统要求的分布式时间触发总线。首先介绍了该总线的特点和运行机制，并且和传统的事件驱动总线......
通过对我国某地铁列车子系统故障统计资料的分析,提出了城市轨道交通列车安全关键系统的鉴别方法-累计频率法.在应用过程中,分别采......
为了实现城市轨道交通运营企业的可持续发展,在保障行车安全可靠的同时,也要科学控制车辆设备的维修成本.文章通过分析城市轨道交......
安全关键系统的愈发复杂,使得系统的安全性和开发成本面临着越来越大的挑战.由ESA赞助的COMPASS项目,使用SLIM对诸如航天器系统这......
安全关键软件需考虑其复用冗余部分对软件系统性失效的防范能力。现代安全关键软件的大规模和高复杂度,提高了针对此部分进行代码......
当安全关键系统中的某些环境发生变化时,其对应于某些关键设备的防危策略也会皆然不同。本文以核电站控制系统为原型,提出一种基于......
In order to improve dependability of safety critical systems, whose safeguard technologies are researched inthis paper. ......
容错技术是提高系统可靠性的重要途径,软件又是容错技术的灵魂,对于提高系统安全性和可靠性等具有重要的作用。面对安全关键系统功......
软件的大量应用，使控制系统面，临严峻的安全考验，陷入了安全危机中，迫切需要新的安全保障技术。安全核就是应运而生的一种安全保障新概......
嵌入式软件在安全关键领域的广泛应用使得保障软件的安全性成为学界的研究热点。故障树技术是工业界常用的传统的安全分析方法之一......
为了达到经过形式化验证分区操作系统内核隔离性质的目标,采取形式化方法描述系统的顶层规范设计中描述隔离性质需求,通过将航空电......
QNX软件系统有限公司推出针对ISO26262标准的全新QNX汽车安全项目。该全新项目旨在加速数字仪表盘、先进的驾驶员辅助系统（ADAS）、车......
引言本文关注的是使用 C语言对安全功能有高度要求的安全关键系统（Safety Critical System）进行开发的过程中涉及到的一些问题。尽管......
基于响应时间的可调度分析是设计硬实时系统的基础．防危核（壳）是安全关键硬实时系统的一种新防危措施，现有的普适响应时问分析方法不能......
安全核是安全关键系统的一种新的安全保障机制。通过对安全核原理的分析，讨论了该核的概念及特征，包括其建立的原因、条件、安全策略......
为设计高防危性的安全关键系统,阐述了安全关键系统防危性的本质含义.并从设计方面研究防危性的实现机制,其中重点研究了基于防危......
为增强安全关键系统的高可信能力,在分析高可信保障机制现状的基础上,提出了一种多层次的高可信软件架构。该架构采用＂时空分离＂思想......
能够提供更强计算能力的多核处理器将在安全关键系统中得到广泛应用,但是由于现代处理器所使用的流水线、乱序执行、动态分支预测......
为了有效验证安全关键系统的通信模型,提出基于时间化UML（unified modeling language,统一建模语言）的模型检测方法。首先采用时间化......
摘 要：现有的安全关键系统开发的方法一般是在系统开发后期使用测试的方法对系统需求进行验证，这种方法一方面需要耗费大量时间与人......
航空、铁路和汽车等领域的关键系统往往需要经过正式的安全认证过程。正式的安全认证过程的目的就是确保上述关键系统将会安全工作......
一个大型的安全关键系统常常由成千上万的部件所组成．在这类系统中检测错误会耗费巨大的时间和代价。讨论如何根据系统的行为和功能......
安全关键系统是指其不正确的功能或失效会导致人员伤亡、财产损失等严重后果的计算机系统。软件系统是安全关键系统研究的核心和难......
【摘要】在安全关键领域，时间触发模型以及时间触发协议已经被认为广泛接受。针对当前广泛用于安全关键领域的时间触发协议及其发展......
近日，The Math Works宣布，其Simulink Verification and Validation软件能够自动评估和验证系统模型与DO-178B和IEC-61508标准及MAAB......
介绍了一种采用单片机、PSD、CPLD和电压调理电路等主要组件设计的一类针对安全关键系统的信息采集与控制装置。实际测试表明，这种......
The MathWorks于今日宣布，其Simulink Verification and Validation软件能够自动评估和验证系统模型与DO-178B和IEC-61508标准及MAA......
城市轨道交通CBTC（基于通信的列车控制）信号系统是控制和防护列车自动运行的安全关键系统。该信号系统早期主要依赖国外技术，在经历了......
BUFFER空间分析是安全关键系统验证的重要组成部分,涉及到系统排队理论。通过对一般Buffer队列和周期任务Buffer进行了分析,并对BU......
北京莱姆电子近日宣布，推出完备的蓄电池监控智能传感器Sentinel。该产品设计用于备用蓄电池监控，可测量每只电池的电压与内阻，并具有......
本文从分析SCS(Safety -CriticalSystems安全关键系统 )这类重要的实时控制系统的故障新特点出发 ,讨论了SCS中形式化方法的作用、......
栈的分析是安全关键系统验证的重要组成部分,安全栈最大使用计算是栈分析的重要方式。为提高栈最大使用量,通过对中断抢占图、中断......
为保障安全关键系统的正常运行,防止由用户对安全关键设备的误操作引起的系统故障,该文提出了一种通用的安全关键系统防危体系结构......
为了评估安全关键软件的防危性 ,该文在分析软件可靠性与防危性异同的基础上 ,建立了相应的防危性评估指标 ,同时研究了传统统计测......
