SHF: Medium: RUI: Collaborative Research: Advanced Traceability for Composing Product Line Safety Cases
SHF:中:RUI:协作研究:用于编写产品线安全案例的高级可追溯性
基本信息
- 批准号:1647342
- 负责人:
- 金额:$ 39.6万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2016
- 资助国家:美国
- 起止时间:2016-07-01 至 2020-06-30
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
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.
为了减少上市时间和开发成本,安全关键软件系统的家族越来越多地被开发为产品线。例子包括医疗设备、飞机、辅助机器人和自动驾驶汽车中的软件。产品线提供了广泛的软件工件的结构化重用,包括需求、架构、设计、代码和测试用例。 对于安全关键产品线,必须为每个产品构建安全案例,以提供使用安全的证据。构建这些安全案例是耗时的,会减缓行业发展?新产品的上市时间。这个项目开发了一个解决方案的产品线,部分自动化的产品建设?的安全案例,并指导开发人员完成所需的安全分析和细化步骤。该项目的目标是减少开发安全案例的成本和工作量,同时利用产品线重用来提高交付产品的质量和安全性。重用可变性感知安全资产的能力可以改变安全关键产品线的制造商分析其产品安全性和构建安全案例的方式。与工业合作者一起在现实世界的产品线上对解决方案进行评估。在此资助下开发的底层可追溯性技术和工具,将通过解决跟踪链接演变和安全重用的持续问题,使广泛的软件密集型系统受益。 该项目在可追溯性,软件安全和产品线方面对学生进行交叉培训,并制作培训材料,以鼓励过渡到实践所开发的解决方案。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Jane Huang其他文献
Impact of a Case Series of Corneal Transplant Rejection on the Kinetics of Cytokine Concentrations in Human Tears after Keratoplasty
角膜移植排斥病例系列对角膜移植术后人泪液细胞因子浓度动力学的影响
- DOI:
- 发表时间:
2015 - 期刊:
- 影响因子:0
- 作者:
A. Fuchigami;Jane Huang;M. Kozawa;E. Uchio;Kyoko Nakajima;K. Yoshinaga - 通讯作者:
K. Yoshinaga
H2CO Distribution and Formation in the TW HYA Disk
H2CO 在 TW HYA 盘中的分布和形成
- DOI:
- 发表时间:
2017 - 期刊:
- 影响因子:0
- 作者:
K. Öberg;V. Guzmán;Christopher J. Merchantz;C. Qi;S. Andrews;L. Cleeves;Jane Huang;R. Loomis;D. Wilner;C. Brinch;M. Hogerheijde - 通讯作者:
M. Hogerheijde
The TW Hya Rosetta Stone Project. I. Radial and Vertical Distributions of DCN and DCO+
TW Hya Rosetta Stone 项目。
- DOI:
10.3847/1538-3881/abc74d - 发表时间:
2020 - 期刊:
- 影响因子:0
- 作者:
K. Öberg;L. Cleeves;J. Bergner;Joseph Cavanaro;R. Teague;Jane Huang;R. Loomis;E. Bergin;G. Blake;Jenny K. Calahan;P. Cazzoletti;V. Guzmán;M. Hogerheijde;M. Kama;J. Terwisscha van Scheltinga;C. Qi;E. V. van Dishoeck;C. Walsh;D. Wilner - 通讯作者:
D. Wilner
Improving requirements clustering in an interactive and dynamic environment
在交互式动态环境中改进需求集群
- DOI:
- 发表时间:
2009 - 期刊:
- 影响因子:0
- 作者:
Jane Huang;C. Duan - 通讯作者:
C. Duan
Effect of high nucleated cell concentration on product viability and hematopoietic recovery in autologous transplantation
高有核细胞浓度对自体移植产物活力和造血恢复的影响
- DOI:
- 发表时间:
2020 - 期刊:
- 影响因子:2.9
- 作者:
D. M. Lin;Matt Hiskey;Jane Huang;Cherie Nickerson;Desmond Saisitthidej;Andrea Bradford;Joshua Woodburn;Andrea Lius;Adam Skrzekut;Ellen Tran;R. Haley - 通讯作者:
R. Haley
Jane Huang的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Jane Huang', 18)}}的其他基金
Unveiling diverse planet formation environments with millimeter imaging
利用毫米成像揭示多样化的行星形成环境
- 批准号:
2307916 - 财政年份:2023
- 资助金额:
$ 39.6万 - 项目类别:
Standard Grant
DASS: Principled Software Design and Accountability
DASS:有原则的软件设计和责任
- 批准号:
2131515 - 财政年份:2021
- 资助金额:
$ 39.6万 - 项目类别:
Standard Grant
PFI-TT: An Analysis Tool Supporting the Safe Deployment of New Features in Evolving Software Systems
PFI-TT:支持在不断发展的软件系统中安全部署新功能的分析工具
- 批准号:
2122689 - 财政年份:2021
- 资助金额:
$ 39.6万 - 项目类别:
Standard Grant
SHF: Medium: Collaborative Research: Semantically-Enhanced Software Traceability for Supporting Human-Centric Tasks
SHF:媒介:协作研究:语义增强的软件可追溯性,支持以人为本的任务
- 批准号:
1901059 - 财政年份:2019
- 资助金额:
$ 39.6万 - 项目类别:
Continuing Grant
SHF: Small: Evolving Safety Cases in Agile Development Environments
SHF:小型:敏捷开发环境中不断演变的安全案例
- 批准号:
1909007 - 财政年份:2019
- 资助金额:
$ 39.6万 - 项目类别:
Standard Grant
CPS:Medium:Interactive Human-Drone Partnerships in Emergency Response Scenarios
CPS:中:紧急响应场景中的交互式人机合作伙伴关系
- 批准号:
1931962 - 财政年份:2019
- 资助金额:
$ 39.6万 - 项目类别:
Standard Grant
Student Support for International Requirements Engineering Conference
国际需求工程会议的学生支持
- 批准号:
1830101 - 财政年份:2018
- 资助金额:
$ 39.6万 - 项目类别:
Standard Grant
EAGER: SHF: A Community Case Environment for Empowering Transformative Requirements Engineering Research
EAGER:SHF:支持变革性需求工程研究的社区案例环境
- 批准号:
1741781 - 财政年份:2017
- 资助金额:
$ 39.6万 - 项目类别:
Standard Grant
SHF: Small: Asked and Answered: Intelligent Data Science for Software Projects
SHF:小型:询问和回答:软件项目的智能数据科学
- 批准号:
1649448 - 财政年份:2016
- 资助金额:
$ 39.6万 - 项目类别:
Standard Grant
CI-EN: RUI: Collaborative Research: TraceLab Community Infrastructure for Replication, Collaboration, and Innovation
CI-EN:RUI:协作研究:用于复制、协作和创新的 TraceLab 社区基础设施
- 批准号:
1649008 - 财政年份:2016
- 资助金额:
$ 39.6万 - 项目类别:
Standard Grant
相似海外基金
Collaborative Research: RI: Medium: RUI: Automated Decision Making for Open Multiagent Systems
协作研究:RI:中:RUI:开放多智能体系统的自动决策
- 批准号:
2312657 - 财政年份:2023
- 资助金额:
$ 39.6万 - 项目类别:
Standard Grant
Collaborative Research: RI: Medium: RUI: Automated Decision Making for Open Multiagent Systems
协作研究:RI:中:RUI:开放多智能体系统的自动决策
- 批准号:
2312659 - 财政年份:2023
- 资助金额:
$ 39.6万 - 项目类别:
Standard Grant
Collaborative Research: RI: Medium: RUI: Automated Decision Making for Open Multiagent Systems
协作研究:RI:中:RUI:开放多智能体系统的自动决策
- 批准号:
2312658 - 财政年份:2023
- 资助金额:
$ 39.6万 - 项目类别:
Standard Grant
Collaborative Research: SaTC: CORE: Medium: RUI: Applied Cryptographic Protocols with Provably-Secure Foundations
协作研究:SaTC:核心:中:RUI:具有可证明安全基础的应用密码协议
- 批准号:
2149766 - 财政年份:2022
- 资助金额:
$ 39.6万 - 项目类别:
Standard Grant
Collaborative Research: CPS: Medium: RUI: Cooperative AI Inference in Vehicular Edge Networks for Advanced Driver-Assistance Systems
协作研究:CPS:中:RUI:高级驾驶员辅助系统车辆边缘网络中的协作人工智能推理
- 批准号:
2128341 - 财政年份:2021
- 资助金额:
$ 39.6万 - 项目类别:
Standard Grant
Collaborative Research: HCC: Medium: RUI: Intelligent support for non-experts to navigate large information spaces
协作研究:HCC:中:RUI:为非专家导航大型信息空间提供智能支持
- 批准号:
2106896 - 财政年份:2021
- 资助金额:
$ 39.6万 - 项目类别:
Standard Grant
Collaborative Research: CIF: Medium: RUI: Do You Trust Me? Practical Approaches and Fundamental Limits for Keyless Authentication
合作研究:CIF:媒介:RUI:你相信我吗?
- 批准号:
2107488 - 财政年份:2021
- 资助金额:
$ 39.6万 - 项目类别:
Continuing Grant
Collaborative Research: CPS: Medium: RUI: Cooperative AI Inferencein Vehicular Edge Networks for Advanced Driver-Assistance Systems
协作研究:CPS:中:RUI:用于高级驾驶员辅助系统的车辆边缘网络中的协作人工智能推理
- 批准号:
2128350 - 财政年份:2021
- 资助金额:
$ 39.6万 - 项目类别:
Standard Grant
Collaborative Research: CPS: Medium: RUI: Cooperative AI Inferencein Vehicular Edge Networks for Advanced Driver-Assistance Systems
协作研究:CPS:中:RUI:用于高级驾驶员辅助系统的车辆边缘网络中的协作人工智能推理
- 批准号:
2128378 - 财政年份:2021
- 资助金额:
$ 39.6万 - 项目类别:
Standard Grant
Collaborative Research: CPS: Medium: RUI: Cooperative AI Inferencein Vehicular Edge Networks for Advanced Driver-Assistance Systems
协作研究:CPS:中:RUI:用于高级驾驶员辅助系统的车辆边缘网络中的协作人工智能推理
- 批准号:
2128346 - 财政年份:2021
- 资助金额:
$ 39.6万 - 项目类别:
Standard Grant