基于形式化描述的电梯控制系统的建模与仿真  

Modeling and Simulation of Elevator Control System Based on Formal Description

作　　者：张玲红[1] 张广泉[2] 

机构地区：[1]宁夏财经职业技术学院计算机系,银川750021 [2]苏州大学计算机科学与技术学院,苏州215006

出　　处：《现代计算机（中旬刊）》2011年第12期3-7,共5页Modern Computer

基　　金：国家自然科学基金(No.60073020)

摘　　要：研究电梯控制系统中组件之间复杂的信号传输关系。针对传统的建模方法不能同时精确描述系统模型的静态与动态语义的问题,从系统体系结构的组件与连接件入手,探讨形式化描述语言XYZ/ADL描述系统模型的特性,运用XYZ/ADL形式化地描述电梯控制系统的总体功能规范、主要组件的结构模型、组件之间信号传输的动态模型和电梯运行模型,并基于所构建的形式化描述模型实现系统的仿真运行。结果表明,基于XYZ/ADL描述的形式化模型能准确分析电梯组件之间复杂的信号传输关系,精确模拟电梯运行的各种状态。Researches on the complicted signal transport belween components of elevator control system. In view of the prot）lenl lhat the traditional mo（lel-buihling method ean＇t describe the statie and dynamic semantics, from the stan（lpoinl of the components and eonneetors of the software ar- chitecture, diseusses the properties of XYZ/ADL about describing the system models as a kind of description language. Describes the general function specification elevalor control system by XYZ/ADL. as well as the structural models of tile major components, the dynamic models of sig- nal transport between components and the elevator rtmning models. Realizes simulation based on the established formal models. The simulation result shows that the formal models based on XYZ/ADL can analyse truly the complicated signal transpori between components of elevator （.ontrol system and simulate accurately every conditinns of the elevator.

关 键 词：形式化描述 电梯控制系统 XYZ/ADL 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]