期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
分布式实时系统设计的一种扩展方法
1
作者
屠梅红
虞慧群
《华东理工大学学报(自然科学版)》
CAS
CSCD
北大核心
2002年第3期289-293,共5页
介绍了分布式实时系统设计的一种扩展方法。在转化设计的基础上 ,支持系统的扩展及系统规范的改变。新的系统需求规范使用轨迹逻辑 ( Trace logic)描述系统轨迹 ,用 DCI( Durationcalculus implementable)描述其对时间的要求 ,在原有的...
介绍了分布式实时系统设计的一种扩展方法。在转化设计的基础上 ,支持系统的扩展及系统规范的改变。新的系统需求规范使用轨迹逻辑 ( Trace logic)描述系统轨迹 ,用 DCI( Durationcalculus implementable)描述其对时间的要求 ,在原有的系统设计规范的基础上应用一组标准的扩展规则得到新的设计规范。系统设计的正确性可由扩展过程本身得以保证。
展开更多
关键词
分布式实时系统
设计
一种扩展方法
时段逻辑
轨迹逻辑
SL规范语言
下载PDF
职称材料
题名
分布式实时系统设计的一种扩展方法
1
作者
屠梅红
虞慧群
机构
华东理工大学计算机科学与工程系
出处
《华东理工大学学报(自然科学版)》
CAS
CSCD
北大核心
2002年第3期289-293,共5页
基金
教育部高等学校骨干教师资助计划
国家自然科学基金( 6 970 3 0 0 8
+1 种基金
6 990 3 0 0 4)
国防科技重点实验室基金资助项目 ( 99JS94.1 0 .1 .DZ 42 0 1 )
文摘
介绍了分布式实时系统设计的一种扩展方法。在转化设计的基础上 ,支持系统的扩展及系统规范的改变。新的系统需求规范使用轨迹逻辑 ( Trace logic)描述系统轨迹 ,用 DCI( Durationcalculus implementable)描述其对时间的要求 ,在原有的系统设计规范的基础上应用一组标准的扩展规则得到新的设计规范。系统设计的正确性可由扩展过程本身得以保证。
关键词
分布式实时系统
设计
一种扩展方法
时段逻辑
轨迹逻辑
SL规范语言
Keywords
distributed real time system
duration calculus
trace logic
specification language
extensional approach
分类号
TP316.4 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
分布式实时系统设计的一种扩展方法
屠梅红
虞慧群
《华东理工大学学报(自然科学版)》
CAS
CSCD
北大核心
2002
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部