分享到:

基于UPPAAL的列车自动防护系统形式化建模与验证

本文分析列车自动防护(ATP)系统的结构和功能需求,建立系统的时间自动机模型,采用UPPAA  (本文共4页) 阅读全文>>

《中国安全科学学报》2005年03期
中国安全科学学报

安全苛求系统的交叉验收框架

交叉验收是一个涉及技术和法律的工作,其目的是在新项目中能够尽快地应用类似的产品、系统和方法(PSP)。交叉验收的PSP首先要求在原始的应用中能够满足可靠性、安全性和环境要求。PSP目标和原始的应用应具有很好的相似性,因此,不需要很大的改...  (本文共4页) 阅读全文>>

《铁路计算机应用》2011年07期
铁路计算机应用

安全苛求系统综合功能危险源分析方法的研究

基于经典方法改进的安全分析方法—综合功能危险源分析(IFHA),综合了功能故障分析(FHA)、故障模式及影响分析(FMEA)、瞬时故障和可操作性研究(HAZOP)以及故障树分析(FTA)的分析原理,通过不同分析...  (本文共4页) 阅读全文>>

《铁路计算机应用》2014年06期
铁路计算机应用

安全苛求系统下的嵌入式C语言程序调试技巧

介绍安全苛求系统下的嵌入式C语言程序调试的技巧。总结安全苛求系统的编码和程序调试工作...  (本文共3页) 阅读全文>>

《计算机工程》2005年02期
计算机工程

软件安全性3M评价模型复杂度因子的研究

安全苛求系统需要防范意外事件造成对人的生命、大宗财产或环境的损害。因此,对安全苛求软件的测试、安全性评价非常重要。多...  (本文共3页) 阅读全文>>