SGER: A Model for Highly Dynamic Real-Time Systems - Coordination+Timing Constraint+Functionality

SGER：高动态实时系统模型 - 协调时序约束功能

• 批准号: 0431832
• 负责人: Shangping Ren
• 金额: --
• 依托单位: Illinois Institute of Technology
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2004
• 资助国家: 美国
• 起止时间: 2004-09-01 至 2007-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0431832&HistoricalAwards=false
• 关键词: SGER; Model; Highly; Dynamic; Real

The rapid advancement of mobile devices and wireless networking technologies and increasing use of embedded devices has extended the scope of traditional real-time systems. Such systems now include coordination among embedded components and dynamic reconfiguration of communication topologies among components. There are many challenges in such highly dynamic embedded hybrid control systems. Traditionally, the programming language community focused on modeling and reasoning about the semantics of interactions between distributed components. Meanwhile the real-time computing community focused on how to manage CPU and network communication resources so that real-time tasks can predictably meet their end-to-end timing constraints. This research seeks to bridge the two areas by abstracting orthogonal concerns in dynamic real-time systems, and then using these separately specified components to support runtime-integrated system behaviors.This research is developing a framework to address key issues in asynchronous dynamicreal-time embedded systems: coordination, real-time constraints, and re-configurability in a modular fashion that permits separation of concerns. A prototype implementation of the framework includes the defining language constructs for specifying real-time constraints and coordination requirements independent of the internal behavior of individual computational objects. It also provides runtime support that combines the components to achieve integrated system requirements. In particular, the language abstraction for timing constraints is used to the support run-time scheduler, while the language abstraction for interaction topology is used to support message routing. Such a runtime framework cannot only be used as a test-bed to validate the proposed model, but also can verify the practical aspects of the approach.Successful results of the research techniques are expected to have a profound impact on the ease of development of future asynchronous distributed real-time embedded systems. The power of the coordination substrate for real-time embedded systems lies in the fact that it is designed to be modular and dynamically reconfigurable to suit the dynamic nature of distributed real-time embedded systems. The modularity and separation of concerns not only increases the software reusability in both computational domain and coordination domain, but also simplifies the design, development and analysis of large complex real-time embedded systems and hereby increases system dependability.

移动的设备和无线网络技术的快速发展以及嵌入式设备的日益增加的使用已经扩展了传统实时系统的范围。这样的系统现在包括嵌入式组件之间的协调和组件之间的通信拓扑的动态重新配置。在这种高度动态的嵌入式混合控制系统中存在许多挑战。传统上，编程语言社区专注于分布式组件之间交互的语义建模和推理。与此同时，实时计算社区关注如何管理CPU和网络通信资源，以便实时任务可以可预测地满足其端到端的时间约束。本研究旨在弥合这两个领域的抽象正交关注动态实时系统，然后使用这些单独指定的组件来支持运行时集成的系统behaviors.This研究是开发一个框架，以解决异步dynamicreal-time嵌入式系统中的关键问题：协调，实时约束，和可重新配置的模块化的方式，允许分离的关注。该框架的原型实现包括用于指定独立于单个计算对象的内部行为的实时约束和协调要求的定义语言构造。它还提供运行时支持，可组合组件以实现集成的系统要求。特别地，时间约束的语言抽象用于支持运行时调度器，而交互拓扑的语言抽象用于支持消息路由。这样的运行时框架不仅可以作为一个测试床来验证所提出的模型，而且可以验证的方法的实用方面的研究技术的成功结果，预计将有深远的影响，未来的异步分布式实时嵌入式系统的开发的便利性。实时嵌入式系统的协调基板的力量在于，它被设计成模块化和动态可重构的，以适应分布式实时嵌入式系统的动态特性的事实。模块化和关注点分离不仅提高了软件在计算域和协调域的可重用性，而且简化了大型复杂实时嵌入式系统的设计、开发和分析，从而提高了系统的可靠性。