课题基金 / 基金详情

PYI: Computer-Aided Prototyping of Real-Time Systems

PYI: Computer-Aided Prototyping of Real-Time Systems
PYI:实时系统的计算机辅助原型设计
批准号:
9058453
负责人:
Dr Luqi
金额:
$31.25万
依托单位:
依托单位国家:
美国
项目类别:
Interagency Agreement
财政年份:
1990
资助国家:
美国
项目状态:
已结题
起止时间:
1990-10-01 至 1997-09-30

项目摘要

项目成果

Dr Luqi的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Rapid prototyping is the process of quickly building and evaluating a series of prototypes of a proposed system. A computer-aided prototyping system is a set of integrated tools supporting an iterative prototyping process characterized by exploratory design and extensive prototype evolution. The goal of this research is to investigate rapid prototyping of hard real-time systems via a computer-aided prototyping system, which is based on a prototyping language supporting the modeling of real-time systems and the reuse of software components. The research focuses on automated methods for retrieving, adapting, and combining reusable components; establishing feasibility of real-time constraints via scheduling algorithms; simulating unavailable components via algebraic specifications; generating translators and real-time schedules; constructing a prototyping project database; providing design completion and error checking facilities; and establishing a graphical interface for design and debugging.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Monterey Workshop 2001-- Engineering Automation for Software Intensive System Integration
  • 批准号:
    0105166
  • 项目类别:
    Standard Grant
  • 资助金额:
    $1.5万
  • 财政年份:
    2001
  • 负责人:
    Dr Luqi
  • 依托单位:
Workshop: Engineering Automation for Computer-Based Systems on October 26-29, 1998 at Carmel, CA
  • 批准号:
    9813820
  • 项目类别:
    Interagency Agreement
  • 资助金额:
    $1.5万
  • 财政年份:
    1998
  • 负责人:
    Dr Luqi
  • 依托单位:
Formal Methods for Software Development Workshop, Monterey, CA.
  • 批准号:
    9415054
  • 项目类别:
    Interagency Agreement
  • 资助金额:
    $0.5万
  • 财政年份:
    1994
  • 负责人:
    Dr Luqi
  • 依托单位:
US-Federal Republic of Germany Cooperative Research: (Computer Science) Rapid prototyping for Distributed Applications
  • 批准号:
    8922521
  • 项目类别:
    Standard Grant
  • 资助金额:
    $0.91万
  • 财政年份:
    1990
  • 负责人:
    Dr Luqi
  • 依托单位:
国内基金
海外基金
基于多重计算全息片(Computer-generated Hologram,CGH)的光学非球面干涉绝对检验方法研究
  • 批准号:
    62375132
  • 项目类别:
    面上项目
  • 资助金额:
    54.00万元
  • 批准年份:
    2023
  • 负责人:
    马骏
  • 依托单位:
Journal of Computer Science and Technology
  • 批准号:
    61224001
  • 项目类别:
    专项基金项目
  • 资助金额:
    20.0万元
  • 批准年份:
    2012
  • 负责人:
    万晓霰
  • 依托单位:
Journal of Computer Science and Technology
  • 批准号:
    61040017
  • 项目类别:
    专项基金项目
  • 资助金额:
    4.0万元
  • 批准年份:
    2010
  • 负责人:
    万晓霰
  • 依托单位: