A Formal Approach for Multi-occurrence Crisis Management

Hela Kadri, Simon Collart-Dutilleul, Philippe Bon, Samir Ben Ahmed

2018

Abstract

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.

Paper Citation

in Harvard Style

Collart-Dutilleul S., Bon P. and Ben Ahmed S. (2018). A Formal Approach for Multi-occurrence Crisis Management.In Proceedings of the 13th International Conference on Software Technologies - Volume 1: ICSOFT, ISBN 978-989-758-320-9, pages 607-614. DOI: 10.5220/0006865606070614

in Bibtex Style

@conference{icsoft18,
author={Simon Collart-Dutilleul and Philippe Bon and Samir Ben Ahmed},
title={A Formal Approach for Multi-occurrence Crisis Management},
booktitle={Proceedings of the 13th International Conference on Software Technologies - Volume 1: ICSOFT,},
year={2018},
pages={607-614},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006865606070614},
isbn={978-989-758-320-9},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 13th International Conference on Software Technologies - Volume 1: ICSOFT,
TI - A Formal Approach for Multi-occurrence Crisis Management
SN - 978-989-758-320-9
AU - Collart-Dutilleul S.
AU - Bon P.
AU - Ben Ahmed S.
PY - 2018
SP - 607
EP - 614
DO - 10.5220/0006865606070614