欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
位置：立项数据库 > 立项详情页
中文摘要：
本课题主要对实时系统的设计方法的集成进行了研究，取得了一系列成果，发表论文十篇，其中四篇被EI收录。本课题的主要创新有提出了一种实时系统设计的集成方法，这种集成方法采用不同方法和技术用于系统的不同方面和不同阶段，特别强调有效地集成非形式化方法和形式化方法用于系统的分析与设计。在时间分析方面，改进了现存的时间分析方法，使得形式化的时间分析方法能够有效地用于实时系统的设计中。在实时通信、同步及调度方面提出了一些新方法。这些方法可以解决ATM信元丢失问题、ATM业务的时间限制、保证QOS情下的拥塞控制。在形式化方法方面，扩展了LOTOS，使得它能表示时间。利用时间PETRI网分析了铁路十字路口的需求。
结论摘要：
英文主题词Real-time system; System science;Integration
成果综合统计
期刊论文
会议论文
专利
获奖
著作
期刊论文
会议论文
相关项目
张立臣的项目
