计算机科学>人工智能
职务: 面向自动化系统安全评估的形式化故障注入
摘要: 对自治系统的安全性、安全性和其他可靠性属性进行推理是一项挑战,在日常生活中采用此类系统之前需要解决。 形式化方法是一类对系统行为进行数学推理的方法。 因此,正确性证明足以得出系统的可靠性结论。 然而,这些方法通常应用于系统的抽象模型,这些抽象模型可能并不完全代表实际系统。 另一方面,故障注入是一种评估系统可靠性的测试方法。 然而,评估系统所需的测试量相当大,而且往往是一个问题。 本愿景文件引入了形式化故障注入,这是在整个开发生命周期中这两种技术的融合,以增强自治系统的可靠性。 我们主张通过确定形式化方法和错误注入之间相互支持的五个领域来实现更具凝聚力的方法。 通过加强这两个领域的联系,我们为开发安全可靠的自治系统铺平了道路。 本文深入探讨了整合的潜力,并概述了未来的研究途径,解决了这一过程中悬而未决的挑战。