10.3969/j.issn.1000-1220.2006.08.038
基于线性时序逻辑的实时系统建模与求精
线性时序逻辑语言XYZ/E在统一的语义框架下,能表示从高层需求规范到低层实现模型之间的不同抽象层次的系统描述,也适于描述实时系统的模型和逐步求精过程.本文提出了一种基于构件的实时系统求精方法,并给出一个具体实例-电梯控制系统,采用XYZ/E语言描述了该系统的模型及其求精过程.
实时系统、线性时序逻辑、建模、求精、XYZ/E
27
TP311(计算技术、计算机技术)
国家高技术研究发展计划863计划60073020;高比容电子铝箔的研究开发与应用项目2001AA113200;国家重点实验室基金SYSKF0303;江苏省高校自然科学基金05KJB520119;重庆市教委资助项目040803
2006-09-11(万方平台首次上网日期,不代表论文的发表时间)
共5页
1580-1584