Safety Analysis for Critical Product Lines

安全性分析对于高保证的软件系统是必不可少的。安全分析识别危险，得出消除或控制这些危险的软件安全要求，并确保设计和实现包含这些保障措施。产品线是共享一组公共功能和相关市场授权的产品的集合。目前，正在建立的高保证产品线没有执行有效安全分析所需的工具或概念框架。这项研究通过开发关键产品线安全分析的框架和一套技术，解决了安全分析如何成为产品线的可重用资产的问题。这项研究的预期好处包括将安全分析扩展到产品线，提供在产品线内重复使用安全分析的框架，得出关于重复使用产品线安全分析的正式指定限制，以及以更低的成本和减少的进度实现更安全的产品线系统。结果将通过在工业案例研究中的应用进行经验性评估。该项目将扩大学生研究人员参与产品线安全分析技术开发的机会。

Safety analysis is essential for high-assurance software systems. Safety analysis identifies the hazards, derives the software safetyrequirements to eliminate or control these hazards, and ensures that the designand implementation incorporate those safeguards. A product line is aset of products that share a common set of features and a related market ormission.Currently, high-assurance product lines are being built without thetools or conceptual framework necessary to perform effective safety analyses. This research addresses the question of how safety analysis canbecome a reusable asset of a product line by developing a framework and asuite of techniques for the safety analysis of critical product lines. Anticipated benefits of the research include extending safety analyses toproduct lines, providing a framework for reuse of safety analyses within a product line, deriving formally specified limits on reuse of product-line safety analysis, and enabling safer product-line systems at lower cost and reduced schedules. The results will be empirically evaluated by application inindustrial case studies. This project will expand the opportunities available tostudent researchers to participate in development of safety-analysistechniques for product lines.