BMW 차량 소프트웨어를 위한 객체지향 실시간 개발 방법 BROOM

초록

본 논문은 자동차 전자제어 소프트웨어 개발을 위해 ASCET SD 툴에 최적화된 객체지향 실시간 방법론 BROOM을 제시한다. 기존 ROOM 방법론을 분석·수정하여 프로토타이핑, 시나리오 기반 요구사항 전환, 단계별 모델 검증을 강조하고, BMW의 난방·냉각 제어 시스템 사례를 통해 적용 과정을 상세히 보여준다.

상세 분석

본 연구는 자동차 소프트웨어 개발이라는 특수한 도메인에서 ASCET SD와 같은 모델 기반 개발 툴을 효과적으로 활용하기 위한 방법론적 틀을 제공한다. 먼저, 시장에 존재하는 다양한 실시간 객체지향 방법론을 체계적으로 조사하고, 그 중 ROOM (Real‑Object Oriented Modeling) 이 실시간 제어 시스템에 적합함을 확인한다. ROOM은 액터(actor), 구조(structure), 프로토콜(protocol) 등 명확한 개념 모델을 제공하지만, 원본 방법론은 툴 독립적 설계에 초점을 맞추어 ASCET와 같은 코드 자동 생성 환경에 바로 적용하기엔 부족한 점이 있다.

이에 저자들은 ROOM의 핵심 아이디어를 유지하면서 ASCET의 그래픽 스펙, 자동 코드 생성, 실시간 시뮬레이션 기능을 최대한 활용하도록 BROOM을 설계한다. BROOM의 주요 특징은 다음과 같다.

1. 시나리오 기반 요구사항 정리: 고객 요구를 구체적인 시나리오(예: 버튼 눌림, 온도 변화)로 전환하고, 이를 기반으로 기능적 요구와 비기능적 요구(실시간성, 메모리 제한)를 도출한다.
2. 프로토타이핑 중심 개발: 초기 단계에서 ASCET의 실시간 시뮬레이터를 이용해 최소 기능 프로토타입을 빠르게 구현하고, 물리적 하드웨어 없이도 버튼 입력 등으로 검증한다. 이는 위험을 조기에 발견하고 설계 수정 비용을 최소화한다.
3. 단계적 모델 전환: 시나리오 → 요구사항 모델 → 구조 모델(액터와 포트) → 행동 모델(스테이트머신) → 구현 모델 순으로 진행한다. 각 단계마다 ASCET의 자동 검증 도구(예: 인터페이스 일관성 검사, 코드 생성 후 시뮬레이션)를 적용한다.
4. 하모니와 독립성: 전통적인 V‑모델과 달리 BROOM은 단계 간 강제적인 순서를 완화하고, 필요에 따라 앞뒤 단계로 돌아가며 반복을 허용한다. 이는 복잡한 자동차 전자제어 시스템에서 요구되는 유연성을 제공한다.
5. 툴 친화적 가이드라인: 모델링 가이드북을 통해 ASCET 내에서 객체, 포트, 프로토콜을 어떻게 정의하고, 코드 생성 옵션을 어떻게 설정해야 하는지를 상세히 제시한다.

논문은 이러한 방법론을 실제 BMW 난방·냉각 제어 시스템에 적용한다. 요구사항을 ‘온도 설정 버튼 누름 → 목표 온도 도달 → 히터/쿨러 작동’이라는 시나리오로 분해하고, 액터(컨트롤러, 센서, 액추에이터)와 포트를 정의한다. 이후 상태머신을 설계해 ‘Idle → Heating → Cooling → Error’와 같은 동작을 모델링하고, ASCET에서 자동 생성된 C 코드가 실제 ECU에 탑재될 수 있음을 시연한다.

BROOM은 기존 ROOM의 이론적 강점을 유지하면서, ASCET와 같은 모델 기반 툴의 실용적 기능을 통합함으로써 자동차 소프트웨어 개발의 생산성, 품질, 유지보수성을 크게 향상시킨다. 특히, 프로토타이핑과 반복적 검증을 강조함으로써 전통적인 ‘문서‑코드‑테스트’ 흐름에서 발생하는 지연과 오류를 최소화한다는 점이 큰 의의다.