AI 中文总结
针对安全关键CPS的实时控制挑战，提出CIPS将空间安全证书离线编译为时间契约，保证安全不变性，经自主车辆制动基准验证，开销较LA-ETC降低60.5倍。
AI 中文摘要
我们提出CIPS，一种用于管理安全关键型网络物理系统（CPS）中计算延迟和采样数据更新的契约驱动执行抽象。实时控制的一个核心挑战是，物理安全证书在空间上定义，而要在非零计算和切换延迟下预测其有效性，需要对系统动力学进行在线数值积分。CIPS通过将异构空间安全证书完全离线编译为归一化、单位速率的时间契约，解决了这种操作二分问题。该转换抽象了复杂的系统动力学，向通用采样数据调度器暴露了确定性的O(1)时间预算。我们正式证明，该架构在有界计算延迟和异步执行下保证全局混合安全不变性。最后，我们通过自主车辆制动基准验证了该框架，与延迟感知事件触发控制（LA-ETC）相比，微架构评估开销降低了60.5倍，同时保留了安全边界。
英文摘要
We introduce CIPS, a contract-driven execution abstraction for managing computational latency and sampled-data updates in safety-critical cyber-physical systems (CPS). A fundamental challenge in real-time control is that physical safety certificates are defined spatially, yet predicting their validity under non-zero computation and handoff latency requires online numerical integration of plant dynamics. CIPS resolves this operational dichotomy by systematically compiling heterogeneous spatial safety certificates into normalized, unit-rate temporal contracts entirely offline. This transformation abstracts complex plant dynamics, exposing a deterministic, O(1) temporal budget to a generic sampled-data scheduler. We formally prove that this architecture guarantees global hybrid safety invariance under bounded computational latency and asynchronous execution. Finally, we validate the framework via an autonomous vehicle braking benchmark, demonstrating a 60.5 times reduction in micro-architectural evaluation overhead compared to latency-aware event-triggered control (LA-ETC) while preserving safety bounds.
Comments6 pages, 1 figure
