A formal analysis framework for Internet of Things
Zhang Junhua, Jihui Xu, Guo Shuangzhou, Shi Zhengxi · 2013
A framework is presented to model Internet of Things and analysis its running quality based on MDA, and an automatic solution is provided through a set of software tools. Firstly, modeling is executed to the instance of an Internet of things; then transforming the MARTE model to the related automaton models is done, based on the manual mapping rule from MARTE meta-model to related automaton meta-model; after the format of the automaton is adjusted from XMI to XML, the result is input into the model checking tool for the automaton and the running quality of the Internet of Things is analyzed quantitatively.