Constraint Analysis of System Requirement in SysML with Formal Methods

Abstract

Systems of the internet of things (IoT) consist of various elements, such as devices, networks, or embedded systems, and become larger scale and more complex. When we find faults in these systems after designing or implementation, it costs a lot to roll back the process of developments. It is therefore important to modelize systems' requirement, constraints and behaviors, and check the model to estimate their correctness and their performance. In this paper, we propose a framework to analyze SysML block diagrams with some constraints. The diagrams originally are used to describe specifications, and cannot be used to perform automated searches of systems' architectures. We check them with formal method to estimate costs and performances before implementing systems.