基于自动机模型的平面调车软件设计方法  

Design Method for Software of Flat Shunting Systems Based on Automaton Models

作　　者：魏臻[1] 陆阳[1] 汤俊[2] 鲍红杰[1] 

机构地区：[1]合肥工业大学计算机与信息学院,安徽合肥230009 [2]合肥工业大学高科信息技术有限责任公司,安徽合肥230088

出　　处：《电子学报》2009年第5期1013-1018,共6页Acta Electronica Sinica

基　　金：国家863高技术研究发展计划(No.2004AA001021);国家自然科学基金(No.60873003)

摘　　要：平面调车是一种铁路调车过程中的离散事件系统.可靠性高、易测试的平面调车软件对保障铁路运输安全极为重要,因此需要建立一种规范模型基础上的平面调车软件设计方法.分析了平面调车系统中事件驱动过程的复杂性以及自然语言规则描述方式的缺陷,提出通过自动机模型描述平面调车系统,具体讨论了平面调车系统与时间自动机(TA)、下推自动机(PDA)和分层自动机的关系.从状态划分、数据结构设计、状态转移流程等方面说明了基于自动机模型的平面调车软件的设计方法.Flat shunting is a type of discrete event systems in the process of railway dispatching. It is very important that software of any flat shunting system have high reliability and high testability for ensuring transportation safety. For that goal, it is necessary to build a kind of regular design methods for software of flat shunting systems. In this paper, the complexity of event driving in the process of flat shunting and the limitation of description with natural language are analyzed. Therefore new descriptions of some processes in a fiat shunting system with automaton models are proposed. In detail, the relationships between a flat shunting system and timed automata （TA）, pushdown automata （PDA） and the structure of layered automata are discussed. On the basis of ex- plaining the partition of states,the data structure and the flow of state transition, a design method of fiat shunting systems based on automaton models is built.

关 键 词：离散事件系统 平面调车 时间自动机 下推自动机 

分 类 号：TP301[自动化与计算机技术—计算机系统结构] U283[自动化与计算机技术—计算机科学与技术]