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

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

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.