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
-
负责人:万晓霰
-
依托单位: