课题基金 / 基金详情

ITR: RONEE - An Integrated Engineering Method and Tool Environment for Reliable Object-oriented Real-time Distributed Systems

ITR: RONEE - An Integrated Engineering Method and Tool Environment for Reliable Object-oriented Real-time Distributed Systems
ITR:RONEE - 可靠的面向对象实时分布式系统的集成工程方法和工具环境
批准号:
0086147
负责人:
Kane Kim
金额:
$70.0万
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2000
资助国家:
美国
项目状态:
已结题
起止时间:
2000-09-15 至 2004-08-31

项目摘要

项目成果

Kane Kim的其他基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Two major goals are:(1) To establish a new-generation integrated methodology for real- time (RT) distributed programming and software engineering on the basis of the recent developments in object-oriented (OO) RT distributed programming; and (2) To develop an integrated tool-set named the Real-time Object Network Engineering Environment (RONEE), which will bring about a quantum jump in the system engineers' productivity in constructing distributed RT application systems.The research base of this multi-nation researcher team includes (1) a new high-level style of RT OO distributed programming called the TMO (Time-triggered Message-triggered Object) programming, (2)middleware supporting RT objects such as TAO object request broker and TMOSM, (3) OS and middleware support for fault-tolerant RT distributed computing such as ROAFTS and TTP OS, (4) frameworkssuch as RT UML and ACSR for formal specification, etc.Specific research tasks include integrations of cornerstonetechniques and development of RONEE for:(1) High-level distributed RT programming based on C++ and JAVA;(2) Formal multi-level specification of requirements and designs;(3) Efficient execution of RT objects, stationary and mobile;(4) Fault-tolerant computing with distributed RT objects;(5) Verification of timing designs;(6) Distributed RT simulation and 3D visualization of applicationenvironments to support software validation.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Workshop on Networked Systems; Laguna Beach, CA; September 22-24, 2005
  • 批准号:
    0549130
  • 项目类别:
    Standard Grant
  • 资助金额:
    $2.5万
  • 财政年份:
    2005
  • 负责人:
    Kane Kim
  • 依托单位:
Collaborative Research: CT-T: Security and Survivability of Real-Time Systems with MANETs
  • 批准号:
    0524050
  • 项目类别:
    Standard Grant
  • 资助金额:
    $15.0万
  • 财政年份:
    2005
  • 负责人:
    Kane Kim
  • 依托单位:
ITR: TADE - Timeliness-Assured Design Environment for Distributed Object-Based Embedded Computing
  • 批准号:
    0326606
  • 项目类别:
    Standard Grant
  • 资助金额:
    $28.5万
  • 财政年份:
    2003
  • 负责人:
    Kane Kim
  • 依托单位:
Next Generation Software: Scalable Real-Time Simulation of Embedded Systems and Environments
  • 批准号:
    0204050
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $62.3万
  • 财政年份:
    2002
  • 负责人:
    Kane Kim
  • 依托单位: