A Formal Approach for Multi-occurrence Crisis Management - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

A Formal Approach for Multi-occurrence Crisis Management

Résumé

Having observed the need from the state of the art concerning crisis management, a formal expression is proposed. In the case of neighbour crisis series, the crisis management plans (CMPs) are merged into one and the level of complexity could be increased. A formal approach to control crisis management systems (CMS) is then introduced, which is studied as a discrete event system (DES). Based on the supervisory control theory (SCT), a multi-model approach is used to define the behavior of each CMP separately as well as its different control strategies through the use of prioritized colored Petri nets (PCPN). Finally, a global CMS model is provided. It is generated using an algorithm and ensures the control of CMPs evolution thanks to the operating modes management. In addition to the simulation and the formal validation of some safety properties, the global model incorporates concepts of common operating mode and of common sub-behavior in order to be of a reasonable size.

Dates et versions

hal-03375466 , version 1 (12-10-2021)

Identifiants

Citer

Hela Kadri, Simon Collart-Dutilleul, Philippe Bon, Samir Ben Ahmed. A Formal Approach for Multi-occurrence Crisis Management. ICSOFT 2018, 13th International Conference on Software Technologies, Jul 2018, Porto, Portugal. pp607-614, ⟨10.5220/0006865606410648⟩. ⟨hal-03375466⟩
6 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More