The Society of Convergence Knowledge Transactions ISSN:2287-8920(Print) 융복합지식학회논문지

The pandemic has driven rapid growth in the types of technology where IoT is already widely used, including predictive maintenance and automation of ports and transportation facilities. In these areas, the time workers spend in the field has been reduced. This is because some functions, such as certain types of inspections and servicing, can be handled remotely, reducing the amount of time workers have to be in the field and close to other staff. As such, as the form of remote work spreads in several companies during the recent pandemic, the Internet of Things is maturing as several vendors begin to sell cloud servers and platforms necessary to build the Internet of Things (IoT), as well as software. On the other hand, as the demand for IoT platforms and software rapidly increases, factors such as security, scalability, and synchronization between devices must be reflected in IoT software design. And since it is advantageous to do business using IoT in the cloud, many companies are providing IoT services under cloud computing. In order for cloud-based IoT services to be stably provided, various factors such as scalability, interoperability, reliability, efficiency, security, accessibility, ease of use, and reduction of deployment cost among non-functional requirements as well as functional requirements are required. This should be reflected in the design. However, existing studies do not suggest that these parts be identified and defined as modeling elements in detail. Therefore, in this paper, factors to be considered when developing cloud-based IoT software are identified, defined as metamodel elements, and the defined metamodel is verified through formal specifications.