From Simulation to Runtime Verification and Back: Connecting Single-Run Verification Techniques
From Simulation to Runtime Verification and Back: Connecting Single-Run Verification Techniques
复制标题
DOI：
10.23919/springsim.2019.8732915
复制
发表时间：
2019-04
期刊：
影响因子：
--
通讯作者：
Kristin Yvonne Rozier
中科院分区：
文献类型：
--
作者：
Kristin Yvonne Rozier
现代安全关键系统，如飞机和宇宙飞船，从设计时到运行时都至关重要地依赖于严格的验证。仿真是一种高度发展的、久负盛名的设计时验证技术，而运行时验证是现代复杂系统的年轻产物，现代复杂系统既能在机上嵌入分析，又需要任务时间验证，例如用于飞行认证。虽然仿真的属性已经定义得很好了，但运行时验证的词汇仍在形成中；两者都是确保安全所需的活跃研究领域。这篇受邀的论文探索了模拟和运行时验证之间的联系和区别，并提出了关于如何使用它们来推进彼此中的瓶颈的开放研究问题。我们统一他们的词汇，列出他们的共同点和差异，并研究他们的文物如何联系在一起，以推动我们可以(安全)飞行的最先进水平。
Modern safety-critical systems, such as aircraft and spacecraft, crucially depend on rigorous verification, from design time to runtime. Simulation is a highly-developed, time-honored design-time verification technique, whereas runtime verification is a much younger outgrowth from modern complex systems that both enable embedding analysis on-board and require mission-time verification, e.g., for flight certification. While the attributes of simulation are well-defined, the vocabulary of runtime verification is still being formed; both are active research areas needed to ensure safety and security. This invited paper explores the connections and differences between simulation and runtime verification and poses open research questions regarding how each might be used to advance past bottlenecks in the other. We unify their vocabulary, list their commonalities and contrasts, and examine how their artifacts may be connected to push the state of the art ofwhat we can (safely) fly.