-
题名LET模型的时间语义编程语言
- 1
-
-
作者
吴昊
章博
陈香兰
王超
李曦
-
机构
中国科学技术大学计算机科学与技术学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2022年第4期73-82,共10页
-
基金
国家自然科学基金(61772482)。
-
文摘
嵌入式实时系统的正确性不仅取决于计算结果的正确性,更取决于产生结果时间的正确性。然而软件不确定的并发执行带来系统时间行为不可预测问题,使得验证复杂度升高,成本增加,为此实时系统领域提出了许多实时编程语言来提高系统的时间可预测性。LET(logical execution time)模型结合了同步模型ZET(zero execution time)和异步模型BET(bounded execution time)的优点,对时间具有很强的可预测性,但现有采用LET模型的实时编程语言,缺少基于高级通用语言的实现,故提出一种基于LET模型的实时编程语言——TBC。该语言基于C扩展了具有时间语义的语法结构,使得C语言本身具有表示时间语义的能力,并通过独特的编译技术对时间语义进行分析处理,将TBC转换为具有时间操作的指令集TTI。
-
关键词
嵌入式实时系统
编程语言
逻辑执行时间模型(let)
编译器
-
Keywords
embedded real-time system
programming language
logical execution time(let)
compiler
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-
