System assurance is confronted by significant challenges. Some of these are new, for example, autonomous systems with major functions driven by machine learning and AI, and ultra-rapid system development, while others are the familiar, persistent issues of the need for efficient, effective and timely assurance. Traditional assurance is seen as a brake on innovation and often costly and time consuming. We therefore propose a modernized framework, Assurance 2.0, as an enabler that supports innovation and continuous incremental assurance. Perhaps unexpectedly, it does so by making assurance more rigorous, with increased focus on the reasoning and evidence employed, and explicit identification of defeaters and counterevidence.
翻译:系统保证面临重大挑战,其中一些是新的自主系统,主要功能由机器学习和人工智能驱动,还有超快速系统开发,而另一些则是需要高效、有效和及时保证的常见、长期问题,传统保证被视为创新的绊脚石,往往成本高昂和耗费时间。 因此,我们提出了一个现代化框架,即保证2.0,作为支持创新和持续递增保证的促进因素。 也许出乎意料地,它这样做的方式是使保证更加严格,更加注重所使用的推理和证据,明确识别失败者和反证。