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

作者：张玲红; 张广泉

来源：现代计算机(专业版), 2011, (30): 3-7.

• 形式化描述
• 电梯控制系统
• XYZ/ADL Formal Description
• Elevator Control System
• XYZ/ADL

研究电梯控制系统中组件之间复杂的信号传输关系。针对传统的建模方法不能同时精确描述系统模型的静态与动态语义的问题,从系统体系结构的组件与连接件入手,探讨形式化描述语言XYZ/ADL描述系统模型的特性,运用XYZ/ADL形式化地描述电梯控制系统的总体功能规范、主要组件的结构模型、组件之间信号传输的动态模型和电梯运行模型,并基于所构建的形式化描述模型实现系统的仿真运行。结果表明,基于XYZ/ADL描述的形式化模型能准确分析电梯组件之间复杂的信号传输关系,精确模拟电梯运行的各种状态。

• 单位
  苏州大学; 宁夏财经职业技术学院