安全关键系统论文

一种安全关键软件系统符号执行优化方法第96-99页

关键词: 安全关键系统软件耦合性带权最小割集符号执行

2020年第01期《计算机与现代化》

计算机联锁系统二乘二取二结构的可靠性和安全性分析第1-5页

关键词: 计算机联锁安全关键系统可靠性安全性二乘二取二

2019年第12期《铁道通信信号》

系统架构描述语言AADL的功能行为建模扩展第1638-1653页

关键词: 安全关键系统功能规约

2019年第10期《计算机科学与探索》

面向SysML模型的安全性分析与验证方法第100-108页

关键词: 安全关键系统 sysml promela 机轮刹车系统

2019年第11期《计算机科学》

面向安全关键应用的多核处理器执行时间波动性分析第1541-1550页

关键词: 多核 wcet pmr rsb 安全关键系统

2019年第09期《计算机工程与科学》

一种形式化建模中活性属性转化方法研究第161-164页

关键词: 安全关键系统 kaos 活性模型检测

2018年第03期《计算技术与自动化》

TMS570的ECC逻辑自诊断机制与实现方法第27-29页

关键词: mcu tms570 ecc 自诊断安全关键系统

2017年第11期《单片机与嵌入式系统应用》

扩展SysML支持需求追踪模型的自动生成第950-960页

关键词: 需求工程模型转换安全关键系统可追踪性

2019年第06期《计算机科学与探索》

一种小型高集成智能测试装置的设计与实现第35-38页

关键词: 单片机 psd cpld 电压调理电路安全关键系统信息采集智能测试

2004年第12期《电子技术应用》

反射机制的安全核技术在微机联锁系统中实现第105-107页

关键词: 微机联锁安全关键系统反射

2005年第06期《计算机工程与应用》

基于多级关键度的高可信安全关键系统第277-282页

关键词: 安全关键系统多级关键度防危核反射技术安全保障机制信息安全计算机安全

2004年第02期《系统工程与电子技术》

安全关键软件的防危性测评技术研究第442-450页

关键词: 安全关键系统测试用例防危性测试可靠性测试安全关键软件

2004年第04期《计算机学报》

航电控制计算机系统软件安全性框架研究第135-142页

关键词: 软件安全性安全关键系统体系建模体系设计体系视角

2018年第03期《兵器装备工程学报》

利用特征配置的SLIM安全性验证方法第2346-2351页

关键词: 安全关键系统 slim语言 f promela语言安全性验证模型检测

2017年第10期《小型微型计算机系统》

大型CBTC系统的安全信心的获得第26-33页

关键词: 安全工程安全关键系统基于通信的列车控制系统系统集成

2014年第B07期《城市轨道交通研究》

模型驱动的安全关键系统标准符合性验证方法第5-10页

关键词: 安全关键系统安全证据安全标准建模模型驱动

2017年第02期《航空电子技术》

基于MILS架构的高可信嵌入式操作系统研究第1029-1035页

关键词: 安全关键系统 mils架构分离内核高可信操作系统架构半虚拟化技术

2017年第05期《通信技术》

AltaRica 3.0模型到Promela模型转换与验证方法研究第708-716页

关键词: 安全关键系统 spin 机轮刹车系统

2017年第04期《计算机工程与科学》

基于IEC 61508开发安全关键系统第1-2页

关键词: 安全关键系统 iec61508 sil

2016年第12期《工业控制计算机》

机载嵌入式软件的安全性机制研究第16-21页

关键词: 安全关键系统嵌入式软件故障分析安全威胁

2015年第S1期《通信学报》