LET模型的时间语义编程语言

嵌入式实时系统的正确性不仅取决于计算结果的正确性,更取决于产生结果时间的正确性.然而软件不确定的并发执行带来系统时间行为不可预测问题,使得验证复杂度升高,成本增加,为此实时系统领域提出了许多实时编程语言来提高系统的时间可预测性.LET(logical execution time)模型结合了同步模型ZET(zero execution time)和异步模型BET(bounded execution time)的优点,对时间具有很强的可预测性,但现有采用LET模型的实时编程语言,缺少基于高级通用语言的实现,故提出一种基于LET模型的实时编程语言——TBC.该语言基于C扩展了具有时间语义的语法结构,使得C语言本身具有表示时间语义的能力,并通过独特的编译技术对时间语义进行分析处理,将TBC转换为具有时间操作的指令集TTI.