Result: Modeling IoT Design Patterns Proven Correct by Construction

Title:
Modeling IoT Design Patterns Proven Correct by Construction
Authors:
Imen Tounsi, Najeh Khalfi, Abdessamad Saidi, Mohamed Hadj Kacem
Source:
Lecture Notes in Computer Science ISBN: 9783031095924
Publisher Information:
Springer International Publishing, 2022.
Publication Year:
2022
Subject Terms:
FOS: Mechanical engineering, Software design pattern, Reuse, Mathematical analysis, 7. Clean energy, Model Checking, Engineering, Theoretical computer science, Self-Reconfigurable Robotic Systems and Modular Robotics, FOS: Mathematics, Model-Driven Engineering in Software Development, Biology, Software engineering, Domain (mathematical analysis), Ecology, Mechanical Engineering, Formal methods, Model-Driven Engineering, Computer science, Design pattern, Programming language, 3. Good health, Computational Theory and Mathematics, FOS: Biological sciences, Computer Science, Physical Sciences, Correctness, Software, Mathematics, Formal Methods in Software Verification and Control
Document Type:
Book Part of book or chapter of book<br />Other literature type
Language:
English
DOI:
10.1007/978-3-031-09593-1_3
DOI:
10.60692/hpz4p-03v93
DOI:
10.60692/a490e-74197
Rights:
CC BY
Accession Number:
edsair.doi.dedup.....4192ae5996fc88c2fd1e4dc7fa746b9f
Database:
OpenAIRE

Further Information

Formal method techniques are used to model complex systems as mathematical entities. By building mathematical rigorous models of IoT design patterns, it is possible to verify their properties in a thorough fashion. In this paper, we propose a refinement-based approach for modeling IoT design patterns. It allows the modeling of correct by construction IoT design patterns. It takes advantage of formal methods by the specification of design pattern models with the Event-B method and checking the design correctness. Our goal is to design IoT patterns proven correct by construction to successfully apply them and promote their reuse. Our approach is experimented through pattern examples and we illustrate it with a case study in the health care domain.