SHF: Medium: RUI: Collaborative Research: Advanced Traceability for Composing Product Line Safety Cases

为了减少上市时间和开发成本，越来越多的安全关键软件系统系列被开发为产品线。例如，医疗设备、飞机、辅助机器人和自动驾驶车辆中的软件。产品线提供对广泛的软件构件的结构化重用，包括需求、体系结构、设计、代码和测试用例。对于安全关键型产品线，必须为每个产品构建一个安全案例，以提供其安全使用的证据。建造这些安全案例既耗时又拖累行业？新产品的上市时间。该项目为产品线开发了一种解决方案，该解决方案可以从现有的软件构件中部分自动化构建产品的S安全案例，并指导开发人员完成所需的安全分析和改进步骤。该项目的目标是减少开发安全案例的成本和工作量，同时利用产品线重复使用来提高交付产品的质量和安全性。重用具有可变性的安全资产的能力可以改变安全关键型产品线的制造商分析其产品安全性和构建安全案例的方式。解决方案在与行业协作者的真实产品线上进行评估。根据这笔赠款开发的基本可追踪性技术和工具，将通过解决跟踪链接演变和安全重复使用的持续问题，使广泛的软件密集型系统受益。该项目对学生进行可追溯性、软件安全和产品线方面的交叉培训，并制作培训材料，鼓励将开发的解决方案过渡到实践中。

In order to reduce time-to-market and development costs, families of safety-critical software systems are increasingly developed as product lines. Examples include the software in medical devices, airplanes, assistive robots, and self-driving vehicles. Product lines provide structured reuse of a wide range of software artifacts including requirements, architecture, design, code, and test cases. For safety-critical product lines, a safety case must be constructed for each product to provide evidence that it is safe for use. Constructing these safety cases is time-consuming and slows industries? time-to-market of new products. This project develops a solution for product lines that partially automates the construction of a product?s safety case from existing software artifacts and that guides the developer through the needed safety analysis and refinement steps. The goal of the project is to reduce the cost and effort of developing a safety case while leveraging product-line reuse to increase the quality and safety of delivered products. The ability to reuse variability-aware safety assets can transform the way manufacturers of safety-critical product lines analyze the safety of their products and construct safety cases. Solutions are evaluated on real-world product lines with industrial collaborators. The underlying traceability techniques and tools, developed under this grant, will benefit a broad set of software-intensive systems by addressing the ongoing problems of trace link evolution and safe reuse. The project cross-trains students in traceability, software safety and product lines, and produces training materials to encourage transition to practice of the solutions developed.