期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
概率实时系统的确认
下载PDF
职称材料
导出
摘要
实时系统在运行过程中不可避免地会出现的部件故障的现象,此时它不可能完全满足系统的规约,因此实时系统中应充分考虑可靠性问题,本文以离散时段演算作为实时系统的逻辑,采用概率时间自动来描述实时系统的状态转换,通过构造向图的方法确认系统的正确性。
作者
侯建民
郑国梁
机构地区
南京大学计算机科学与技术系
出处
《软件学报》
EI
CSCD
北大核心
1997年第A00期327-332,共6页
Journal of Software
关键词
实时系统
吸向图
概率实时系统
分类号
TP316 [自动化与计算机技术—计算机软件与理论]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
0
共引文献
0
同被引文献
0
引证文献
0
二级引证文献
0
1
毛良文,徐亮.
基于SMT的PTACTL限界模型检测方法[J]
.计算机与现代化,2016(3):41-45.
被引量:1
2
侯建民,李宣东,郑国梁.
离散时段演算的符号模型验证[J]
.计算机学报,1998,21(2):103-110.
被引量:1
3
张京,龚俊,袁霞,秦友伦.
高精度时间自动测量装置的设计与实现[J]
.四川兵工学报,2015,36(7):100-103.
被引量:1
4
汪培,胡文倩,李彬雅,丁兵,李汪彪,苏伟达,吴允平.
无人值守嵌入式设备的看门狗监控系统[J]
.电子器件,2013,36(6):854-858.
被引量:2
5
罗焌民.
检测、预防计算机病毒的方法[J]
.华南师范大学学报(自然科学版),1992,24(1):61-67.
6
程良鸿.
文件存取权确认系统的数据编外管理设计法[J]
.湖北汽车工业学院学报,1992(1):22-26.
7
浒小,徐亚琴.
我的闹钟自己做——用Flash DIY卡通闹钟[J]
.电脑应用文萃,2006(1):87-88.
8
罗彬,刘少坤.
木马清除之我见[J]
.科技致富向导,2008,0(5X):102-102.
9
肖润明.
误差修正在时间自动测量系统中的应用[J]
.航空计测技术,2002,22(4):45-46.
10
秦园春,李建军.
WinCE系统的Internet时间自动同步软件设计[J]
.单片机与嵌入式系统应用,2011,11(10):69-71.
软件学报
1997年 第A00期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部