在嵌入式操作系统中实现不确定性感知的定时栈
Realizing Uncertainty-Aware Timing Stack in Embedded Operating System
AI总结：
本文提出了一种基于卡尔曼滤波的时间同步协议，用于在嵌入式系统中处理时间不确定性，通过标准嵌入式Linux平台实现不确定性感知的时钟模型。
摘要：
时间感知对于运行在商用平台和操作系统上的广泛新兴应用至关重要，包括网络物理系统和物联网。传统上，通过最佳努力的后台服务在设备间同步时间，其性能既不可观察也不可控制，从而消耗系统资源，而不管应用需求如何，同时不允许应用程序和操作系统服务适应系统时间中的不确定性变化。本文提倡重新思考系统堆栈中时间的管理方式。在本文中，我们提出了一种新的时钟模型，该模型真实地描述了各种时间不确定性的来源。然后，我们提出了一种基于卡尔曼滤波的时间同步协议，该协议能够适应由时钟模型暴露的不确定性。我们对不确定性感知时钟模型和同步协议的实现是基于标准嵌入式Linux平台的。
英文摘要：
Time awareness is critical to a broad range of emerging applications -- in Cyber-Physical Systems and Internet of Things -- running on commodity platforms and operating systems. Traditionally, time is synchronized across devices through a best-effort background service whose performance is neither observable nor controllable, thus consuming system resources independently of application needs while not allowing the applications and OS services to adapt to changes in uncertainty in system time. We advocate for rethinking how time is managed in a system stack. In this paper, we propose a new clock model that characterizes various sources of timing uncertainties in true time. We then present a Kalman filter based time synchronization protocol that adapts to the uncertainties exposed by the clock model. Our realization of a uncertainty-aware clock model and synchronization protocol is based on a standard embedded Linux platform.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
