The Formal Study Of Intelligent Distributed Real-time Monitoring System Communication Mechanisms Based Onagent

Formalization based on Agent theory research is formal theoretical research in recentyears the forefront of one of the core technology. Train control system is one of the rapidlydeveloping applications in the distributed real-time monitoring system now. The Agent theoryis applied to the formalization of train control system study is a bold attempt.Event-B is a formal modeling and simulation language in the development ofcutting-edge, Rodin is its modeling and simulation platform. Event-B through Machine stepby step in the refinement of the model, calculation and simulation invariants of the Events, toreflect the actual effect of dynamic behavior of the system; Further, by the gradual expansionof the model Context, it is possible to make the simulated environment closer to the actualsystem environment; the same time, Event-B has a general the formalized theory has theperfect mathematical theory of system, it is possible to use the mathematical method torepresentation and computing systems running in various states, be able to verify the logiccorrectness and completeness of the system. Therefore, for a variety of formal modeling andsimulation can play a useful role.Intelligent Agent could finish their local problems solving, and be able to throughcollaboration to solve global problems, Agent collaboration between different behaviors,which can adapt to changing circumstances. Each Agent based on the current status andperceptions of environmental information and data to make a decision, to determine their ownbehavior, and At the same time, through collaboration between multiple Agent to solve theproblem of the current global, complete common tasks. Intelligent Agent must have theability to independently perform simple tasks, multi Agent system is to provide a softwareenvironment, multiple Agent collaboration through consultations, coordination andnegotiation to complete a common task to achieve a specific target applications. Many of theimplementation of real-time system has benefited from the Agent with the flexibility andreaction properties.The paper first describes the concepts and methods of modeling, and introduces theconcepts and basic knowledge of Event-B, and introduces the basic principles of the theory ofIntelligent Agent, and then describes the Event-B language in its Rodin platform for the basicprinciple of simulation modeling and model.Using the theory of Event-B language and intelligence Agent of train control system oftrain registration and start the on-board equipment and ground communication in the processof interaction problems are formalized modeling simulation, analyzes the CTCS level-4traincontrol system for registration and train on-board equipment and ground communication inthe process of start the rationality of the design of interactive process and logical correctness. Also, using Event-B language and the theory of intelligence Agent to formal modeling andsimulate for train-ground communication of train control system fault recovery process. Andthen, modeling the models use Rodin platform, combining with the characteristics of Event-Bmodel refinement step by step, puts forward problems and improvement methods, prove thelogical correctness of the system.