Multi-agent communication-based train control system for Indian railways: the behavioural analysis

摘要

多代理人技术在许多复杂分布式、并发的系统被使用了。一个铁路系统是批评系统和功能的部件的仔细的调查是的如此的安全很重要。一个好结构的图案通过一种正式建模技术由它的确认和确认跟随了的在系统要求的基于通讯的火车控制(CBTC ) 的各种各样的功能的部件的学习。这里介绍的工作是 follow 在上面我们为印第安人的 multi-agent-based CBTC 系统，铁路设计了使用方法论设计软件代理人的系统。行为设计系统的分析包含在运用的火车期间产生的几种操作情形，并且在理解系统的反应到如此的状况帮助。当它允许系统设计者极其评估系统的需要的函数并且改正设计错误，这确认和确认是很重要的如果有的话，在它的实际实现前。通过有色的 petri 网(CPN ) 的结构的设计的建模，确认和确认对这份报纸中央。模拟结果的分析验证设计的功效。