典型文献
LET模型的时间语义编程语言
文献摘要：
嵌入式实时系统的正确性不仅取决于计算结果的正确性,更取决于产生结果时间的正确性.然而软件不确定的并发执行带来系统时间行为不可预测问题,使得验证复杂度升高,成本增加,为此实时系统领域提出了许多实时编程语言来提高系统的时间可预测性.LET(logical execution time)模型结合了同步模型ZET(zero execution time)和异步模型BET(bounded execution time)的优点,对时间具有很强的可预测性,但现有采用LET模型的实时编程语言,缺少基于高级通用语言的实现,故提出一种基于LET模型的实时编程语言——TBC.该语言基于C扩展了具有时间语义的语法结构,使得C语言本身具有表示时间语义的能力,并通过独特的编译技术对时间语义进行分析处理,将TBC转换为具有时间操作的指令集TTI.
文献关键词：
嵌入式实时系统;编程语言;逻辑执行时间模型(LET);编译器
中图分类号：
作者姓名：
吴昊;章博;陈香兰;王超;李曦
作者机构：
中国科学技术大学 计算机科学与技术学院,合肥 230026
文献出处：
引用格式：
[1]吴昊;章博;陈香兰;王超;李曦-.LET模型的时间语义编程语言)[J].计算机工程与应用,2022(04):73-82
A类：
ZET
B类：
LET,编程语言,嵌入式实时系统,并发执行,系统时间,成本增加,可预测性,logical,execution,zero,异步,BET,bounded,通用语言,TBC,语法结构,编译技术,分析处理,指令集,TTI,执行时间,时间模型,编译器
AB值：
0.355375
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
