loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Hela Kadri 1 ; Simon Collart-Dutilleul 2 ; Philippe Bon 2 and Samir Ben Ahmed 3

Affiliations: 1 IFSTTAR/ESTAS, Université Lille nord de France, 20 rue Elisée Reclus, France, Université de Tunis El Manar, Campus Universitaire Farhat Hached and Tunisia ; 2 IFSTTAR/ESTAS, Université Lille nord de France, 20 rue Elisée Reclus and France ; 3 Université de Tunis El Manar, Campus Universitaire Farhat Hached and Tunisia

Keyword(s): Crises Management, Dynamic System, Formal Model, Petri Nets, Discrete Event Systems, Operating Modes, Supervisory Control Theory.

Related Ontology Subjects/Areas/Topics: Formal Methods ; Simulation and Modeling ; Software Engineering ; Software Engineering Methods and Techniques

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.226.68.181

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Kadri, H.; 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 - ICSOFT; ISBN 978-989-758-320-9; ISSN 2184-2833, SciTePress, pages 607-614. DOI: 10.5220/0006865606410648

@conference{icsoft18,
author={Hela Kadri. and 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 - ICSOFT},
year={2018},
pages={607-614},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006865606410648},
isbn={978-989-758-320-9},
issn={2184-2833},
}

TY - CONF

JO - Proceedings of the 13th International Conference on Software Technologies - ICSOFT
TI - A Formal Approach for Multi-occurrence Crisis Management
SN - 978-989-758-320-9
IS - 2184-2833
AU - Kadri, H.
AU - Collart-Dutilleul, S.
AU - Bon, P.
AU - Ben Ahmed, S.
PY - 2018
SP - 607
EP - 614
DO - 10.5220/0006865606410648
PB - SciTePress