Set Theory-based FSM for Managing Home Emergencies Concept, Properties and Process Algebra

Allal Tiberkak (1) , Abdelfetah Hentout (2) , Abdelkader Belkhir (3) , Tayeb Lemlouma (4, 5) , Ahmed Bouabdallah (4, 6)

1 University Dr. Yahia Fares ()
2 CDTA - Centre de Développement des Technologies Avancées
3 USTHB - Université des Sciences et de la Technologie Houari Boumediene = University of Sciences and Technology Houari Boumediene [Alger]
4 OCIF - Objets communicants pour l'Internet du futur
5 IRISA-D2 - RÉSEAUX, TÉLÉCOMMUNICATION ET SERVICES
6 IMT Atlantique - SRCD - Département Systèmes Réseaux, Cybersécurité et Droit du numérique

Home emergencies affect greatly the health of inhabitants (mostly children, elderly and dependent persons). Nowadays, the deployment of smart home doesn't require purchasing expensive devices due to advances in communication and computing technologies. However, implementing a customized home emergencies management system is not an easy task. Indeed, it involves two disciplines: (i) Medicine and (ii) Information and Communication Technologies as mentioned by the World Health Organization. In this paper, we propose an approach that hybridizes the two concepts: FSM theory and set theory. The aim is being to facilitate (i) the design of the system behavior for the health professionals, (ii) the translation of the human readable format (emergency management rules) to a machine readable format for the computer specialist, and (iii) mainly the verification of the FSM properties for reducing human errors for both of them. The paper gives the formal description of the set-based FSM, properties that have to be taken into account and the representation of process algebra expressions. Finally, we describe a case study to illustrate the benefits of the proposed FSM.

Mots clés: Inite State Machine; Set theory; Rocess Algebra; Home emergency Management

Domaines: Réseaux et télécommunications [cs.NI]; Logique en informatique [cs.LO]

Allal Tiberkak, Abdelfetah Hentout, Abdelkader Belkhir, Tayeb Lemlouma, Ahmed Bouabdallah. Set Theory-based FSM for Managing Home Emergencies Concept, Properties and Process Algebra. 3rd International Conference on Pattern Analysis and Intelligent Systems (PAIS), Oct 2018, Tebessa, Algeria. ⟨10.1109/PAIS.2018.8598482⟩. ⟨hal-01977701⟩