XYZ系统对实时控制系统中进程调度和中断机制的描述

摘要：

ＸＹＺ系统是一套基于线性时序语义的软件工程ＣＡＳＥ环境，ＸＹＺ／Ｅ作为其核心既可以用于抽象描述也可以用于程序性的细节描述。该文将ＸＹＺ应用于专用控制系统。描述了优先抢占式系统的事件机制，为形式化方法在实际工程领域的应用做了尝试。

关键词： XYZ/E transition lineaner temporal logic 中断 事件 条件元

作者: 宋悦 郝克刚

作者单位: 大学计算机科学系

会议类型: 国内会议

会议名称: 1999年全国理论计算机科学学术年会

会议地点: 浙江金华

会议语种:中文

页码: 74～78

在线出版日期: 1999-10-01（万方平台首次上网日期，不代表论文的发表时间）