Research On Formal Software Modeling And Design Of Intelligent Distributed Supervisory And Control Systems

Based on the different types of Petri nets and multi-agent system theory, this dissertation does research on the methods of the formal software modeling and design of intelligent distributed supervisory and control systems (IDSCS). These methods can describe IDSCS model accurately, simulate and validate system's performance, and improve the efficiency of software development. The main research results achieved in this dissertation can be summarized as follows:A hybrid agent model with characteristics of real-time and deliberation is presented based on extended BDI, and the formal definition of intelligent distributed supervisory and control systems is given. On the other hand, the modeling and design methods on the basis of the hybrid agent are also presented, and an example is illustrated.Combined with G-net and timed colored Petfi nets, the formal description of hybrid agent model and multi-agent system is studied. With the definition of G-net oriented to IDSCS, the hybrid agent can be mapped directed to the hard granularity model represented by G-net, which is then easily transformed into timed colored Petal nets that is good at the research on simulation, verification and performance analysis of IDSCS in the manner of hierarchy.An agent coordination mechanism, Generalized Partial Global Planning (GPGP), is improved for IDSCS, and the working procedure of GPGP, which is usually represented by multi-protocol is studied formally through the timed colored Petal nets. Furthermore, the real-time task scheduling algorithm of hybrid agent is presented based on the timed Petri nets.The communication structure of hybrid agent with three layers is presented in this dissertation, and the set of real-time performatives for IDSCS is extended from KQML reserved performatives.The real-time Publisher/Subscriber communication schema is supported by real-time CORBA. With the help of the IDSCS ontology and the timed colored Petri nets, the real-time perfomatives are presented clearly and simulation schema is given.For the demands of the high reliability of IDSCS, the formal definition of fault-tolerance and failure recovery model is presented. The basic fault tolerant structure models are studied by stochastic Petri nets. Based on them, the fault tolerance model of the hybrid agent is given, and the simulation and performance evaluation is done by stochastic Petri nets. On the other hand, the software multi-failure recovery mechanism of IDSCS and Railway Global Mobile Communication System (GSM-R) are designed, and the simulation and performance evaluation of the recovery mechanism of GSM-R are experimented with stochastic Petri nets tool TimNET.