PYI: Computer-Aided Prototyping of Real-Time Systems
PYI: Computer-Aided Prototyping of Real-Time Systems
批准号:
9058453
负责人:
Dr Luqi
金额:
$31.25万
依托单位国家:
美国
项目类别:
Interagency Agreement
财政年份:
1990
资助国家:
美国
项目状态:
已结题
起止时间:
1990-10-01 至 1997-09-30
中文摘要
点击翻译按钮获取中文摘要
英文摘要
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
-
依托单位:
Automated Rapid Prototyping Environment
-
批准号:8710737
-
项目类别:Interagency Agreement
-
资助金额:$6.0万
-
财政年份:1987
-
负责人: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
-
负责人:万晓霰
-
依托单位: