SysML로 요구사항과 설계를 연결하는 MBSE 모델링

요구사항과 설계가 분리될 때 생기는 추적의 공백

복잡한 멀티도메인 시스템에서는 요구사항, 구조, 행위, 성능 제약을 각각의 문서로 관리하기 쉽다. 문제는 변경이 발생했을 때다. 어떤 요구가 어느 구조와 행위에 반영됐는지, 검증은 어디까지 연결됐는지 확인하기 어려워진다.

SysML(System Modeling Language)은 이 연결을 정형화된 모델로 다루기 위한 OMG(Object Management Group) 표준 모델링 언어다. UML을 기반으로 하되 기계·전자·소프트웨어·인간·절차를 포함하는 시스템 도메인까지 표현 범위를 넓힌 프로파일이다. 요구사항, 구조, 행위, 성능 및 물리 제약을 포괄하는 9개 다이어그램 체계로 모델 기반 시스템 엔지니어링(MBSE)을 뒷받침한다.

산업 현장에서는 SysML v1.x가 활용되고 있다. SysML v2는 메타모델, 텍스트 표기, API 개선을 중심으로 진행 중이며, 실제 적용 여부는 도구 성숙도에 달려 있다.

모델 안에서 구조·행위·제약을 연결하는 방식

시스템 분해와 인터페이스는 Block, Part, Port로 표현한다. ValueType, Unit, Dimension은 물리량 명세에 사용한다. 요구사항은 Requirement로 모델링하고 Satisfy, Verify, Refine, Trace 관계를 통해 충족 경로를 남긴다. 수치 제약과 성능 식, 할당 제약은 Constraint와 Parametric 관계로 다룬다.

BDD와 IBD는 정적 구조 및 연결 관계를, Activity·Sequence·State는 행위와 상태 전이를 나타낸다. Requirement와 Parametric 다이어그램은 규정과 지표를 모델에 결합한다. Allocate, Derive, Decompose 관계를 적용하면 구조·행위·요구사항 사이의 트레이스 경로가 형성되어 모델 기반 영향 분석을 자동화하기 쉬워진다.

대규모 모델에서는 Package, Import, Generalization을 이용해 모델을 분리하고 재사용 패턴을 구성한다. 안전, 보안, RAMS 같은 도메인 특성은 스테레오타입과 프로파일로 확장하며, 라이브러리와 패턴을 재사용할 수 있다.

설계 산출물과 검증 증적을 같은 생명주기에 둔다

MBSE의 모델은 개념 설계에서 아키텍처 분해, 상세 설계, 검증·확인(V&V)까지 이어진다. 요구사항에서 설계, 시험케이스, 시험결과로 이어지는 트레이서빌리티 매트릭스를 운영하면 검증 증적도 모델의 일부가 된다.

모델 검토(Model Review), 시뮬레이션, 문서 생성 자동화는 형상 기준선을 유지하는 운영 수단이다. XMI, ReqIF, FMI/FMU, CSV/REST API로 요구관리·시험·시뮬레이션 도구를 연계하고, 스크립팅과 자동 생성 파이프라인으로 코드·문서·인터페이스 정의서를 동기화할 수 있다.

협업 환경에서는 중앙 리포지토리(CDO 등), 브랜치와 머지, 모델 락 체계가 필요하다. 모델 차이 및 머지 알고리즘, 규칙 기반 일관성 검사는 충돌을 줄이고, 리뷰 워크플로와 승인 규칙은 기준선의 품질을 뒷받침한다.

시스템 개발 현장에서의 적용 맥락

항공우주·국방 분야에서는 임무 시나리오에서 기능 아키텍처, 물리 분해, 인터페이스 제어문서(ICD) 자동 생성까지 연결할 수 있다. 요구 충족 및 검증 경로를 증빙해 DO-178C/DO-254 연계와 같은 형식 인증도 지원한다.

자동차 E/E 아키텍처에서는 기능안전(ISO 26262) 요구와 시스템 요구를 상호 추적하고, 안전 목표에서 기술 안전 요구로의 할당을 모델로 관리한다. AUTOSAR 및 소프트웨어 아키텍처와 인터페이스를 동기화하고 시험케이스를 자동 파생하는 흐름에도 연결된다.

의료기기와 산업장비에서는 요구·리스크·검증 증적을 하나의 모델로 관리할 수 있다. 문서 패키지 자동 생성은 제출 리드타임 단축에 쓰이며, 변경 영향 분석은 변경통제위원회(CCB)의 의사결정을 지원한다.

모델 일관성 검사가 만드는 효과

초기 모델 일관성 검사를 도입하면 요구 결함 검출률은 2035%p 향상될 수 있다(사례 기반 추정). 설계 후반으로 결함이 전이되는 일을 줄여 총 재작업을 1530% 절감할 수 있다.

문서 자동화와 재사용 패턴을 적용하면 아키텍처 산출물 리드타임은 25~40% 단축된다. 트레이스 간극(Gap)을 실시간으로 가시화하면 감사 준비 기간을 30% 단축할 수 있으며, 표준 패턴과 라이브러리를 도입하면 신모델 초기화 시간을 50% 이상 단축할 수 있다.

변경 요청까지 포함한 모델 운영 흐름

모델링의 입력은 이해관계자 요구, 규제·표준, 기존 인터페이스와 성능 데이터다. 요구 모델링 후 아키텍처를 분해하고, 행위와 제약을 모델링한 뒤 일관성 검사와 검증 연결을 거쳐 기준선을 확정한다. 이 과정의 출력은 트레이스가 완비된 모델, 시험 케이스와 절차, 자동 생성 문서 및 ICD다.

일관성 검사에 실패하면 수정 루프를 돌고, 브랜치 머지 충돌은 모델 Diff/Resolve로 처리한다. 기준선 이전의 변경은 변경요청 승인을 거쳐야 한다. 체크아웃과 락, 편집, 검토, 머지, 일관성 검사, 기준선 확정이 하나의 흐름으로 운영된다.

⤢✕

MBSE 운영 체계에 먼저 정해야 할 규칙

운영모델에는 역할(RACI), 산출물, 게이트 기준을 명시한다. 표준 프로파일과 스테레오타입, 네이밍 및 패키징 규칙, 트레이스 패턴도 이 단계에서 정한다.

도구 측면에서는 모델 리포지토리, 요구도구(ReqIF), 시험관리, 시뮬레이터(FMU)의 연계 구조를 설계한다. CI 파이프라인은 일관성 검사, 문서·ICD 생성, 모델 품질 대시보드 자동화를 담당할 수 있다.

형상 관리에는 GitFlow 유사 브랜치 전략, 락 정책, 코드와 동등 수준의 리뷰 규정을 포함한다. 기준선과 릴리스 태깅, 변경요청 승인 흐름, 감사 로그도 함께 유지한다.

SysML v1.x와 v2를 바라보는 운영 관점

지표	SysML v1.x	SysML v2
표현력	UML 프로파일 기반, 시각 표기 중심. 복합 제약은 도구 의존	새로운 메타모델·텍스트 표기로 간결성/정형성 강화(최신 정보 확인 필요)
확장성	스테레오타입/프로파일로 확장, 대규모시 일관성 관리 부담	API/쿼리/모델 서버 지향으로 대규모 모델 관리 효율 기대
일관성	도구별 XMI 차이로 교환 시 편차 발생	상호운용 표준 개선 예정, 교환 품질 향상 전망(도구 성숙도 의존)
안정성	성숙한 툴체인, 산업 적용 다수	표준·도구 전환기, 조기 적용 리스크 존재
운영 편의	시각 모델 편집 강점, 자동화는 스크립트 의존	텍스트/모델 쿼리 기반 자동화 강화 기대

SysML은 요구사항·구조·행위·제약을 단일 모델로 묶는 MBSE의 실질 표준이다. 초기에는 v1.x 기반으로 방법론과 거버넌스를 정착시키고, v2는 파일럿을 병행해 전환 비용과 효용을 검증하는 접근이 적합하다. 표준 프로파일과 트레이스 패턴, 리포지토리 및 CI 자동화, 리뷰와 기준선 중심의 품질 체계가 함께 갖춰져야 한다.