我来了，我看见了，我认证了：关于信息物理系统安全保障的若干观点
I came, I saw, I certified: some perspectives on the safety assurance of cyber-physical systems
AI总结：
本文针对信息物理系统运行故障风险高、需监管认证的需求，分析了保障案例构建的关键方向及相关挑战，并提出了潜在研究方向，以支撑系统安全保障与消费者认可。
摘要：
信息物理系统（例如自动驾驶系统、无人机系统和机器人系统）的运行故障可能导致人员死亡、重伤、大规模环境破坏、财产损失和重大经济损失。因此，这类系统通常需要有力的依据来证明其将有效满足设计时设定的关键需求（例如安全性、保密性和可靠性）。因此，通常必须制定有说服力的保障案例来支撑这一依据，并使监管机构能够对这类系统进行认证。在这种背景下，检测保障缺陷、依托模式改进保障案例的结构、完善现有的保障案例表示法，以及（半）自动化生成保障案例，是制定有说服力的保障案例和提升消费者接受度的关键。为此，我们探讨了与这类保障赋能因素相关的挑战，并概述了可用于应对这些挑战的若干潜在方向。
英文摘要：
The execution failure of cyber-physical systems (e.g., autonomous driving systems, unmanned aerial systems, and robotic systems) could result in the loss of life, severe injuries, large-scale environmental damage, property destruction, and major economic loss. Hence, such systems usually require a strong justification that they will effectively support critical requirements (e.g., safety, security, and reliability) for which they were designed. Thus, it is often mandatory to develop compelling assurance cases to support that justification and allow regulatory bodies to certify such systems. In such contexts, detecting assurance deficits, relying on patterns to improve the structure of assurance cases, improving existing assurance case notations, and (semi-)automating the generation of assurance cases are key to develop compelling assurance cases and foster consumer acceptance. We therefore explore challenges related to such assurance enablers and outline some potential directions that could be explored to tackle them.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
