PFI-TT: An Analysis Tool Supporting the Safe Deployment of New Features in Evolving Software Systems

PFI-TT:支持在不断发展的软件系统中安全部署新功能的分析工具

基本信息

  • 批准号:
    2122689
  • 负责人:
  • 金额:
    $ 24.98万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2021
  • 资助国家:
    美国
  • 起止时间:
    2021-07-15 至 2023-08-31
  • 项目状态:
    已结题

项目摘要

The broader impact/commercial potential of this Partnerships for Innovation - Technology Translation (PFI-TT) project will develop a tool-supported environment designed to aid in the safety analysis of software intensive systems. Developing highly dependable software for medical infusion pumps, positive train controls, and robotics applications is a challenging process that requires rigorous and systematic hazard analysis. Such systems are traditionally developed within a carefully controlled process that emphasizes detailed planning, upfront design, and phase-based quality assurance gateways. Despite these efforts, products are recalled for life-threatening safety vulnerabilities. The challenges of developing safety systems have led to the phenomenon known as the "big freeze" in which the cost, effort, and risk of introducing new features inhibit product evolution. The proposed solution will aid software safety analysts and other stakeholders in identifying system-level changes while simultaneously building a safety-case for certification or internal audit purposes. These abilities enable an organization to evolve their products without sacrificing safety, security, or other critical concerns, thereby increasing their competitive advantage. The project trains a diverse cadre of women, minorities, and persons with disabilities in entrepreneurial activities. This project will utilize cutting-edge, deep learning technologies to train a domain-specific language model that will be used to automatically generate and evolve accurate trace links between artifacts such as requirements, design, code, and test cases. The generated trace links will be used to generate novel visualizations of hazards and their mitigation pathways (i.e., hazard slices), and to highlight changes that have been introduced across different versions of the system. In addition, the hazard-slices will be integrated into existing safety-analysis techniques such as fault-trees and safety-assurance cases. The novel hazard-based visualizations are designed to aid analysts and developers in addressing emergent safety concerns in large, complex, and evolving software projects. Finally, the work will provide tools for analyzing changes in the software system, generating explanations to aid in the identification of potential safety problems, and recommending actions that could be taken to mitigate safety risks introduced by the changes.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.
该创新-技术转化伙伴关系(PFI-TT)项目的更广泛影响/商业潜力将开发一个工具支持环境,旨在帮助软件密集型系统的安全分析。为医用输液泵、正向列车控制和机器人应用开发高度可靠的软件是一个具有挑战性的过程,需要进行严格和系统的危险分析。传统上,这些系统是在一个精心控制的过程中开发的,该过程强调详细的规划、前期设计和基于阶段的质量保证网关。尽管做出了这些努力,但产品仍因危及生命的安全漏洞而被召回。开发安全系统的挑战导致了被称为“大冻结”的现象,其中引入新功能的成本、努力和风险抑制了产品的发展。拟议的解决方案将帮助软件安全分析师和其他利益相关者识别系统级更改,同时为认证或内部审计目的构建安全案例。这些能力使组织能够在不牺牲安全性,安全性或其他关键问题的情况下发展他们的产品,从而提高他们的竞争优势。该项目对妇女、少数民族和残疾人等各类骨干进行创业活动培训。该项目将利用尖端的深度学习技术来训练特定于领域的语言模型,该模型将用于自动生成和发展需求,设计,代码和测试用例等工件之间的准确跟踪链接。 生成的跟踪链接将用于生成危害及其缓解途径的新可视化(即,危险切片),并突出显示在系统的不同版本中引入的更改。 此外,危险切片将被集成到现有的安全分析技术,如故障树和安全保证案例。 这种新颖的基于危险的可视化设计旨在帮助分析师和开发人员解决大型、复杂和不断发展的软件项目中的紧急安全问题。最后,这项工作将提供工具,用于分析软件系统中的变化,生成解释,以帮助识别潜在的安全问题,并建议可以采取的行动,以减轻安全风险所引入的变化。这个奖项反映了NSF的法定使命,并已被认为是值得通过评估使用基金会的智力价值和更广泛的影响审查标准的支持。

项目成果

期刊论文数量(2)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
SAFA: A Tool for Supporting Safety Analysis in Evolving Software Systems
SAFA:支持不断发展的软件系统安全分析的工具
  • DOI:
    10.1145/3551349.3559535
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Rodriguez, Alberto D.;Newman, Timothy;Dearstyne, Katherine R.;Cleland-Huang, Jane
  • 通讯作者:
    Cleland-Huang, Jane
Prompts Matter: Insights and Strategies for Prompt Engineering in Automated Software Traceability
{{ 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
  • 资助金额:
    $ 24.98万
  • 项目类别:
    Standard Grant
DASS: Principled Software Design and Accountability
DASS:有原则的软件设计和责任
  • 批准号:
    2131515
  • 财政年份:
    2021
  • 资助金额:
    $ 24.98万
  • 项目类别:
    Standard Grant
SHF: Medium: Collaborative Research: Semantically-Enhanced Software Traceability for Supporting Human-Centric Tasks
SHF:媒介:协作研究:语义增强的软件可追溯性,支持以人为本的任务
  • 批准号:
    1901059
  • 财政年份:
    2019
  • 资助金额:
    $ 24.98万
  • 项目类别:
    Continuing Grant
CPS:Medium:Interactive Human-Drone Partnerships in Emergency Response Scenarios
CPS:中:紧急响应场景中的交互式人机合作伙伴关系
  • 批准号:
    1931962
  • 财政年份:
    2019
  • 资助金额:
    $ 24.98万
  • 项目类别:
    Standard Grant
SHF: Small: Evolving Safety Cases in Agile Development Environments
SHF:小型:敏捷开发环境中不断演变的安全案例
  • 批准号:
    1909007
  • 财政年份:
    2019
  • 资助金额:
    $ 24.98万
  • 项目类别:
    Standard Grant
Student Support for International Requirements Engineering Conference
国际需求工程会议的学生支持
  • 批准号:
    1830101
  • 财政年份:
    2018
  • 资助金额:
    $ 24.98万
  • 项目类别:
    Standard Grant
EAGER: SHF: A Community Case Environment for Empowering Transformative Requirements Engineering Research
EAGER:SHF:支持变革性需求工程研究的社区案例环境
  • 批准号:
    1741781
  • 财政年份:
    2017
  • 资助金额:
    $ 24.98万
  • 项目类别:
    Standard Grant
SHF: Small: Asked and Answered: Intelligent Data Science for Software Projects
SHF:小型:询问和回答:软件项目的智能数据科学
  • 批准号:
    1649448
  • 财政年份:
    2016
  • 资助金额:
    $ 24.98万
  • 项目类别:
    Standard Grant
SHF: Medium: RUI: Collaborative Research: Advanced Traceability for Composing Product Line Safety Cases
SHF:中:RUI:协作研究:用于编写产品线安全案例的高级可追溯性
  • 批准号:
    1647342
  • 财政年份:
    2016
  • 资助金额:
    $ 24.98万
  • 项目类别:
    Standard Grant
CI-EN: RUI: Collaborative Research: TraceLab Community Infrastructure for Replication, Collaboration, and Innovation
CI-EN:RUI:协作研究:用于复制、协作和创新的 TraceLab 社区基础设施
  • 批准号:
    1649008
  • 财政年份:
    2016
  • 资助金额:
    $ 24.98万
  • 项目类别:
    Standard Grant

相似国自然基金

叶绿体蛋白 TT3.2 调控水稻耐热性的分子机制研究
  • 批准号:
    24ZR1431200
  • 批准年份:
    2024
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
苯并呋喃-6-酮类化合物TT01f通过调控Jagged1/Notch信号通路改善特发性肺纤维化的药理学机制研究
  • 批准号:
    82304596
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
TT3.2通过自噬体-液泡途径调控水稻盐胁迫抗性的分子机制研究
  • 批准号:
    32301745
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
基于肌红蛋白构象及其氧化还原体系探究tt-DDE加速生鲜牛肉肉色劣变的分子机制
  • 批准号:
    32372384
  • 批准年份:
    2023
  • 资助金额:
    50 万元
  • 项目类别:
    面上项目
TT02通过巨噬细胞外囊泡miR-122/Wnt途径拮抗石英诱导肺纤维化的机制研究
  • 批准号:
  • 批准年份:
    2022
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
核用690TT合金传热管表面划伤诱导应力腐蚀裂纹萌生机理研究
  • 批准号:
  • 批准年份:
    2022
  • 资助金额:
    53 万元
  • 项目类别:
    面上项目
HIIT 对TT+DR 小鼠肩袖肌脂肪浸润的治疗效果和机制研究
  • 批准号:
    2021JJ40949
  • 批准年份:
    2021
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
GhmiR858靶向TT2协同调控彩色棉纤维色泽形成的分子机制研究
  • 批准号:
    32001591
  • 批准年份:
    2020
  • 资助金额:
    24.0 万元
  • 项目类别:
    青年科学基金项目

相似海外基金

PFI-TT: A Novel Wireless Sensor for Continuous Monitoring of Patients with Chronic Diseases
PFI-TT:一种用于持续监测慢性病患者的新型无线传感器
  • 批准号:
    2345803
  • 财政年份:
    2024
  • 资助金额:
    $ 24.98万
  • 项目类别:
    Continuing Grant
PFI-TT: Commercial scale production of aligned polymer nanofiber materials and yarns
PFI-TT:定向聚合物纳米纤维材料和纱线的商业规模生产
  • 批准号:
    2345785
  • 财政年份:
    2024
  • 资助金额:
    $ 24.98万
  • 项目类别:
    Standard Grant
PFI-TT: Vine Robots for In-Pipe Navigation and Inspection of Critical Infrastructure
PFI-TT:用于管道内导航和关键基础设施检查的 Vine 机器人
  • 批准号:
    2345769
  • 财政年份:
    2024
  • 资助金额:
    $ 24.98万
  • 项目类别:
    Standard Grant
PFI-TT: A Smart Bipolar Surgical Device for Electrosurgery
PFI-TT:用于电外科的智能双极手术设备
  • 批准号:
    2329783
  • 财政年份:
    2024
  • 资助金额:
    $ 24.98万
  • 项目类别:
    Continuing Grant
PFI-TT: Bio-inspired enhancement of concrete for carbon sequestration and longevity
PFI-TT:仿生增强混凝土以实现碳封存和长寿
  • 批准号:
    2329856
  • 财政年份:
    2024
  • 资助金额:
    $ 24.98万
  • 项目类别:
    Continuing Grant
PFI-TT: Local Sensing on Automated Vehicles
PFI-TT:自动驾驶车辆的本地传感
  • 批准号:
    2329820
  • 财政年份:
    2024
  • 资助金额:
    $ 24.98万
  • 项目类别:
    Continuing Grant
PFI-TT: Smart windows for on-demand control of solar heat and daylight
PFI-TT:用于按需控制太阳热能和日光的智能窗户
  • 批准号:
    2345804
  • 财政年份:
    2024
  • 资助金额:
    $ 24.98万
  • 项目类别:
    Standard Grant
PFI-TT: Prototyping a Electromechanical Sensor to Reduce Cheese Trim Losses
PFI-TT:制作机电传感器原型以减少奶酪边角损失
  • 批准号:
    2345656
  • 财政年份:
    2024
  • 资助金额:
    $ 24.98万
  • 项目类别:
    Continuing Grant
PFI-TT: Chemical Synthesis of a Natural Product Family of Compounds for Tick-Targeted Prevention and Control
PFI-TT:用于蜱目标预防和控制的天然产物化合物家族的化学合成
  • 批准号:
    2345757
  • 财政年份:
    2024
  • 资助金额:
    $ 24.98万
  • 项目类别:
    Standard Grant
PFI-TT: Water disinfection using safe and sustainable copper combined with a locally enhanced electric field
PFI-TT:使用安全且可持续的铜结合局部增强电场进行水消毒
  • 批准号:
    2329669
  • 财政年份:
    2024
  • 资助金额:
    $ 24.98万
  • 项目类别:
    Continuing Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了