A model-based approach to support the systematic reuse and generation of safety artefacts in safety-critical software product line engineering

机译：安全关键组件的系统重用将迎来嵌入式软件开发的新时代

机译：跨标准和领域重复使用安全认证产品：一种系统方法

机译：系统工程方法中安全关键系统的动态故障树生成

机译：软件安全风险分类系统的产品工程类，用于建设安全关键系统

机译：适应性软件重用：绑定时间意识到建模语言，以支持软件产品线工程中的特征绑定时间的变体

机译：敏捷方法的开源安全关键软件

机译：基于本体的方法支持安全关键软件产品线认证

机译：用于软件规范的证明重用支持设备，用于软件规范的证明重用支持方法以及用于软件规范的证明重用支持程序

机译：用于安全关键软件的集成自动化测试用例

机译：基于安全关键软件自动需求的测试案例生成的系统和方法