×
Tesnim Abdelatif;雅克·康巴兹;约瑟夫·西法基斯

严格实施实时系统——从理论到应用。 （英语） Zbl 1272.68097号

数学。结构。计算。科学。 23，第4期，882-914（2013）.
摘要：正确高效地实现通用实时应用程序仍然是一个非常悬而未决的问题。一个关键问题是满足时间约束，时间约束的满足程度取决于执行平台的特性，尤其是其速度。现有的严格实现技术适用于特定类别的系统，例如，具有周期任务或时滞系统的系统。
我们提出了一种基于模型的实时系统通用实现方法，该方法基于两种模型的使用：
将实时软件的行为表示为时间自动机的抽象模型，该模型描述了用户定义的平台相关的时间约束。它的转换是永恒的，与实时软件语句的执行相对应。{}表示在给定平台上运行的实时软件行为的物理模型。它是通过为抽象模型的转换分配执行时间来获得的。可实现性的一个必要条件是时间安全，即物理模型的任何（定时）执行序列也是抽象模型的执行序列。时间安全只是指平台足够快以满足时间要求。由于动作的执行时间不准确，因此通过假设时间鲁棒性来检查动作的最坏执行时间的时间安全性：当执行平台的速度增加时，时间安全性保持不变。{}我们证明，通常，物理模型不具有时间鲁棒性，并且时间确定性是时间鲁棒性的充分条件。对于给定的实时软件和与时间鲁棒模型相对应的执行平台，我们定义了一个执行引擎，用于协调应用程序软件的执行，以满足其时间限制。此外，在非稳健性的情况下，执行引擎可以检测违反时间安全的行为并停止执行。
我们实现了具有实时约束的BIP程序的执行引擎，并验证了两个案例研究的实现方法。机器人应用程序模块的实验结果表明，与现有实现相比，该模型的CPU利用率和大小都有所降低。自适应视频编码器的实验结果也表明，缺乏时间鲁棒性可能会严重降低平台执行速度的性能。

引用于1文件

MSC公司：

68号30 软件工程的数学方面（规范、验证、度量、需求等）
65年第68季度 形式语言和自动机

关键词：

基于模型的实现方法;可实施性
PDF格式BibTeX公司 XML格式引用
\textit{T.Abdellatif}等人，《数学》。结构。计算。科学。23，第4号，882--914（2013；Zbl 1272.68097）
全文： 内政部

参考文献：

[1] 内政部：10.1109/5.97300·数字对象标识代码：10.1109/5.97300
[2] 内政部：10.1109/JPROC.2002.805825·doi:10.1109/JPROC.2002.805825
[3] 内政部：10.1007/978-3-540-24743-2_24·doi:10.1007/978-3-540-24743-224
[4] 内政部：10.1007/978-3-540-75454-1_11·Zbl 1142.68040号 ·doi:10.1007/978-3-540-75454-1_11
[5] DOI:10.1007/s11241-008-9049-2·Zbl 1167.68329号 ·doi:10.1007/s11241-008-9049-2
[6] IEEE Robotics and Automation Magazine 16第66页–（2009）
[7] 实时系统及其编程语言（2001）
[8] 《机器人软件工程杂志》第16期第123页（2009年）
[9] SIES第152页–（2009年）
[10] 内政部：10.1109/MRA.2008.931631·doi:10.1109/MRA.2008.931631
[11] 内政部：10.1006/inco.2000.2999·Zbl 1007.68119号 ·doi:10.1006/inco.2000.2999
[12] SEFM第3页–（2006）
[13] 内政部：10.1007/3-540-46419-0_9·doi:10.1007/3-540-46419-09
[14] ICECCS第2页–（1998）
[15] 内政部：10.1016/0167-6423（91）90001-E·Zbl 0745.68031号 ·doi:10.1016/0167-6423（91）90001-E
[16] 内政部：10.1016/0304-3975（94）00202-T·Zbl 0874.68206号 ·文件编号：10.1016/0304-3975（94）00202-T
[17] 内政部：10.1016/0304-3975（94）90010-8·Zbl 0803.68071号 ·doi:10.1016/0304-3975（94）90010-8
[18] 数字对象标识码：10.1007/11603009_21·数字对象标识代码：10.1007/11603009_21
[19] EMSOFT第229页–（2010年）
[20] 内政部：10.1007/s00165-005-0067-8·Zbl 1101.68670号 ·doi:10.1007/s00165-005-0067-8
[21] 数字对象标识码：10.1007/978-3642-11319-2_3·Zbl 05658424号 ·doi:10.1007/978-3642-11319-23
[22] 第六届最坏情况执行时间（WCET）分析国际研讨会（2006年）
[23] 内政部：10.1007/BFb0028726·doi:10.1007/BFb0028726
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。