certification; legacy; requirements; safety-critical; software safety risk; traceability;
机译:基于软件检查,需求可追溯性和正式规范的NPP安全关键系统的软件需求分析的有效技术
机译:基于Petri网的方法,以引发组件交互相关的安全要求在安全关键系统中
机译:使用容错的现成软件升级的传统安全关键系统的贝叶斯可靠性评估
机译:创建安全需求可追溯性,以确保和重新认证旧版安全关键系统
机译:对嵌入式系统中的安全关键要求进行计算机辅助的经济有效的验证。
机译:安全关键型差分GNSS系统的电离层空间解相关与空间天气强度之间的相关性
机译:旧版安全关键计算机系统中的软件安全风险