论文标题
Assurance 2.0：宣言
Assurance 2.0: A Manifesto
论文作者
论文摘要
系统保证面临重大挑战。其中一些是新的，例如，由机器学习和AI和超强系统开发驱动的具有主要功能的自主系统，而另一些则是熟悉的，持久的问题，需要有效，有效和及时的保证。传统的保证被视为创新的刹车，通常昂贵且耗时。因此，我们提出了一个现代化的框架，即Assurance 2.0，作为支持创新和持续增量保证的推动者。也许出乎意料的是，它是通过使保证更加严格的，而对所采用的推理和证据的关注越来越大，并明确地识别了叛逆者和反向。
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.
