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

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

• 批准号: 1513717
• 负责人: Robyn Lutz
• 金额: $ 42.39万
• 依托单位: Iowa State University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2015
• 资助国家: 美国
• 起止时间: 2015-07-01 至 2021-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1513717&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.

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

项目成果

SafeWalk: a Simulation Tool Kit for Exploring Software Requirements in a Safety-Critical Product Line

SafeWalk：用于探索安全关键产品线中软件需求的仿真工具套件

• DOI: 10.1109/re54965.2022.00038
• 发表时间: 2022
• 期刊: 30th IEEE International Requirements Engineering Conference RE 2022
• 作者: Lathrop, James I.;Lutz, Robyn R.;Brecount, Cameron;Potter, Hugh;Rohlfing, Kathryn;Slater, Jesse;Wallin, Joshua
• 通讯作者: Wallin, Joshua