Title :
A formal analysis framework for Internet of Things
Author :
Zhang Junhua ; Xu Jihui ; Guo Shuangzhou ; Shi Zhengxi
Author_Institution :
Inf. Sch., Ningbo City Coll. of Vocational Technol., Ningbo, China
Abstract :
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.
Keywords :
Internet of Things; XML; formal verification; software quality; Internet of Things; MARTE meta-model; MARTE model; MDA; XMI; XML; automatic solution; automaton meta-model; automaton models; formal analysis framework; manual mapping rule; model checking tool; running quality; software tools; Analytical models; Automata; Clocks; Internet; Probabilistic logic; Reliability; Unified modeling language; Internet of Things; LSC; MARTE; MDA; running quality;
Conference_Titel :
Instrumentation and Measurement, Sensor Network and Automation (IMSNA), 2013 2nd International Symposium on
Conference_Location :
Toronto, ON
DOI :
10.1109/IMSNA.2013.6742829
