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

Abstract : 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.
Type de document :
Communication dans un congrès
3rd International Conference on Pattern Analysis and Intelligent Systems (PAIS), Oct 2018, Tebessa, Algeria. IEEE, Proceedings 3rd International Conference on Pattern Analysis and Intelligent Systems (PAIS), 2019, 〈10.1109/PAIS.2018.8598482〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01977701
Contributeur : Bibliothèque Télécom Bretagne <>
Soumis le : vendredi 11 janvier 2019 - 00:30:16
Dernière modification le : lundi 11 mars 2019 - 11:08:02

Identifiants

Citation

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. IEEE, Proceedings 3rd International Conference on Pattern Analysis and Intelligent Systems (PAIS), 2019, 〈10.1109/PAIS.2018.8598482〉. 〈hal-01977701〉

Partager

Métriques

Consultations de la notice

102