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

fYear

2013

fDate

23-24 Dec. 2013

Firstpage

114

Lastpage

116

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Instrumentation and Measurement, Sensor Network and Automation (IMSNA), 2013 2nd International Symposium on

Conference_Location

Toronto, ON

Type

conf

DOI

10.1109/IMSNA.2013.6742829

Filename

6742829