Using Evidence-based Arguments to Support Dependability Assurance - Experiences and Challenges

Using Evidence-based Arguments to Support Dependability Assurance - Experiences and Challenges
复制标题

使用基于证据的论据来支持可靠性保证 - 经验和挑战

DOI:
10.1145/3431235.3431238
复制
发表时间:
2020
期刊:
ACM SIGAda Ada Letters
影响因子:
--
通讯作者:
J. Górski
J. Górski
中科院分区:
--
文献类型:
--
作者:
J. Górski

文献摘要

被引文献

相似文献

演讲介绍了证据论点及其应用的问题。然后,基于在开发和商业部署在此问题上收集和商业部署的经验(系统NORSTA),我们概述了选定的挑战以及解决方案的方法。
The presentation introduces to the problem of evidencebased arguments and their applications. Then, based on the experiences collected during development and commercial deployment of a concrete solution to this problem (system NOR-STA) we overview selected challenges and the ways of addressing them.