Synthesis of Assurance Cases for Software Certification
Synthesis of Assurance Cases for Software Certification
复制标题
软件认证保证案例综合
DOI：
10.1145/3377816.3381728
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Mansoor, Niloofar
中科院分区：
文献类型：
--
作者：
Bagheri, Hamid;Kang, Eunsuk;Mansoor, Niloofar
随着软件迅速嵌入我们社会的主要部分，从医疗设备和自动驾驶车辆到关键基础设施，软件故障的潜在风险也以惊人的速度增长。然而，现有的认证过程缺乏严密性和自动化，往往需要对系统开发人员和认证人员进行大量的人工工作。为了解决这个问题，我们提出了一种基本上自动化的、具有成本效益的认证方法，并以一种新颖的分析合成技术为后盾，以自动生成特定于应用的分析工具，这些工具是为生成必要的证据而定制的。这项研究的结果不仅有望帮助软件开发人员生产更安全、更可靠的软件，而且通过显著减少认证人员的手动工作，还将使工业认证机构受益。早期验证来自与先进外科技术中心合作，在构建外科机器人系统的保证案例时应用这种方法的经验。
As software is rapidly being embedded into major parts of our society, ranging from medical devices and self-driving vehicles to critical infrastructures, potential risks of software failures are also growing at an alarming pace. Existing certification processes, however, suffer from a lack of rigor and automation, and often incur a significant amount of manual effort on both system developers and certifiers. To address this issue, we propose a substantially automated, cost-effective certification method, backed with a novelanalysis synthesistechnique to automatically generate application-specific analysis tools that are custom-tailored to producing the necessary evidence. The outcome of this research promises to not only assist software developers in producing safer and more reliable software, but also benefit industrial certification agencies by significantly reducing the manual effort of certifiers. Early validation flows from experience applying this approach in constructing an assurance case for a surgical robot system in collaboration with the Center for the Advanced Surgical Technology.
登录
查看更多内容
用于程序分析的程序综合
影响因子：
1.3
作者：
C. David;Pascal Kesseli;D. Kroening;M. Lewis
通讯作者：
M. Lewis
Cascade：通用程序员辅助类型限定符推理工具
DOI：
--
发表时间：
2015
期刊：
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering
影响因子：
--
作者：
Mohsen Vakilian;Amarin Phaosawasdi;Michael D. Ernst;Ralph E. Johnson
通讯作者：
Ralph E. Johnson
DOI：
10.1109/icse.2009.5070527
发表时间：
2009-05
期刊：
2009 IEEE 31st International Conference on Software Engineering
影响因子：
--
作者：
Dalal Alrajeh;J. Kramer;A. Russo;Sebastián Uchitel
通讯作者：
Dalal Alrajeh;J. Kramer;A. Russo;Sebastián Uchitel
DOI：
--
发表时间：
2018
期刊：
International Conference on Formal Methods and Models for Co-Design
影响因子：
--
作者：
Í. Í. Romeo;A. Sangiovanni;Chung;Eunsuk Kang
通讯作者：
Eunsuk Kang
综合特定于程序的静态分析
DOI：
--
发表时间：
2018
期刊：
arXiv.org
影响因子：
--
作者：
Colin S. Gordon
通讯作者：
Colin S. Gordon