System-level Logical Execution Time
System-level Logical Execution Time
复制标题
系统级逻辑执行时间
DOI：
10.1145/3381847
复制
发表时间：
2021
影响因子：
2.3
通讯作者：
Quinton
中科院分区：
文献类型：
--
作者：
Gemlau;Köhler;Quinton
逻辑执行时间（LET）是一个定时编程抽象，其特点是可预测和可组合的定时。它最近在汽车行业获得了相当大的关注，在那里它被成功地应用于掌握多核电子控制单元上的软件应用程序的分布。然而，传统形式的LET抽象仅在单个组件的范围内有效。随着最近引入系统级逻辑执行时间（SL LET），这个概念可以转移到系统范围内。本文通过提供成熟的定义和对概念的广泛讨论，改进了SL LET的第一篇论文。它还具有全面的评估，探索SL LET在设计，验证，性能和可实施性方面的影响。评价远远超出了最初适用学习教育的范围。事实上，SL LET使我们能够解决复杂嵌入式硬件/软件系统的设计和验证中的许多开放性挑战，这些系统解决了可预测性、同步性、可组合性和可扩展性。此外，我们调查性能的权衡，我们量化的实施成本，通过提供额外所需的缓冲区的分析。
Logical Execution Time (LET) is a timed programming abstraction, which features predictable and composable timing. It has recently gained considerable attention in the automotive industry, where it was successfully applied to master the distribution of software applications on multi-core electronic control units. However, the LET abstraction in its conventional form is only valid within the scope of a single component. With the recent introduction of System-level Logical Execution Time (SL LET), the concept could be transferred to a system-wide scope. This article improves over a first paper on SL LET, by providing matured definitions and an extensive discussion of the concept. It also features a comprehensive evaluation exploring the impacts of SL LET with regard to design, verification, performance, and implementability. The evaluation goes far beyond the contexts in which LET was originally applied. Indeed, SL LET allows us to address many open challenges in the design and verification of complex embedded hardware/software systems addressing predictability, synchronization, composability, and extensibility. Furthermore, we investigate performance trade-offs, and we quantify implementation costs by providing an analysis of the additionally required buffers.
登录
查看更多内容
产品线经理安全关键软件组件的模型驱动开发
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
Franz Walkembach
通讯作者：
Franz Walkembach
汽车系统的时序感知控制软件设计
DOI：
--
发表时间：
2015
期刊：
Design Automation Conference
影响因子：
--
作者：
D. Ziegenbein;A. Hamann
通讯作者：
A. Hamann
海报摘要：使用 LET 编程范式实现传统嵌入式控制软件的并行化
DOI：
--
发表时间：
2016
期刊：
IEEE Real Time Technology and Applications Symposium
影响因子：
--
作者：
J. Hennig;H. V. Hasseln;H. Mohammad;S. Resmerita;Stefan Lukesch;A. Naderlinger
通讯作者：
A. Naderlinger
时间触发的实时计算
影响因子：
9.4
作者：
H. Kopetz
通讯作者：
H. Kopetz
DOI：
10.1145/2560033
发表时间：
2014-03
期刊：
ACM Transactions on Embedded Computing Systems (TECS)
影响因子：
--
作者：
Philip Axer;R. Ernst;H. Falk;A. Girault;Daniel Grund;Nan Guan;B. Jonsson;P. Marwedel;J. Reineke-J.-Re
通讯作者：
Philip Axer;R. Ernst;H. Falk;A. Girault;Daniel Grund;Nan Guan;B. Jonsson;P. Marwedel;J. Reineke-J.-Re