实时系统中的逻辑执行时间模型研究综述

摘要

随着实时嵌入式系统日益复杂化，系统时间确定性需求变得愈发迫切.逻辑执行时间(LET)模型作为一种实时编程抽象模型，通过确定从读取输入到写入输出的时间间隔，使系统行为与物理执行时间解耦.LET模型区别于零执行时间(ZET)和有界执行时间(BET)模型，其核心在于将任务输出延迟到任务周期结束时才发布，以消除输出抖动.研究者基于LET模型开发了Giotto等编程语言，并针对多核平台提出了通信同步机制和内存访问优化方法.同时，系统级LET等扩展形式解决了分布式环境中的非零通信延迟和时钟同步问题.本文的贡献在于系统综述LET模型的理论基础、应用实现及其扩展与优化，为下一代智能网联汽车、工业控制器等领域的实时系统设计提供可靠的技术参考.

关键词

逻辑执行时间 / 时间解耦 / 抖动 / 多核平台 / 实时