ADAPT 도구: AADL 모델을 GSPN으로 변환하여 신뢰성 분석을 간소화

초록

ADAPT는 OSATE와 연동해 AADL 아키텍처 모델에 의존성 정보를 주석으로 달아 입력하고, 이를 Generalized Stochastic Petri Net(GSPN) 형태로 자동 변환한다. 변환된 GSPN은 XML/XMI 형식으로 제공돼 SURF‑2 등 기존 신뢰성 평가 도구에 바로 활용할 수 있다. 모델‑기반 엔지니어링 흐름에서 신뢰성·가용성 등 정량적 의존성 지표를 손쉽게 산출하도록 지원한다.

상세 분석

본 논문은 모델 기반 개발 환경에서 의존성 평가를 자동화하기 위한 ADAPT 도구의 설계와 구현을 상세히 제시한다. 첫째, 입력 모델은 OSATE 기반 AADL(Architecture Analysis and Design Language)로, 시스템 구성 요소와 인터페이스를 정의하고, 오류 발생률, 복구 시간, 전이 확률 등 의존성 파라미터를 프로파일 형태로 주석한다. 이러한 주석은 AADL 메타모델에 확장된 ‘dependability’ 패키지를 통해 정형화된다. 둘째, ADAPT는 AADL 모델을 파싱한 뒤, 변환 규칙 엔진을 이용해 GSPN 요소(플레이스, 트랜지션, 아크)를 생성한다. 변환 규칙은 AADL 컴포넌트 유형(소프트웨어, 하드웨어, 프로세스)과 연결 구조를 토대로, 오류 전이와 복구 메커니즘을 확률적 타이밍(지수 분포)과 함께 매핑한다. 셋째, 생성된 GSPN은 XML/XMI 스키마에 맞춰 직렬화되며, 이는 SURF‑2와 같은 상용·오픈소스 신뢰성 분석 툴이 직접 읽을 수 있는 포맷이다. 또한, XMI 기반 인터페이스는 다른 도구(예: GreatSPN, TimeNET)로의 변환 파이프라인을 손쉽게 구축하도록 설계되었다. 네번째로, 도구 구조는 모듈화된 플러그인 형태로 구현돼, 새로운 의존성 메트릭이나 확장된 AADL 프로파일을 추가할 때 최소한의 코드 수정만으로 대응 가능하도록 설계되었다. 마지막으로, 사례 연구에서는 항공기 제어 시스템과 전력망 보호 장치 두 개의 실제 AADL 모델을 대상으로 변환 정확도와 성능을 검증하였다. 변환 시간은 수 초 수준이며, SURF‑2를 이용한 신뢰성·가용성 계산 결과는 기존 수동 모델링 방식과 일치함을 보였다. 전체적으로 ADAPT는 모델 기반 설계 단계에서 의존성 분석을 자동화함으로써, 설계자와 신뢰성 엔지니어 간의 협업 비용을 크게 절감하고, 설계 변경 시 재평가를 신속히 수행할 수 있는 기반을 제공한다.