首页 | 本学科首页   官方微博 | 高级检索  
     

基于线性时序逻辑的实时系统建模与求精
引用本文:张广泉.基于线性时序逻辑的实时系统建模与求精[J].小型微型计算机系统,2006,27(8):1580-1584.
作者姓名:张广泉
作者单位:苏州大学,计算机科学与技术学院,江苏,苏州,215006;中国科学院,计算机科学国家重点实验室,北京,100080;重庆师范大学,数学与计算机科学学院,重庆,400047
基金项目:国家高技术研究发展计划(863计划);高比容电子铝箔的研究开发与应用项目;国家重点实验室基金;江苏省高校自然科学基金;重庆市教委资助项目
摘    要:线性时序逻辑语言XYZ/E在统一的语义框架下.能表示从高层需求规范到低层实现模型之间的不同抽象层次的系统描述,也适于描述实时系统的模型和逐步求精过程.本文提出了一种基于构件的实时系统求精方法,并给出一个具体实例一电梯控制系统,采用XYZ/E语言描述了该系统的模型及其求精过程.

关 键 词:实时系统  线性时序逻辑  建模  求精
文章编号:1000-1220(2006)08-1580-05
收稿时间:05 9 2005 12:00AM
修稿时间:2005-05-09

Modeling and Refinement for Real-Time Systems Based on Linear Temporal Logic
ZHANG Guang-quan.Modeling and Refinement for Real-Time Systems Based on Linear Temporal Logic[J].Mini-micro Systems,2006,27(8):1580-1584.
Authors:ZHANG Guang-quan
Affiliation:1.Computer Science and Technology School ,Soochow University,Suzhou 215006, China;2.State Key Lab. of Computer Science, The Chinese Academy of Sciences, Beijing 100080, China;3.Mathematics and Computer Science School, Chongqing Normal University, Chongqing 400047, China
Abstract:The linear temporal logic language XYZ/E can express at many levels of abstraction, from high-level requirement specification to low-level implementation models under a unified logical framework. It can describe both the models and the stepwise refinements of real-time systems. In this paper, a component-based real-time system refinements method, is introduced. We demonstrate this method and its process in the development of Elevator Control System by using XYZ/E formalizing the model of the system.
Keywords:XYZ/E
本文献已被 CNKI 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号