作者
Bruno Costa, Paulo F Pires, Flávia C Delicato, Wei Li, Albert Y Zomaya
发表日期
2016/8/8
研讨会论文
2016 IEEE 14th Intl Conf on Dependable, Autonomic and Secure Computing, 14th Intl Conf on Pervasive Intelligence and Computing, 2nd Intl Conf on Big Data Intelligence and Computing and Cyber Science and Technology Congress (DASC/PiCom/DataCom/CyberSciTech)
页码范围
392-399
出版商
IEEE
简介
The Internet of Things (IoT) is a new paradigm consisting of heterogeneous entities that communicate with each other by sending and receiving messages in heterogeneous formats through heterogeneous protocols to achieve a common goal. When designing IoT applications, there are two main challenges: the complexity to represent such heterogeneous entities, message formats, and protocols in an unambiguous manner, and the lack of methodologies to verify QoS (Quality of Service) properties. This paper introduces a design and analysis process supported by a framework to assist IoT application engineers to precisely model IoT applications and verify their properties. The framework is composed of the SysML4IoT, a SysML profile based on the IoT-A Reference Model, and the SysML2NuSMV, a model-to-text translator that converts the model and QoS properties specified on it to be executed by NuSMV, a …
学术搜索中的文章
B Costa, PF Pires, FC Delicato, W Li, AY Zomaya - 2016 IEEE 14th Intl Conf on Dependable, Autonomic …, 2016