关键词: mbse  sysml  安全关键软件  飞行管理软件  

2019年第05期 《航空计算技术》

关键词: 缺陷泄漏  控制软件  安全关键软件  能力成熟度模型集成  量化控制  蒙特卡洛模拟  航空发动机  

2018年第05期 《航空发动机》

关键词: 安全关键软件  缺陷挖掘  软件缺陷  

2018年第19期 《产业与科技论坛》

关键词: 安全关键软件  多维要素  约束集  验证集  

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

关键词: 安全关键软件  aadl  限定自然语言  组合验证  

2019年第05期 《小型微型计算机系统》

关键词: 软件可靠性  可靠性验证  贝叶斯方法  安全关键软件  软件测试  

2005年第03期 《航空学报》

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

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

关键词: 安全关键软件  形式化建模  时钟约束  timed  synccharts  kripke  计算机联锁  

2017年第09期 《铁道学报》

关键词: 软件可靠性  软件可靠性加速测试  加速因子  灰盒  安全关键软件  

2006年第08期 《计算机工程与应用》

关键词: 软件可靠性  验证测试方案  安全关键软件  综述  加速测试  

2013年第03期 《航空标准化与质量》

关键词: 安全关键软件  实时控制程序  最差情况执行时间  循环边界  

2014年第06期 《东北电力大学学报》

关键词: 安全关键软件  验证与确认  停堆系统  脱扣计算机  加拿大重水铀反应堆  

2011年第04期 《自动化仪表》

关键词: 安全关键系统  安全关键软件  形式化方法  软件方法  

2011年第02期 《计算机应用与软件》

关键词: 武器系统  安全关键软件  软件可靠性  软件安全性  软件工程  petri网  模型检验  形式化验证  

2011年第01期 《沈阳工业大学学报》

关键词: 软件工程  petri网  模型检验  安全关键软件  形式化方法  

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

关键词: 软件测试  安全关键软件  加速测试方  马尔可夫链使用模型  交叉熵方法  

2009年第05期 《计算机科学》

关键词: 安全关键软件  防危性评估  小子样数据  贝叶斯估计  自助法采样  

2008年第23期 《计算机工程与设计》

关键词: 软件安全性  风险索引  安全关键软件  安全保障  软件生命周期  

2008年第05期 《计算机工程与设计》

关键词: 安全关键软件  无失效数据  多层bayes估计  可靠性  

2011年第01期 《电子质量》

关键词: 安全关键软件  安全性需求  层次分析法  软件安全性  基于模型的开发  

2012年第06期 《电光与控制》