[논문 리뷰] Towards a General Software Engineering Methodology for the Internet of Things

Franco Zambonelli|arXiv (Cornell University)|2016. 01. 21.

IoT and Edge/Fog Computing참고 문헌 31인용 수 23

한 줄 요약

이 논문은 복잡한 IoT 시스템의 체계적 설계 및 개발을 가능하게 하기 위해 아바타, 조정자, 목표 지향 그룹과 같은 핵심 추상화를 중심으로 한 사물인터넷(IoT) 소프트웨어 공학 방법론을 제안한다. 기존의 접근 방식—특히 웹 오브 토잉스(WoT) 및 에이전트 지향 파라다임—을 융합함으로써 탈중앙화되고 적응형이며 조율 가능한 IoT 서비스 공학을 지원하는 체계적인 방법론을 개발한다.

ABSTRACT

As research in the Internet of Thing area progresses, and a multitude of proposals exist to solve a variety of problems, the need for a general principled software engineering approach for the systematic development of IoT systems and applications arises. In this paper, by synthesizing form the state of the art in the area, we attempt at framing the key concepts and abstractions that revolve around the design and development of IoT systems and applications, and draft a software engineering methodology centered on these abstractions.

연구 동기 및 목표

• 연구 분야의 급속한 발전에도 불구하고, IoT 시스템을 위한 원칙적이고 일반적인 소프트웨어 공학 방법론의 부재를 해결한다.
• 기존의 IoT 및 웹 오브 토잉스(WoT) 접근 방식에서 공통되는 핵심 추상화를 식별하고 통합하여 체계적인 개발을 위한 공통 기반을 마련한다.
• 스마트 호텔과 같은 복잡한 환경에서 조율되고 적응형이며 확장 가능한 IoT 애플리케이션의 설계 및 구현을 지원하는 방법론을 개발한다.
• 에이전트 지향 소프트웨어 공학, 자가 적응 시스템, 그리고 IoT 간의 격차를 메우기 위해 관련 개념을 통합한 통합된 프레임워크를 제안한다.
• 향후 도구 및 모델링 언어를 위한 기반을 제공하여 IoT 요구사항, 아바타, 조율 메커니즘을 공식적으로 표현할 수 있도록 한다(미래 작업으로 남겨둠).

제안 방법

• IoT 및 WoT 분야의 최신 기법에서 핵심 개념을 융합하여 상호운용성, 탈중앙화, 동적 조율에 중점을 둔다.
• 물리적 실체의 센서링, 액추에이팅, 추론 능력을 봉인하는 소프트웨어 실체를 나타내기 위해 '아바타'의 추상화를 도입한다.
• 목표 지향 그룹의 조율 체계를 관리하기 위해 '조정자'를 소프트웨어 아티팩트로 정의한다.
• 네 단계로 구성된 방법론을 제안한다: (1) 요구사항 분석, (2) 설계(아바타 및 조정자 모델링 포함), (3) 구현, (4) 인프라 적응을 고려한 배포.
• 에이전트 지향 소프트웨어 공학 및 자가 적응 시스템의 원칙을 활용하여 IoT 환경에서의 동적 행동과 내성적 탄력성을 지원한다.
• 형식적 또는 반형식적 모델링 언어 및 도구의 필요성을 강조하여 추상화를 표현하고 도구 기반 개발을 가능하게 하며(미래 작업으로 남겨둠).

실험 결과

연구 질문

• RQ1 기존의 IoT 및 WoT 접근 방식 간에 공통적으로 존재하는 핵심 추상화는 무엇이며, 일반적인 소프트웨어 공학 방법론의 기초로 기능할 수 있는가?
• RQ2 대규모 IoT 시스템에서 탈중앙화되고 목표 지향적인 조율을 어떻게 체계적으로 모델링하고 구현할 수 있는가?
• RQ3 에이전트 지향 소프트웨어 공학 및 자가 적응 시스템과 같은 기존 파라다임은 IoT 특유의 과제를 해결하기 위해 어떻게 적응시킬 수 있는가?
• RQ4 스마트 호텔과 같은 실제 환경에서 IoT 애플리케이션을 체계적으로 설계하고 배포하기 위해 필요한 핵심 단계와 활동은 무엇인가?
• RQ5 제안된 방법론은 IoT 환경에서 상호운용성, 확장성, 동적 적응을 어떻게 지원할 수 있는가?

주요 결과

• 논문은 아바타와 조정자를 복잡한 IoT 시스템의 설계를 위한 기본 추상화로 식별하여 다양한 구현 패턴을 통합하고 확장 가능한 모듈식 설계를 지원한다.
• 요구사항, 설계, 구현, 배포로 구성된 네 단계의 방법론이 제안되었으며, IoT 시스템 개발을 위한 체계적인 프레임워크를 제공한다.
• 목표 지향 그룹과 조율 메커니즘의 통합은 중앙 집중식 제어 없이도 복잡하고 적응형 IoT 서비스를 공학적으로 설계할 수 있도록 한다.
• 방법론은 에이전트 지향 소프트웨어 공학 및 자가 적응 시스템과 같은 기존의 이론적 프레임워크에 기반하여 이론적·실용적 관련성을 강화한다.
• 웹 오브 토잉스(WoT) 원칙을 통해 상호운용성을 지원하여 표준 웹 기술을 활용한 서비스 탐색 및 상호작용을 가능하게 한다.
• 논문은 향후 형식적 모델링 언어 및 도구 개발의 필요성을 강조하여 제안된 추상화와 방법론을 구현 가능하게 할 것이다.