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

SHF：中：RUI：协作研究：用于编写产品线安全案例的高级可追溯性

• 批准号: 1647342
• 负责人: Jane Huang
• 金额: $ 39.6万
• 依托单位: University of Notre Dame
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2016
• 资助国家: 美国
• 起止时间: 2016-07-01 至 2020-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1647342&HistoricalAwards=false
• 关键词: SHF; Medium; RUI; Collaborative; Research

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.

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