MARTE로 실시간·임베디드 시스템의 시간과 자원 모델링하기
MARTE UML 프로파일로 실시간·임베디드 시스템의 시간, 성능, 자원 제약을 모델링하고 스케줄링 분석까지 연결하는 방법을 정리한다.
2026-08-14 · 최초 발행 2025-10-31
시간과 자원 제약을 설계 모델 안에 남기는 방법
OMG의 MARTE(Modeling and Analysis of Real-Time and Embedded systems)는 UML 프로파일을 바탕으로 실시간·임베디드 시스템과 Mission/Safety-Critical 시스템을 모델링하고 분석하기 위한 표준이다. 기능 요구만 표현하는 데서 멈추지 않고 시간, 성능, 자원 같은 비기능 요구를 정형적으로 기록한다.
이 모델은 스케줄링·성능 분석 도구와 연결되어 설계 초기에 리스크를 정량적으로 검증하는 데 쓰인다. 멀티코어, 분산 노드, 하드웨어와 소프트웨어가 함께 진화하는 환경에서 모델 기반 엔지니어링의 기반을 제공한다.
MARTE는 도메인별 패키지로 구성된다. GRM(General Resource), HRM(Hardware), SRM(Software)은 하드웨어·소프트웨어·자원 메타모델을 분리하며, GQAM은 성능, SAM은 스케줄링, PAM은 대기와 흐름 분석을 다룬다. 모듈러 구조이므로 필요한 범위부터 적용할 수 있다.
모델에는 태스크, 스레드, 인터럽트뿐 아니라 메모리, 버스, 네트워크도 포함할 수 있다. 주기, 데드라인, 지터, 자원 할당과 배치, 스케줄러 정책 역시 표현 대상이다. 표준 버전 및 툴 호환성 최신 정보 확인이 필요하다.
비기능 요구를 분석 가능한 속성으로 바꾸기
NFP(Non-Functional Properties)는 시간·용량·대역폭의 단위와 차원, 최대·최소·평균·신뢰구간 같은 통계적 분포를 일관된 방식으로 다룬다. 제약식, 범위, 우선순위를 속성으로 부여하면 도구 기반 검증도 자동화할 수 있다.
시간 의미론에는 물리·논리 클록, 지속시간, 동기화, 지터가 포함된다. 스케줄링은 고정·동적 우선순위와 EDF 정책, 자원 경합, 락 프로토콜을 위한 표준 스테레오타입으로 기술한다.
분석 관점에서는 UML과 MARTE 모델을 Schedulability 또는 Performance 분석 모델로 변환한 뒤 도구를 실행하고, 결과를 설계로 되돌리는 루프를 구성한다. Cheddar, MAST, Time4Sys, MARTE를 지원하는 Papyrus 등이 연계 대상이며 도구 버전 호환성 최신 정보 확인이 필요하다.
요구사항, 설계, 분석 결과, 코드 스켈레톤 사이의 링크를 유지할 수 있다는 점도 중요하다. AADL이나 AUTOSAR 같은 메타모델로의 모델 변환(M2M)도 가능하지만, 변환 규칙을 유지보수하는 비용은 함께 고려해야 한다.
모델에서 분석 결과까지 이어지는 흐름
입력은 기능·비기능 요구사항, 아키텍처 후보, 타이밍과 자원에 관한 가정이다. 먼저 SysML로 시스템 컨텍스트를 잡고 UML+MARTE로 정밀화한다. 이어 태스크·자원·스케줄러에 NFP와 시간 제약을 주석화하고, GQAM·SAM·PAM 분석 모델로 변환해 도구를 실행한다.
분석 결과에서는 병목과 미스를 확인하고 설계 파라미터를 조정한다. 이 과정의 산출물은 데드라인 미스 확률, 응답시간, 활용도, 자원 배치안, 설계 변경 제안이다.
도메인별로 달라지는 모델의 초점
자동차 ECU에서는 AUTOSAR SWC를 UML+MARTE의 태스크와 런어블로 매핑하고, 주기·데드라인·우선순위를 주석화할 수 있다. CAN/FlexRay 버스의 대역폭과 지터를 모델링한 뒤 Cheddar로 응답시간을 분석하며, 버스 로드 70% 이하 제약을 검증한다.
항공 임무컴퓨터에서는 ARINC 653 파티션과 스케줄링 테이블을 MARTE SRM/SAM으로 모델링한다. 데드라인 미스 확률 10^-5 이하 목표에 대해 워스트케이스 응답시간(WCRT) 분석을 수행한다.
산업용 로봇 제어기는 센서→제어→액추에이터 파이프라인을 GQAM으로 표현하고 CPU/GPU 자원을 분배한다. 지터 1ms 이내 제약을 충족하도록 태스크 분할과 우선순위를 다시 설계할 수 있다.
5G·엣지 게이트웨이에서는 멀티코어 핀닝과 NUMA 메모리 접근 비용을 HRM/GRM으로 기술한다. 서비스 체인의 지연 SLA 5ms 목표에 맞춰 네트워크와 CPU 병목을 분석한다.
MARTE와 인접 모델링 체계의 역할
| 프레임워크 | 성능/분석 | 확장성 | 일관성 | 안정성 | 운영 편의 |
|---|---|---|---|---|---|
| MARTE(UML 프로파일) | 스케줄링/성능 분석 직접 주석화, 다양한 도구 연계 | UML 생태계 확장 용이 | 요구-설계-분석 추적성 우수 | 표준 의미론, 도구 성숙도는 툴별 편차 | UML 사용자에 친화적 |
| AADL | 아키텍처/스레드/버스 정형 기술, 분석 플러그인 풍부 | 시스템 수준 확장 강점 | 정형 문법으로 일관성 높음 | 핵심 도메인에 안정적 | 별도 문법 학습 필요 |
| SysML | 요구/시스템 컨텍스트 강점, 성능 분석은 한계 | 시스템 규모 모델링 용이 | 상위 요구와의 일관성 선호 | 안정적 표준 | MARTE와 병행 시 편의 상승 |
| AUTOSAR(Meta) | 도메인 특화, ECU/런어블/통신 상세 | 자동차 도메인에 최적 | 구성 규칙 일관성 높음 | 표준 강건 | 도메인 한정, 일반 분석 한계 |
모델의 효과를 얻기 위한 운영 규칙
설계 초기에 타이밍과 자원 결함을 찾아내면 변경 비용을 20~50% 절감할 수 있다고 추정되며, 이는 조직과 도메인에 따라 다르다. 데드라인 미스율과 CPU·버스 활용도를 수치로 확인해 SLA 준수 여부를 사전에 검증할 수 있다.
공통 용어와 모델을 중심으로 협업하면 HW/SW 교차 팀의 커뮤니케이션 비용을 줄일 수 있다. 요구사항·설계·분석·테스트의 추적성도 강화되어 인증과 컴플라이언스 준비에 유리하다.
상위 컨텍스트는 SysML로 수립하고, UML+MARTE로 상세화한 뒤 분석 모델 변환과 결과 피드백을 반복하는 방식이 적합하다. 아키텍처가 안정되기 전에는 단순화한 NFP로 빠르게 탐색하고, 이후 점차 세분화해 정밀도를 높인다.
단위와 차원의 일관 규칙을 정하고 주기, 데드라인, WCET, 지터, 자원을 담은 NFP 템플릿을 표준화해야 한다. 스케줄러 정책, 우선순위 범위, 락 프로토콜의 사용 가이드도 문서화할 필요가 있다.
Eclipse Papyrus와 MARTE 프로파일, Time4Sys/Cheddar/MAST 조합을 사용할 수 있으며 버전 호환성 최신 정보 확인이 필요하다. CI에는 단위 검사와 스테레오타입 누락 탐지를 포함한 모델 검증 파이프라인을 통합한다.
분석과 설계를 결합하고 재사용성과 품질 가시성을 얻는 대신, 프로파일 학습 곡선, 변환 규칙 유지보수, 도구 간 메타모델 불일치 처리 비용이 따른다. 파일럿 범위에서 NFP 템플릿, 툴체인, 검증 규칙을 내재화한 후 확장하는 접근이 적절하다.