安全关键系统相关论文
如何对安全关键混成系统进行形式化建模及验证方法是一项重要的科学问题。在现有的工程实践中,作为验证对象的安全属性缺乏规范化......
在航天、汽车、航空等领域,安全关键系统有很强的实时需求,因此验证数据流的端到端延迟尤其重要。端到端延迟的变化是受到处理时间......
该文立足于安全关键系统,选择铁路车站信号控制系统作为具体的应用对象,对安全关键系统的形式化开发方法进行了下述主要研究和探索......
学位
在软件安全领域，软件故障树分析法是一种重要的软件危害分析方法，但是，软件故障树的建模和分析是非常繁琐费时的，因此，本文将计算机辅助......
安全关键系统是指系统的失效会造成严重的后果的系统，此类系统在日常生活中随处可见，如配电系统、灾难应对调度系统、人工心肺机和航......
随着功能需求的不断增加,安全关键系统的设计变得越来越复杂。如何通过建模与验证的方法保证安全关键系统的质量,一直以来都是形式......
随着工业领域的高速发展,工业控制网络对网络通信的实时性、可靠性和确定性的要求越来越高。传统以太网已经无法满足诸如航天跟踪......
安全关键系统是指那些系统失效会造成人员伤亡,环境和财产等的重大损失的软件系统。航空电子系统作为飞机上的核心系统,是典型的安......
使用传统的开发方法对安全关键系统进行开发时,早期系统设计阶段的错误往往到开发后期的测试阶段才能检测出来,重新对系统结构进行......
伴随着计算机技术的发展,嵌入式系统在诸如航空航天、核应用、轨道交通和医疗等安全关键领域的应用更加广泛。如何保障系统的安全......
随着嵌入式系统的普遍应用,如何提高其可靠性已经成为一个重要研究领域。本文从嵌入式系统内存空间域保护的角度出发,借鉴了ARINC6......
安全关键系统的愈发复杂,使得系统的安全性和开发成本面临着越来越大的挑战.由ESA赞助的COMPASS项目,使用SLIM对诸如航天器系统这......
航空、铁路和汽车等领域的关键系统往往需要经过正式的安全认证过程。正式的安全认证过程的目的就是确保上述关键系统将会安全工作......
