摘要
列车自动防护系统是保证列车运行安全的安全苛求系统,该系统功能繁多、逻辑复杂、开发难度大。为此,提出一种基于模型的软件开发方法,采用接口模型、状态模型和控制流模型描述该系统软件的功能,实现应用软件的开发。仿真测试结果表明,该方法能有效简化功能逻辑,降低开发难度,减少人为错误和故障的引入。
Automatic Train Protection（ATP） system is a safety-critical system to ensure the train running safety. The system has various functions and complex logic, which makes the development difficult. To this end, a model-based method is presented to develop ATP application software, in which interface models, status models, and control flow models are used to clearly and correctly describe application software functions and their implementation processes. The functions of the developed software are further verified by simulations and tests. The obtained results confirm that the function logic is simplified effectively with this method, making the software development easy. What＇s more, human errors and faults are also reduced in this process.
出处
《计算机工程》
CAS
CSCD
2013年第3期1-6,共6页
Computer Engineering
基金
国家科技支撑计划基金资助项目(2011BAG01B03)
关键词
城市轨道交通
列车自动防护
应用软件
接口模型
状态模型
控制流模型
urban rail transit
Automatic Train Protection（ATP）
application software
interface model
status model
control flow model
