Safety Case has become an integral component for safety-certification in various Cyber Physical System domains including automotive, aviation, medical devices, and military. The certification processes for these systems are stringent and require robust safety assurance arguments and substantial evidence backing. Despite the strict requirements, current practices still rely on manual methods that are brittle, do not have a systematic approach or thorough consideration of sound arguments. In addition, stringent certification requirements and ever-increasing system complexity make ad-hoc, manual assurance case generation (ACG) inefficient, time consuming, and expensive. To improve the current state of practice, we introduce a structured ACG tool which uses system design artifacts, accumulated evidence, and developer expertise to construct a safety case and evaluate it in an automated manner. We also illustrate the applicability of the ACG tool on a remote-control car testbed case study.

中文翻译：

---

一种自动生成保证案例的方法

安全案例已成为包括汽车、航空、医疗设备和军事在内的各种网络物理系统领域安全认证的一个组成部分。这些系统的认证过程非常严格，需要强有力的安全保证论据和大量证据支持。尽管有严格的要求，当前的实践仍然依赖于脆弱的手动方法，没有系统的方法或对合理论证的彻底考虑。此外，严格的认证要求和不断增加的系统复杂性使得临时的手动保证案例生成 (ACG) 效率低下、耗时且成本高昂。为了改善当前的实践状态，我们引入了一种结构化的 ACG 工具，它使用系统设计工件、积累的证据、和开发人员的专业知识来构建安全案例并以自动方式对其进行评估。我们还说明了 ACG 工具在遥控汽车试验台案例研究中的适用性。