[논문 리뷰] Towards Architectural Programming of Embedded Systems

Arne Haber, Jan Oliver Ringert외 1명|arXiv (Cornell University)|2014. 09. 08.

Advanced Software Engineering Methodologies참고 문헌 16인용 수 7

한 줄 요약

이 논문은 아키텍처 기반 프로그래밍을 제안하며, 아키텍처 기술서를 자바에 직접 통합함으로써 하나의 언어 뷰 내에서 아키텍처, 데이터 구조, 행동을 통합 모델링할 수 있도록 한다. 프로토타입 컴파일러는 이 접근 방식의 실현 가능성과 과제를 입증하며, 아키텍처 뷰와 구현 뷰 간 별도의 매핑이 필요 없도록 한다.

ABSTRACT

Integrating architectural elements with a modern programming language is essential to ensure a smooth combination of architectural design and programming. In this position statement, we motivate a combination of architectural description for distributed, asynchronously communicating systems and Java as an example for such an integration. The result is an ordinary programming language, that exhibits architecture, data structure and behavior within one view. Mappings or tracing between different views is unnecessary. A prototypical implementation of a compiler demonstrates the possibilities and challenges of architectural programming.

연구 동기 및 목표

• 임베디드 시스템에서 아키텍처 설계와 저수준 구현 간 괴리를 해결하기 위해.
• 현대 프로그래밍 언어인 자바와 같은 언어에 아키텍처 요소를 원활하게 통합하기 위해.
• 별도의 아키텍처 뷰와 코드 뷰 간의 추적성 또는 매핑이 필요 없도록 하기 위해.
• 프로토타입 컴파일러를 통해 아키텍처 프로그래밍의 실현 가능성을 입증하기 위해.
• 아키텍처 프로그래밍을 위한 타입 안전성, 모듈성, 도구 지원 측면에서의 과제를 탐색하기 위해.

제안 방법

• 시스템 구조를 표현하기 위해 컴포넌트, 커넥터, 인터페이스 등의 아키텍처 구조를 자바에 확장한다.
• 시스템 아키텍처를 동일한 소스 코드 내에서 기술하기 위해 자바에 통합된 도메인 특화 언어(DSL)를 도입한다.
• 아키텍처 및 행동 코드를 함께 분석하고 타입 체크하기 위해 컴파일러 파이프라인을 사용한다.
• 분산 시스템을 위해 컴포넌트 기반 분해 및 이벤트 기반 통신과 같은 설계 패턴을 적용한다.
• 아키텍처 요소를 언어 내에서 일급 시민으로 표현하기 위해 메타모델링 접근법을 활용한다.
• 임베디드 시스템 및 비동기 통신을 하는 분산 시스템을 대상으로 프로토타입 구현을 통해 접근 방식을 검증한다.

실험 결과

연구 질문

• RQ1 일반 목적의 프로그래밍 언어인 자바에 아키텍처 기술서를 어떻게 천연적으로 통합할 수 있는가?
• RQ2 하나의 프로그래밍 뷰에 아키텍처, 데이터, 행동을 통합함으로써 얻는 이점과 상충 요소는 무엇인가?
• RQ3 컴파일러가 아키텍처 구조와 구현 논리 간 일관성을 효과적으로 강제할 수 있는가?
• RQ4 아키텍처 프로그래밍을 위한 타입 안전성, 모듈성, 도구 지원 측면에서 실질적인 과제는 무엇인가?
• RQ5 아키텍처 프로그래밍은 분산 임베디드 시스템의 개발 및 검증에 어떻게 영향을 미치는가?

주요 결과

• 자바에 아키텍처 구조를 통합함으로써 별도의 모델링 자료가 필요 없이 시스템 구조, 데이터, 행동을 통합된 뷰로 표현할 수 있다.
• 프로토타입 컴파일러는 아키텍처 및 행동 코드를 함께 성공적으로 검증하여 일관성 문제가 발생할 위험을 줄였다.
• 아키텍처 뷰와 구현 뷰 간 별도의 추적성 또는 매핑이 필요 없어지며, 이는 개발을 단순화시켰다.
• 타입 안정성 및 모듈성 측면에서 과제가 확인되었으며, 특히 비동기 통신 및 컴포넌트 조합 처리에서 어려움이 있었다.
• 아키텍처 모델에서 공식적 검증 및 코드 생성이 가능하게 하여 모델 기반 개발 원칙을 지원한다.
• 평가 결과 아키텍처 프로그래밍은 임베디드 시스템, 특히 복잡한 분산 환경에서 실현 가능하고 유익한 것으로 확인되었다.