ITR: TADE - Timeliness-Assured Design Environment for Distributed Object-Based Embedded Computing

ITR：TADE - 用于分布式基于对象的嵌入式计算的及时性保证设计环境

• 批准号: 0326606
• 负责人: Kane Kim
• 金额: $ 28.5万
• 依托单位: University of California-Irvine
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2003
• 资助国家: 美国
• 起止时间: 2003-09-01 至 2008-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0326606&HistoricalAwards=false
• 关键词: ITR; TADE; Timeliness; Assured; Design

Distributed real-time embedded computing applications have entered an explosive growth pattern in both, variety and production volume. This growth is evident even in safety-critical applications. An extremely challenging part of the reliability assurance process is timeliness assurance. The goals of this research project are: (1) to strengthen technical foundations that enable system engineers to produce guarantees for timely service capabilities of various subsystems of distributed real-time embedded computing systems, especially on the basis of the recently established distributed real-time object-oriented programming methods and tools; and (2) to develop an integrated tool-set, the Timeliness-Assured Design Environment (TADE), for enabling major reduction in system engineering effort required to produce systems with service time guarantees. The research foci of this research project are: (1) a new general and high-level style of RT object-oriented distributed programming called the TMO (Time-triggered Message-triggered Object) programming that can be easily learned by programmers through natural application program interface extensions of C++ or Java; (2) middleware supporting real time program objects (TMO support middleware); (3) real-time fault-tolerant communication protocols and infrastructure; (4) operating system and middleware support for fault-tolerant real-time distributed computing; (5) a testbed using an advanced transportation model and prototype, ZEVNET, that enables shared use of small electric-engine cars and shuttles. With this framework, the team is developing and evaluating new design methods and supporting technologies for a practical development environment. Significant broader impact is sought through specific attention to both, increased dependability and reduced engineering effort entailed to certify acceptable quality of the embedded system design and implementation. Research results are being used enable modernization of the curricula in distributed real time embedded software, systems theory, and engineering.

分布式实时嵌入式计算应用在种类和产量上都进入了爆炸式增长模式。这种增长甚至在安全关键型应用中也很明显。 可靠性保证过程中一个极具挑战性的部分是及时性保证。本研究项目的目标是：（1）加强技术基础，使系统工程师能够为分布式实时嵌入式计算系统的各个子系统的及时服务能力提供保证，特别是在最近建立的分布式实时面向对象编程方法和工具的基础上;（2）开发一个集成工具集，即时间保证设计环境（TADE），以便能够大大减少生产具有服务时间保证的系统所需的系统工程工作量。本课题的研究重点是：（1）一种新的通用的、高级的RT面向对象的分布式程序设计风格TMO（Time-triggered Message-triggered Object）编程，程序员可以通过C++或Java的自然应用程序接口扩展轻松学习;（2）支持真实的时间程序对象的中间件这些系统包括：（1）TMO支持中间件;（2）实时容错通信协议和基础设施;（3）实时容错通信协议和基础设施;（4）操作系统和中间件支持容错实时分布式计算;（5）使用先进交通模型和原型ZEVNET的试验平台，该平台可共享使用小型电动发动机汽车和航天飞机。 通过这个框架，该团队正在开发和评估新的设计方法和支持技术，以实现实际的开发环境。 通过特别关注这两个方面，提高可靠性和减少工程工作，以确保嵌入式系统设计和实施的可接受质量，从而寻求更广泛的影响。 研究成果正在使用，使现代化的课程分布真实的时间嵌入式软件，系统理论和工程。