클라우드 기반의 IoT 소프트웨어 개발을 위한 메타 모델 및 정형 명세 (Meta-model and Formal Specification for Design of Cloud-based IoT Software)

서지정보

· 발행기관 : 융복합지식학회
· 수록지 정보 : 융복합지식학회논문지 / 10권 / 4호 / 121 ~ 132페이지
· 저자명 : 조은숙, 송치양

초록

팬데믹은 예측 정비, 항구 및 운송 시설의 자동화 등 IoT가 이미 널리 쓰이고 있는 기술 유형의 급격한 성장을 주도했다. 이러한 영역에서 작업자들이 현장에서 보내는 시간이 감소되었다. 특정 유형의 점검, 서비스 등 일부 기능을 원격에서 처리할 수 있어 작업자가 현장에서 그리고 다른 직원과 가까이 있어야 하는 시간을 줄일 수 있기 때문이다. 이처럼 최근에 팬데믹을 거치면서 여러 기업들에서 원격근무 형태가 확산됨에 따라 여러 벤더들이 클라우드 서버와 사물 인터넷(IoT)을 구축하는데 필요한 플랫폼 뿐만 아니라 소프트웨어까지 판매하기 시작하면서 사물인터넷이 성숙해지고 있다. 반면에 이처럼 IoT 플랫폼과 소프트웨어에 대한 수요가 급증하면서 보안이나 확장성 , 디바이스들 간의 동기화 등과 같은 요소들이 IoT 소프트웨어 설계에 반영되어야 한다는 것이다. 그리고 IoT를 이용한 비즈니스는 클라우드에서 하는 것이 유리하기 때문에, 많은 기업들이 클라우드 컴퓨팅 하에서 IoT 서비스들을 제공하고 있다. 클라우드 기반의 IoT 서비스가 안정적으로 제공되기 위해서는 기능적인 요구사항 뿐만 아니라 비기능적인 요구사항 중에 확장성, 상호 운용성, 신뢰성, 효율성, 보안성, 접근 용이성, 사용용이성, 배치 비용 감소 등의 다양한 요소들이 설계 시에 반영되어야 한다. 그러나 기존 연구들 에서는 이러한 부분에 대해서 구체적으로 모델링 요소로 파악하여 정의하도록 제시하지 않고 있다. 따라서 본 논문에서는 클라우드 기반의 IoT 소프트웨어 개발 시에 고려해야 할 요소들을 식별하여 이들을 메타모델의 요소들로 정의하고, 정의된 메타모델에 대해 정형명세를 통해 검증한다.

영어초록

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.

참고자료

· 없음