SAFA: A Tool for Supporting Safety Analysis in Evolving Software Systems
SAFA: A Tool for Supporting Safety Analysis in Evolving Software Systems
复制标题
SAFA：支持不断发展的软件系统安全分析的工具
DOI：
10.1145/3551349.3559535
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Cleland-Huang, Jane
中科院分区：
文献类型：
--
作者：
Rodriguez, Alberto D.;Newman, Timothy;Dearstyne, Katherine R.;Cleland-Huang, Jane
许多组织都在寻求提高敏捷性，以便交付更及时、更有竞争力的产品。然而，在医疗设备、自动驾驶汽车或工厂车间机器人等安全关键系统中，新功能的发布可能会引入危害，从而可能导致影响软件安全的运行时故障。因此，许多项目都出现了被称为“大冻结”的现象。SAFA旨在应对这一挑战。通过使用尖端的深度学习解决方案，它生成了需求、设计、代码、测试和其他工件的树，这些工件直观地描述了如何在系统中减轻危险，并在关键工件丢失时自动警告用户。它还使用颜色、注释和建议的组合来动态地可视化软件版本之间的变更，并通过视觉注释增强安全性案例，以帮助用户检测和分析变更对系统安全性的潜在不利影响。可以在https://www.youtube.com/watch?上找到我们工具演示的链接v=r-CwxerbSVA。
Many organizations seek to increase their agility in order to deliver more timely and competitive products. However, in safety-critical systems such as medical devices, autonomous vehicles, or factory floor robots, the release of new features has the potential to introduce hazards that potentially lead to run-time failures that impact software safety. As a result, many projects suffer from a phenomenon referred to as the big freeze. SAFA is designed to address this challenge. Through the use of cutting-edge deep-learning solutions, it generates trees of requirements, designs, code, tests, and other artifacts that visually depict how hazards are mitigated in the system, and it automatically warns the user when key artifacts are missing. It also uses a combination of colors, annotations, and recommendations to dynamically visualize change across software versions and augments safety cases with visual annotations to aid users in detecting and analyzing potentially adverse impacts of change upon system safety. A link to our tool demo can be found at https://www.youtube.com/watch?v=r-CwxerbSVA.
登录
查看更多内容
应用商业保障案例工具支持软件认证服务
DOI：
--
发表时间：
2005
期刊：
--
影响因子：
--
作者：
Emmet loe@adelard Luke;Sofia Com;Com
通讯作者：
Com
DOORS：管理需求的工具
DOI：
10.1007/978-1-84996-405-0_9
发表时间：
2010
期刊：
--
影响因子：
--
作者：
Elizabeth Hull;K. Jackson;J. Dick
通讯作者：
J. Dick
使用基于证据的论据来支持可靠性保证 - 经验和挑战
DOI：
10.1145/3431235.3431238
发表时间：
2020
期刊：
ACM SIGAda Ada Letters
影响因子：
--
作者：
J. Górski
通讯作者：
J. Górski
可视化敏捷安全关键系统的变化
影响因子：
3.3
作者：
Cleland-Huang, Jane;Agrawal, Ankit;Vierhauser, Michael;Mayr-Dorn, Christoph
通讯作者：
Mayr-Dorn, Christoph