Temporal Semantic Programming Language of LET Model

doi:10.3778/j.issn.1002-8331.2102-0051

Abstract

Abstract: The correctness of embedded real-time system not only depends on the correctness of the calculation result, but also depends on the correctness of the time to produce the result. However, the uncertain concurrent execution of software brings the problem of unpredictable system time behavior, which increases the verification complexity and costs. Therefore, many real-time programming languages are proposed to improve the time predictability of the system in the field of real-time systems. LET（logical execution time） model combines the advantages of synchronous model ZET（zero execution time） and asynchronous model BET（bounded execution time）, and has strong predictability for time. However, the existing real-time programming languages using LET model lack the implementation based on high-level general language. Therefore, a real-time programming language based on LET model—TBC is proposed. This language extends the syntax structure with time semantics based on C, which makes C language have the ability to express time semantics, and analyzes the time semantics through the unique compilation technology, so that TBC can be converted to the instruction set TTI with time operation.

Key words: embedded real-time system, programming language, logical execution time（LET）, compiler

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

关键词: 嵌入式实时系统, 编程语言, 逻辑执行时间模型（LET）, 编译器

WU Hao, ZHANG Bo, CHEN Xianglan, WANG Chao, LI Xi. Temporal Semantic Programming Language of LET Model[J]. Computer Engineering and Applications, 2022, 58(4): 73-82.

吴昊, 章博, 陈香兰, 王超, 李曦. LET模型的时间语义编程语言[J]. 计算机工程与应用, 2022, 58(4): 73-82.

References

[1] BUTTAZZO G.Hard real-time computing systems：predictable scheduling algorithms and applications[M]//Hard real-time computing systems：predictable scheduling algorithms and applications.Boston：Springer，2008.
[2] HALBWACHS N.Synchronous programming of reactive systems[M].Boston：Springer，1998.
[3] KIRSCH C M，SOKOLOVA A.The logical execution time paradigm[M].Berlin，Heidelberg：Springer，2012：103-120.
[4] BURNS A，WELLINGS A.Concurrent and real-time programming in Ada[M].Cambridge：Cambridge University Press，2007.
[5] BERRY G.The foundations of Esterel[M]//Proof，language，and interaction，essays in honour of Robin Milner.Cambridge：MIT Press，2000：425-454.
[6] ANDALAM S，ROOP P S，GIRAULT A，et al.A predictable framework for safety-critical embedded systems[J].IEEE Transactions on Computers，2014，63（7）：1600-1612.
[7] HALBWACHS N，CASPI P，RAYMOND P，et al.The synchronous data flow programming language LUSTRE[J].Proceedings of the IEEE，1991，79（9）：1305-1320.
[8] BENVENISTE A，GUERNIC P L，JACQUEMOT C.Synchronous programming with events and relations：the signal language and its semantics[J].Science of Computer Programming，1991，16（2）：103-149.
[9] HENZINGER T A，HOROWITZ B，KIRSCH C M.Giotto：a time-triggered language for embedded programming[J].Proceedings of the IEEE，2003，91（1）：84-99.
[10] GHOSAL A，SANGIOVANNI-VINCENTELLI A，KIRSCH C M，et al.A hierarchical coordination language for interacting real-time tasks[C]//6th ACM & IEEE International Conference on Embedded Software.New York：ACM，2006：132-141.
[11] FARCAS E，FARCAS C，PREE W，et al.Transparent distribution of real-time components based on logical execution time[C]//2005 ACM SIGPLAN/SIGBED Conference on Languages，Compilers，and Tools for Embedded Systems，2005：31-39.
[12] HENZINGER T A，KIRSCH C M.The embedded machine：predictable，portable real-time code[J].ACM Transactions on Programming Languages and Systems，2007，29（6）：33.
[13] WAN B，LI X，LUO H，et al.Work-in-progress TTI：a timing ISA for LET model in safety-critical systems[C]//2017 IEEE Real-Time Systems Symposium，2017.
[14] 刘杰，陈香兰，李晓飞，等.Timed SEFM：面向嵌入式实时控制系统的编程模型[J].计算机工程与应用，2016，52（10）：19-26.
LIU J，CHEN X L，LI X F，et al.Timed SEFM：programming model for embedded real time control systems[J].Computer Engineering and Applications，2016，52（10）：19-26.
[15] WAN B，LI X，ZHANG B，et al.A predictable servant-based execution model for safety-critical systems[C]//2017 IEEE International Symposium on Parallel and Distributed Processing with Applications and 2017 IEEE International Conference on Ubiquitous Computing and Communications，2017.
[16] NATARAJAN S，BROMAN D.Timed C：an extension to the C programming language for real-time systems[C]//2018 IEEE Real-Time and Embedded Technology and Applications Symposium，2018.
[17] LATTNER C，ADVE V.LLVM：a compilation framework for lifelong program analysis & transformation[C]//International Symposium on Code Generation & Optimization，2004.
[18] GEILEN M C W.Real-time concepts for software/hardware engineering[D].Faculty of Electrical Engineering，Eindhoven University of Technology，1996.
[19] MALLET F.Clock constraint specification language：specifying clock constraints with UML/MARTE[J].Innovations in Systems & Software Engineering，2008，4（3）：309-314.
[20] WARMER J.The object constraint language：precise modeling with UML[M].Boston：Addison Wesley Longman Publishing Co，Inc，1998.
[21] CHUNG T M，DIETZ H G.Language constructs and transformation for hard real-time systems[J].ACM SIGPLAN Notices，1995，30（11）：41-49.
[22] 李曦，孙贝磊，万波，等.安全关键信息物理系统的时序可预测性[J].计算机科学，2017，44（S2）：490-493.
LI X，SUN B L，WAN B，et al.Temporal predictability in safety critical cyber physical system[J].Computer Science，2017，44（S2）：490-493.