분야별 모델의 자동화된 SysML 기반 검증

문헌에 나타난 분야별 모델(discipline-specific models)의 SysML 기반 검증 사례들은 일반적으로 두 가지 결함을 가지고 있습니다. 첫째, 독점적인 API를 사용하여 특정 도구에 종속적인 방식으로 개발되므로 이식성(portability)이 제한됩니다. 둘째, 파라메트릭 다이어그램(parametric diagrams)을 통해 모델링된 성능 속성에만 집중하여, 검증이 필요한 동작(behavioural) 및 인터페이스(interface) 속성을 간과합니다. 본 프로젝트는 공통적인 SysML 도구 기능과 UML 테스팅 프로파일(UML Testing Profile)을 기반으로 모델 기반 검증(model-based verification)에 맞춤화된 검증 프로세스를 통해 이 문제를 해결합니다. 이 프로세스는 SysML 테스트 케이스로부터 분야별/특화된 모델의 자동화된 검증을 가능하게 하며, 추적성(traceability)을 위해 결과를 SysML 모델로 반환합니다. 문헌 조사와 이해관계자 인터뷰를 결합한 혼합 방법론(mixed-method approach)을 사용하여 검증된 이해관계자의 요구사항을 도출하였으며, 이는 프로세스의 사양 정의 및 설계의 동력이 되었습니다. 이 프로세스는 도구 불가지론(tool-agnosticism)을 입증하기 위해 두 개의 독립적인 SysML 도구 체인(tool-chains)에서 엔드 투 엔드(end-to-end)로 시연되었습니다. 또한, 파라메트릭 접근 방식만으로는 해결할 수 없는 SysML 동작 다이어그램(behavioural diagram) 구성 요소를 사용하여 순서(ordering), 타이밍(timing), 상태 기반 응답(state-based responses)을 포함한 동작 및 인터페이스 요구사항을 검증할 수 있음을 보여주었습니다.