×
拉杰夫·阿鲁尔;阿伦州Chandrashekharapuram

嵌入式控制模型的调度序列。 （英语） 兹比尔1178.68095

J.计算。系统。科学。 73，第2期，156-170（2007）.
摘要：我们考虑将一组控制组件映射到可执行实现的问题。解决此问题的标准方法包括将控制块映射到定期任务，然后生成时间表。此时间表依赖于平台，其执行需要实时操作系统支持。我们提出了一种替代方法，该方法涉及以平台相关的方式生成控制块的调度序列。我们的解决方案依赖于为控制组件分配相对复杂度和相对重要性度量，并且是对经典调度算法（如最早-最后期限-优先）的改编。通过两个案例的仿真实验，我们展示了该方法的优点。

MSC公司：

68平方米 计算机系统环境下的性能评估、排队和调度
93C83号 涉及计算机的控制/观察系统（过程控制等）

关键词：

嵌入式软件;实时调度;基于模型的设计

软件：

卢斯特;乔托;酯类;托勒密
PDF格式BibTeX公司 XML格式引用
\textit{R.Alur}和\textit{A.Chandrashekharapuram}，J.Compute。系统。科学。73，编号2156-170（2007年；兹bl 1178.68095）
全文： 内政部

参考文献：

[1] R.Alur，F.Ivancic，J.Kim，I.Lee，O.Sokolsky，从分层混合模型生成嵌入式软件，收录于：《ACM嵌入式系统语言、编译器和工具会议论文集》，2003年，第171-182页；R.Alur，F.Ivancic，J.Kim，I.Lee，O.Sokolsky，从分层混合模型生成嵌入式软件，收录于：ACM嵌入式系统语言、编译器和工具会议论文集，2003年，第171-182页
[2] 阿斯特罗姆，K。；Wittenmark，B.，《计算机控制系统：理论与设计》（1997），普伦蒂斯·霍尔出版社
[3] G.Berry，G.Gonthier，同步编程语言酯类; G.Berry，G.Gonthier，同步编程语言酯类·Zbl 0772.68013号
[4] Buttazo，G.，《硬实时计算系统：可预测调度算法和应用》（1997），Kluwer学术出版社·Zbl 0890.68016号
[5] 卡斯皮，P。；居里，A。；Maignan，A。；Sofronis，C。；Tripakis，S.，《将离散时间Simulink翻译成Lustre》，（第三届嵌入式软件国际会议论文集，第三届嵌入软件国际会议文献集，计算机科学讲义，第2855卷（2003）），84-99
[6] L.Chaimowicz，A.Cowley，V.Sabella，C.Taylor，ROCI:多机器人感知和控制的分布式框架，摘自：Proc。IEEE国际智能机器人和系统大会，2003年，第266-271页；L.Chaimowicz，A.Cowley，V.Sabella，C.Taylor，ROCI:多机器人感知和控制的分布式框架，摘自：Proc。IEEE国际智能机器人和系统大会，2003年，第266-271页
[7] Eker，J。；Janneck，J。；Lee，E。；刘杰。；刘，X。；Luvig，J。；Neuendorffer，S.公司。；萨克斯，S。；Xiong，Y.，《驯服异质性——托勒密方法》，Proc。IEEE，91，1，127-144（2003）
[8] Fehnker，A。；Ivancic，F.，《混合系统验证基准》，（混合系统：计算与控制，第七届国际研讨会论文集·Zbl 1135.93324号
[9] Halbwachs，N.，《无功系统的同步规划》（1993），Kluwer学术出版社·Zbl 0828.68038号
[10] Halbwachs，N。；卡斯皮，P。；雷蒙德，P。；Pilaud，D.，同步数据流编程语言Lustre，Proc。IEEE，79，1305-1320（1991）
[11] 赫克曼，R。；兰根巴赫，M。；Thesing，S。；Wilhelm，R.，《处理器架构对WCET工具设计和结果的影响》，Proc。IEEE，91，7，1038-1054（2003）
[12] 亨辛格，T。；霍洛维茨，B。；Kirsch，C.，Giotto：一种用于嵌入式编程的时间触发语言，Proc。IEEE，91，1，84-99（2003）
[13] T.Henzinger，C.Kirsch，《嵌入式机器：可预测、可移植、实时代码》，摘自：《ACM编程语言设计与实现会议论文集》，2002年，第315-326页；T.Henzinger，C.Kirsch，《嵌入式机器：可预测、可移植、实时代码》，摘自：《ACM编程语言设计与实现会议论文集》，2002年，第315-326页
[14] Hur，Y。；Kim，J。；李，I。；Choi，J.，从通信混合模型中生成声音代码，（混合系统：计算和控制，第七届国际研讨会论文集·Zbl 1135.93355号
[15] K.Jeffay，D.F.Stanat，C.U.Martel，《关于周期性和偶发性任务的非主动调度》，摘自：IEEE实时系统研讨会论文集，1991年，第129-139页；K.Jeffay，D.F.Stanat，C.U.Martel，《关于周期性和偶发性任务的非抢占式调度》，载于：《IEEE实时系统研讨会论文集》，1991年，第129-139页
[16] Karsai，G。；Sztipanovits，J。；Ledeczi，A。；Bapty，T.，嵌入式软件的模型集成开发，Proc。IEEE，91，1，145-164（2003）
[17] Kopetz，H.，《实时系统：分布式嵌入式应用程序的设计原则》（2000），Kluwer学术出版社
[18] Lee，E.，《嵌入式软件的未来》，IEEE Comput。，33、9、18-26（2000年9月）
[19] Sastry，S。；Sztipanovits，J。；Bajcsy，R。；Gill，H.，嵌入式软件建模与设计，Proc。IEEE，91，1，3-10（2003）
[20] D.Seto，J.Lehoczky，L.Sha，K.Shin，实时控制系统中的任务可调度性，摘自：IEEE实时系统研讨会论文集，1996年；D.Seto，J.Lehoczky，L.Sha，K.Shin，实时控制系统中的任务可调度性，摘自：IEEE实时系统研讨会论文集，1996年·兹比尔1012.68025
[21] Wulf，医学博士。；Doyen，L。；Raskin，J.，《几乎ASAP语义：从定时模型到定时实现》，（混合系统：计算与控制，第七届国际研讨会论文集。混合系统：计算机与控制，《第七届世界研讨会论文集》，计算科学讲义，第2993卷（2004）），296-310·Zbl 1135.93345号
[22] H.Yazarel，A.Girard，G.J.Pappas，R.Alur，量化嵌入式控制模型和时间触发实现之间的差距，摘自：IEEE实时系统研讨会论文集，2005年；H.Yazarel，A.Girard，G.J.Pappas，R.Alur，量化嵌入式控制模型和时间触发实现之间的差距，摘自：IEEE实时系统研讨会论文集，2005年
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。