安全关键系统相关论文
如何对安全关键混成系统进行形式化建模及验证方法是一项重要的科学问题。在现有的工程实践中,作为验证对象的安全属性缺乏规范化......
在航天、汽车、航空等领域,安全关键系统有很强的实时需求,因此验证数据流的端到端延迟尤其重要。端到端延迟的变化是受到处理时间......
该文立足于安全关键系统,选择铁路车站信号控制系统作为具体的应用对象,对安全关键系统的形式化开发方法进行了下述主要研究和探索......
学位
在软件安全领域，软件故障树分析法是一种重要的软件危害分析方法，但是，软件故障树的建模和分析是非常繁琐费时的，因此，本文将计算机辅助......
安全关键系统是指系统的失效会造成严重的后果的系统，此类系统在日常生活中随处可见，如配电系统、灾难应对调度系统、人工心肺机和航......
随着功能需求的不断增加,安全关键系统的设计变得越来越复杂。如何通过建模与验证的方法保证安全关键系统的质量,一直以来都是形式......
随着工业领域的高速发展,工业控制网络对网络通信的实时性、可靠性和确定性的要求越来越高。传统以太网已经无法满足诸如航天跟踪......
安全关键系统是指那些系统失效会造成人员伤亡,环境和财产等的重大损失的软件系统。航空电子系统作为飞机上的核心系统,是典型的安......
使用传统的开发方法对安全关键系统进行开发时,早期系统设计阶段的错误往往到开发后期的测试阶段才能检测出来,重新对系统结构进行......
伴随着计算机技术的发展,嵌入式系统在诸如航空航天、核应用、轨道交通和医疗等安全关键领域的应用更加广泛。如何保障系统的安全......
随着嵌入式系统的普遍应用,如何提高其可靠性已经成为一个重要研究领域。本文从嵌入式系统内存空间域保护的角度出发,借鉴了ARINC6......
安全关键系统的愈发复杂,使得系统的安全性和开发成本面临着越来越大的挑战.由ESA赞助的COMPASS项目,使用SLIM对诸如航天器系统这......
航空、铁路和汽车等领域的关键系统往往需要经过正式的安全认证过程。正式的安全认证过程的目的就是确保上述关键系统将会安全工作......
当安全关键系统中的某些环境发生变化时,其对应于某些关键设备的防危策略也会皆然不同。本文以核电站控制系统为原型,提出一种基于......
In order to improve dependability of safety critical systems, whose safeguard technologies are researched inthis paper. ......
容错技术是提高系统可靠性的重要途径,软件又是容错技术的灵魂,对于提高系统安全性和可靠性等具有重要的作用。面对安全关键系统功......
软件的大量应用，使控制系统面，临严峻的安全考验，陷入了安全危机中，迫切需要新的安全保障技术。安全核就是应运而生的一种安全保障新概......
嵌入式软件在安全关键领域的广泛应用使得保障软件的安全性成为学界的研究热点。故障树技术是工业界常用的传统的安全分析方法之一......
基于响应时间的可调度分析是设计硬实时系统的基础．防危核（壳）是安全关键硬实时系统的一种新防危措施，现有的普适响应时问分析方法不能......
安全核是安全关键系统的一种新的安全保障机制。通过对安全核原理的分析，讨论了该核的概念及特征，包括其建立的原因、条件、安全策略......
为设计高防危性的安全关键系统,阐述了安全关键系统防危性的本质含义.并从设计方面研究防危性的实现机制,其中重点研究了基于防危......
为增强安全关键系统的高可信能力,在分析高可信保障机制现状的基础上,提出了一种多层次的高可信软件架构。该架构采用＂时空分离＂思想......
为了有效验证安全关键系统的通信模型,提出基于时间化UML（unified modeling language,统一建模语言）的模型检测方法。首先采用时间化......
摘 要：现有的安全关键系统开发的方法一般是在系统开发后期使用测试的方法对系统需求进行验证，这种方法一方面需要耗费大量时间与人......
航空、铁路和汽车等领域的关键系统往往需要经过正式的安全认证过程。正式的安全认证过程的目的就是确保上述关键系统将会安全工作......
一个大型的安全关键系统常常由成千上万的部件所组成．在这类系统中检测错误会耗费巨大的时间和代价。讨论如何根据系统的行为和功能......
安全关键系统是指其不正确的功能或失效会导致人员伤亡、财产损失等严重后果的计算机系统。软件系统是安全关键系统研究的核心和难......
【摘要】在安全关键领域，时间触发模型以及时间触发协议已经被认为广泛接受。针对当前广泛用于安全关键领域的时间触发协议及其发展......
介绍了一种采用单片机、PSD、CPLD和电压调理电路等主要组件设计的一类针对安全关键系统的信息采集与控制装置。实际测试表明，这种......
BUFFER空间分析是安全关键系统验证的重要组成部分,涉及到系统排队理论。通过对一般Buffer队列和周期任务Buffer进行了分析,并对BU......
栈的分析是安全关键系统验证的重要组成部分,安全栈最大使用计算是栈分析的重要方式。为提高栈最大使用量,通过对中断抢占图、中断......
为了评估安全关键软件的防危性 ,该文在分析软件可靠性与防危性异同的基础上 ,建立了相应的防危性评估指标 ,同时研究了传统统计测......
基于模型的安全性分析方法能够提高对目前复杂安全关键系统的建模与分析能力。系统建模语言(System Modeling Language,SysML)是一......
安全关键可编程系统是安全关键应用领域的基础设备。为确保安全关键可编程系统的整体功能达到所需的高安全度,有必要对其应用逻辑......
以矿井水泵的操控系统为实例研究时象，通过对该实例的分析与设计，来阐述如何将离散事件系统（Discrete Event Syslem）的监督控制理论应......
随着软件系统的规模和复杂度不断增大,以软件为核心的安全关键系统的可靠性和安全性越来越难以保证。软件失效模式与影响分析SFMEA......
在基于UMLsec模型开发的安全关键系统中,为了验证UMLsec模型描述的安全需求是否满足,提出一种支持自动分析验证UMLsec模型工具框架......
软件的日益广泛应用逐渐改变了控制系统的故障模式，因此对新安全保障技术的研究具有重要的意义。安全核正是应运而生的一种新安全保......
物联网及无线传感网的发展将使越来越多的应用成为安全关键系统,而这类应用在性质上区别于医疗、核能和航空航天等领域的传统安全......
对TMS570的RAMECC校验逻辑、FlashECC校验逻辑、FMCECC校验逻辑和FEEECC校验逻辑设计了自诊断流程并给出了详细实现方法，通过操作芯......
安全关键系统常用可靠性和安全性来衡量优劣,多模冗余是一种重要的提升此类性能的设计。本文通过使用PRISM工具,建立运算模块、表......
通过分析安全关键系统的特点,综合考虑了不同的部件失效模式、维修模式导致系统的不同安全性,建立了部件故障三态、系统故障多态模......
为解决安全关键系统开发早期传统危险源分析方法不精确和不完备的问题,提出了一种基于SCADE(safety critical application develop......
针对安全关键系统的时间触发通信需求,分析了时间触发通信总线的安全性机制,从分布式通信架构、时间域的总线监护、总线重构、物理......
安全关键系统的实现需要通过需求、设计、集成、验证和测试等多个阶段。近年来,模型驱动开发方法逐渐成为安全关键系统设计与开发......
在航空、核电和国防军工领域当中,安全关键系统(Safety-Critical System,SCS)的软件非常重要,其可靠性必须通过测试或形式化方法来......
在安全关键系统中,针对多核处理器共享硬件资源竞争带来的执行时间波动性问题,提出了基于性能计数器PMR和RSB的通用测试方法,通过......
架构分析与设计语言(AADL)是一种用于描述复杂嵌入式系统体系架构的建模语言,被广泛用于安全关键系统建模与验证。AADL通过行为附......
