基于XYZ/E描述和验证容错系统
To Specify and Verify Fault-Tolerant Systems in XYZ/E作者机构：中国科学院软件研究所计算机科学重点实验室北京100080
出 版 物：《软件学报》 (Journal of Software)
年 卷 期：2002年第13卷第5期
页 面：913-920页
核心收录：
学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：国家863高科技发展计划资助项目(863-306-ZT02-04-01) 国家九五重点科技攻关项目(98-780-01-07-01)~~
主 题：验证 容错系统 时序逻辑语言 XYZ/E语言 软件系统
摘 要：研究使用XYZ/E描述和验证容错系统.基于XYZ/E中可执行程序P对应的状态转换系统对其错误环境F建模,通过错误转换给出错误影响程序PF;基于P,F和恢复算法R,通过容错转换给出容错程序PF-R;定义了程序P,Q之间两种求精关系:容错求精和向后恢复求精,基于这两种求精关系可直接从程序P的规范推导出程序Q满足的一些性质.
维普期刊数据库
同方期刊数据库