Intelligent Framework for Safety Properties Checking of Complex Systems

Nesrine Darragi (1) , El Miloudi El Koursi (1) , Simon Collart-Dutilleul (1)

1 IFSTTAR/COSYS/ESTAS - Évaluation des Systèmes de Transports Automatisés et de leur Sécurité

We consider, in this paper, the issue of cooperative inference in MAS which models real-time complex systems and where agents are designed to support stochastic behaviour descriptions of system components. The framework presented in this paper integrates a new formalism of BDI agent.

Mots clés: SYSTEME DISCRET

Domaines: Modélisation et simulation

Nesrine Darragi, El Miloudi El Koursi, Simon Collart-Dutilleul. Intelligent Framework for Safety Properties Checking of Complex Systems. ISTS 2014 - International Symposium of Transport Simulation, Jun 2014, France. 3p. ⟨hal-01062141⟩