Guidelines for automated implementation of executable object oriented models for real-time embedded control systems
Guidelines for automated implementation of executable object oriented models for real-time embedded control systems
复制标题
实时嵌入式控制系统可执行面向对象模型的自动实现指南
DOI：
--
复制
发表时间：
1997
期刊：
影响因子：
--
通讯作者：
P. Rodziewicz
中科院分区：
文献类型：
--
作者：
M. Saksena;P. Freedman;P. Rodziewicz
我们展示了将实时调度理论应用于使用 ROOM（实时面向对象建模）方法设计的嵌入式控制系统的经验。 ROOM起源于电信社区，通过配套案例工具ObjecTime已成功应用于众多商业系统。它特别适合对反应式实时行为进行建模。此外，它通过使用面向对象以及使用可执行模型（可以快速有效地生成代码）提供了许多其他优点。由于许多实时嵌入式控制系统具有显着的反应性、事件驱动行为，因此使用 ROOM 方法来开发此类系统很有吸引力。然而，ROOM 方法并没有提供嵌入式系统硬实时组件所需的指定和分析时间行为的工具，而实时调度理论为此提供了分析基础。我们使用巡航控制示例来说明如何将实时调度理论应用于 ROOM 模型。最大的挑战来自于最大限度地减少优先级倒置的不利影响。我们的结果非常令人鼓舞，我们表明，不仅可以应用实时调度理论，而且如果在 ROOM 模型的设计和实现中遵循某些指导原则，它可以非常有效地完成。
We present our experiences in applying real time scheduling theory to embedded control systems designed using ROOM (Real time Object Oriented Modeling) methodology. ROOM has originated from the telecommunications community and has been successfully applied to many commercial systems through the supporting case tool ObjecTime. It is particularly suitable for modeling reactive real time behavior. Furthermore, it provides many other advantages through the use of object orientation, and the use of executable models from which code may be generated quickly and efficiently. Since many real time embedded control systems have significant reactive, event driven behavior, it is attractive to use ROOM methodology to develop such systems. However, the ROOM methodology does not provide tools to specify and analyze the temporal behavior as is required for the hard real time components of embedded systems, and for which the real time scheduling theory provides an analytical basis. We show how real time scheduling theory may be applied to ROOM models using a cruise control example to illustrate. The biggest challenge comes from minimizing the adverse effects of priority inversions. Our results are very encouraging, and we show that not only is it possible to apply real time scheduling theory, but that it can be done very efficiently provided certain guidelines are followed in the design and implementation of the ROOM model.