位置：立项数据库 > 立项详情页
实时系统开发方法和算法研究
  • 项目名称：实时系统开发方法和算法研究
  • 项目类别：重大项目
  • 批准号：69896253
  • 申请代码：F020201
  • 项目来源：国家自然科学基金
  • 研究期限：1998-04-30-2002-03-31
  • 项目负责人：李明树
  • 负责人职称：研究员
  • 依托单位：中国科学院软件研究所
  • 批准年度：1998
中文摘要：

本课题研究了实时系统的理论架构、核心算法和开发方法，包括实时系统的框架，实时系统的需求分析、建模和验证方法，实时内核的结构功能分析与选择，实时操作系统任务调度算法，设备实时驱动开发方法，实时快速文件存储与检索机制，实时智能系统的系统结构和开发方法，以及实时人机交互技术等，建立了一套较为完整的实时系统的开发方法，填补了国内在这一领域上的空白。本课题为机载合成孔径雷达高分辨率实时成像系统的研制，提供了先进、可靠的实时系统基础理论和技术方法的支持。课题研究成果提供具有自主知识产权的，廉价、优秀的实时系统解决方案，能广泛应用于工业控制、电信、交通及信息家电等领域，具有广阔的应用前景。

中文主题词： 实时系统；开发方法；实时成像系统
结论摘要：

英文主题词Real-Time Systems; Development Methods; Real-Time Imaging Systems

成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 32
  • 18
  • 0
  • 0
  • 21
期刊论文
Some Design Issues on the Real-Time Operating System for Paralel High Resolution and Real-Time Imagi
A Rule-Based Real-Time AI Problem Solving Mechanism
Web-based Device Construction and Conflguration
User-Driven Domain-Specific Software Requirenents Analysis
Object-Oriented Requirement Modeling Based on UML
Real-time Communication Mechanism for Distribted Objects in the MCPU-DFO Model for Internet Enterpri
Study on B/S Structured SCM Based on ISO9000 and CMM
基于ISO9000和CMM的软件配置管理系统的研究
现代质量管理理论在软件组织的应用
A Fast Word Segmentation Method With The Advance For Overlappin Ambiguity Sovlving
企业级工控实时数据库研究与实现
实时系统开发方法研究
A Risk Driven Design Model for Embedded System
A Software Factory Model Based on ISO9000 and CMM and its Supporting Platform
流程工业CIMS中的实时数据库技术
Enterprise Modeling on Internet
Software Process Imptovement and its Practice based on ISO9000 and CMM
Developing a New Dynamic Scheduling Algorithm for Real-time Heterogeneous Systems
Integrated Dynamic Scheduling for Hard and Soft Real-time Tasks in Heterogeneous Systems
A New Methodology for User-Driver Domain Specific Apecific Application Software Development
虚拟硬件方法实现基于Intel Strong ARM SA-1110平台的 Linux APM
On Constructing a cooperative Paradigm
实时异构系统的调度算法研究
软件质量管理中的统计过程控制
Validating Object-oriented Prototype of Real-Time systems with Timed Automata
基于ISO9000和CMM的软件过程改进体系
基于ISO9000和CMM的软件质量管理系统的研究
基于ISO9000和IMM的需求开发和需求管理平台框架的研究
Linux内核的实时支持的研究与实现
基于ISO9001和CMM的软件需求管理的研究
一种新的实时多处理器系统的动态调度算法
会议论文
Object-Oriented Requirement Modeling Based on UML
Validating Object-Oriented Prototype of Real-Time systems with Timed Automata
A Software Factory Model Based on ISO9000 and CMM and its Supporting Platform
Developing a New Dynamic Scheduling Algorithm for Real-time Heterogeneous Systems
开放式实时系统的理论与方法分析
Some Design Issues on the Real-Time Operating System for Parallel, High Resolution, and Real-Time Im
A Rule-Based Real-Time AI Problem Solving Mechanism
User-Driven Domain-Specific Software Requirements Analysis
A Risk Driven Design Model for Embedded System
Real-time Communication Mechanism for Distributed Objects in the MCPU-DFO Model for Internet Enterpr
Enterprise Modeling on Internet
Software Process Improvement and its Practice based on ISO9000 and CMM
Study on B/S Structured SCM Based on ISO9000 and CMM
A Software Factory Model Based on ISO9000 and CMM for Chinese Small Organizations
A New Dynamic Scheduling Algorithm for Real-Time Multi-processor Systems
A UML Extension of Distributed System
A Fast Word Segmentation Method With the Advance for Overlapping Ambiguity Solving
针对Internet 的一个UML扩展方案
著作
基于Rete算法的多Agent的实时协同推理
一种机载DSP系统主控机的实时计算模型
基于RTLinux构建机载SAR实时成像处理器嵌入式控制系统
机载SAR实时成像系统中的数据可视化研究
支持SAR系统高分辨率实时成像的实时系统解决方案
On Constructing a Cooperative Paradigm
基于ISO9000和CMM的软件过程改进体系
基于ISO9000和CMM的需求开发和需求管理平台框架的研究
Linux内核的实时支持的研究与实现
实时异构系统的调度算法研究
现代质量管理理论在软件组织的应用
A New Methodology for User-Driven Domain Specific Application Software Development
基于ISO9000和CMM的软件质量管理系统的研究
基于ISO9001和CMM的软件需求管理的研究
软件质量管理中的统计过程控制
On Constructing a Cooperative Paradigm
虚拟硬件方法实现基于Intel StrongARM SA－1110平台的Linux APM
实时系统开发方法研究
基于ISO9000和CMM的软件配置管理系统的研究
企业级工控实时数据库研究与实现
流程工业CIMS中的实时数据库技术
相关项目
可信分布式实时软件的非功能特性的连贯性分析、设计与验证
期刊论文 37 会议论文 18
基于MARTE的实时系统模型驱动架构关键问题研究
期刊论文 11 会议论文 24
分布交换式互连系统的有界活性在线测试方法研究
期刊论文 17 会议论文 2 专利 3
面向嵌入式系统的虚拟化技术研究
期刊论文 7 会议论文 14 专利 1
异构的动态分布式实时系统的面向方面的软件开发方法论
期刊论文 40 会议论文 6 获奖 2
面向多处理器平台的实时系统资源预留与管理方法研究
期刊论文 13 会议论文 1
实时系统的软件可靠性测试与验证
期刊论文 55 会议论文 52 获奖 1 著作 2
实时软件最坏执行时间的极值统计研究及分析工具原型
期刊论文 15 会议论文 6
基于网格环境的实时应用中任务调度算法及机制的研究
期刊论文 32 会议论文 9
李明树的项目
多维度软件需求描述与控制方法研究
期刊论文 32 会议论文 27
用户主导的面向领域应用软件的开发方法研究
期刊论文 6
Internet/Web环境下用户主导的需求获取与协同机制研究
期刊论文 9
软件过程技术国际研讨会2005