KR102043075B1 - 모델 변경 분석을 통한 모델 검증 방법 및 모델 검증 장치 - Google Patents

Abstract

본 발명의 일 실시예에 따른 모델 변경 분석을 통한 모델 검증 방법은 모델 변경을 감지하는 모델 변경 감지 단계, 상기 변경된 모델을 기존 모델과 비교하여 상기 변경된 모델을 분석하는 모델 변경 분석 단계 및 상기 변경된 모델만을 검증하는 모델 부분 검증 단계를 포함하며, 상기 변경된 모델 및 상기 기존 모델은 각각 기능적으로 관련 있는 기능 블록들의 계층적 그룹화를 통한 서브시스템 단위로 정의되는 것을 특징으로 한다.

Description

모델 변경 분석을 통한 모델 검증 방법 및 모델 검증 장치{MODEL VERIFICATION METHOD THROUGH MODEL CHANGE ANALYSIS AND MEDEL VERIFICATION APPARATUS USING THE SAME}

본 발명은 모델 변경 분석을 통한 모델 검증 방법 및 모델 검증 장치에 관한 것으로, 보다 구체적으로 변경된 모델을 기존 모델과 비교하여 변경된 모델만을 선별적으로 검증함으로써 대규모로 설계된 모델을 검증하는 시간을 단축하기 위한 모델 변경 분석을 통한 모델 검증 방법 및 모델 검증 장치에 관한 것이다.

IT 기술의 급격한 발달로 인하여 소프트웨어의 규모는 커지고 복잡성은 점차 증가하였다. 이로 인해, 소프트웨어의 유지보수 비용이 증가하게 되는데, 일반적으로 소프트웨어의 전체 생명 주기 중 유지보수 단계에서의 소요비용은 전체 소프트웨어 개발 비용의 약 60%를 차지한다. 따라서, 비용의 관점에서 본다면, 전체 소프트웨어의 개발 비용을 감소시키기 위해서는 유지보수에 소요되는 비용을 감소시키는 방법이 반드시 이루어져야 한다.

소프트웨어 개발 및 유지보수 비용을 줄이기 위하여 모델을 기반으로 개발하는 모델 기반 개발 (Model-based Development, MBD)이 도입되게 되었다. 그런데, 모델 기반 개발에서는, 설계된 모델의 규모가 커질수록 검증에 소요되는 시간도 증가하게 된다. 또한, 대규모 모델의 경우, 수정된 부분이 어디인지를 모르는 경우도 있다. 위와 같은 문제가 발생하면 개발에 대한 시간적 비용이 증가하게 된다.

본 발명은 상기 문제점을 해결하기 위해 도출된 것으로, 변경된 모델을 기존 모델과 비교하여 변경된 모델만을 선별적으로 검증함으로써 대규모로 설계된 모델을 검증하는 시간을 단축하는 것을 목적으로 한다.

본 발명의 실시예에 따른 모델 변경 분석을 통한 모델 검증 방법은 모델 변경을 감지하는 모델 변경 감지 단계, 상기 변경된 모델을 기존 모델과 비교하여 상기 변경된 모델을 분석하는 모델 변경 분석 단계 및 상기 변경된 모델만을 검증하는 모델 부분 검증 단계를 포함하며, 상기 변경된 모델 및 상기 기존 모델은 각각 기능적으로 관련 있는 기능 블록들의 계층적 그룹화를 통한 서브시스템 단위로 정의되는 것을 특징으로 한다.

본 발명의 다른 실시예에 따른 기록 매체는 상기 방법을 실행하기 위한 컴퓨터 프로그램을 기록하기 위한 컴퓨터 판독 가능한 기록 매체를 포함한다.

본 발명의 또 다른 실시예에 따른 모델 변경 분석을 통한 모델 검증 장치는 모델 변경을 감지하는 모델 변경 감지부, 상기 변경된 모델을 기존 모델과 비교하여 상기 변경된 모델을 분석하는 모델 변경 분석부 및 상기 변경된 모델만을 검증하는 모델 부분 검증부를 포함하고, 상기 변경된 모델 및 상기 기존 모델은 각각 기능적으로 관련 있는 기능 블록들의 계층적 그룹화를 통한 서브시스템 단위로 정의되는 것을 특징으로 한다.

본 발명에 따르면, 변경된 모델을 기존 모델과 비교하여 변경된 모델만을 선별적으로 검증함으로써 대규모로 설계된 모델을 검증하는 시간을 단축할 수 있게 된다.

본 발명에 따르면, 정적 검증을 통하여 모델이 모델링 가이드 라인에 적합하게 설계되었는지 여부를 판별할 수 있게 된다.

도 1은 본 발명의 실시예에 따른 모델 변경 분석을 통한 모델 검증 장치이다.
도 2는 본 발명의 실시예에 따른 모델 변경 분석을 통한 모델 검증 방법에 대한 순서도이다.
도 3은 본 발명의 실시예에 따른 변경된 모델의 서브시스템을 구성하는 기능 블록의 변경 형태에 대한 예시이다.
도 4는 본 발명의 실시예에 따른 모델링 툴 중 하나인 시뮬링크에 대한 예시이다.
도 5는 본 발명의 실시예에 따른 모델링 툴 중 하나인 타겟링크에 대한 예시이다.
도 6 및 도 7은 본 발명의 실시예에 따른 모델링 툴 중 하나인 타겟링크의 기능 블록의 배치된 모델의 형태에 대한 예시이다.

후술하는 본 발명에 대한 상세한 설명은, 본 발명이 실시될 수 있는 특정 실시예를 예시로서 도시하는 첨부 도면을 참조한다. 이들 실시예는 당업자가 본 발명을 실시할 수 있기에 충분하도록 상세히 설명된다. 본 발명의 다양한 실시예는 서로 다르지만 상호 배타적일 필요는 없음이 이해되어야 한다. 예를 들어, 여기에 기재되어 있는 특정 형상, 구조 및 특성은 일 실시예에 관련하여 본 발명의 정신 및 범위를 벗어나지 않으면서 다른 실시예로 구현될 수 있다. 또한, 각각의 개시된 실시예 내의 개별 구성요소의 위치 또는 배치는 본 발명의 정신 및 범위를 벗어나지 않으면서 변경될 수 있음이 이해되어야 한다. 따라서, 후술하는 상세한 설명은 한정적인 의미로서 취하려는 것이 아니며, 본 발명의 범위는, 적절하게 설명된다면, 그 청구항들이 주장하는 것과 균등한 모든 범위와 더불어 첨부된 청구항에 의해서만 한정된다. 도면에서 유사한 참조부호는 여러 측면에 걸쳐서 동일하거나 유사한 기능을 지칭한다.

이하, 첨부되는 도면을 참조하여 본 발명의 실시예에 따른 모델 변경 분석을 통한 모델 검증 방법 및 모델 변경 분석을 통한 모델 검증 장치에 대해 기술하고자 한다.

도 1은 본 발명의 실시예에 따른 모델 변경 분석을 통한 모델 검증 장치이다.

도 1에 도시한 바와 같이, 본 발명의 실시예에 따른 모델 변경 분석을 통한 모델 검증 장치는 입력부(100), 제어부(200), 메모리부(300), 출력부(400)를 포함할 수 있다.

본 발명의 실시예에 따른 모델링 툴을 이용한 모델링 장치(1)는 운영체제에 의해 구동되고, 소프트웨어의 설치 및 편집이 가능한 장치로서, 프로그램 모듈 또는 하드웨어들을 포함한다. 메모리부(300)를 구비하고 마이크로 프로세서(이하, 제어부(200)라 한다)를 탑재하여 연산 능력을 갖춘 기기라면 얼마든지 본 발명의 실시예에 따른 모델링 툴을 이용한 모델링 장치(1)로서 이용될 수 있다. 예를 들어, 데스크탑(desktop) 컴퓨터, 노트북(notebook) 컴퓨터, PDA(Personal Digital Assistant) 및 스마트폰(smart phone)과 같은 전자 장치일 수 있다.

입력부(100)는 사용자가 컴퓨팅 시스템을 조작할 수 있도록 하는 입력 경로가 되는 것으로, 키보드, 마우스, 포인팅 장치, 터치 스크린 등을 포함할 수 있다. 본 발명의 경우, 모델링 툴의 기능 블록과 관련된 배열 정보는 입력부(100)를 통해 입력되고, 제어부(200)는 입력부(100)로부터 모델링 툴 기능 블록에 대한 배치 정보를 수신하게 되며, 해당 배치 정보가 출력부(400)를 통해 출력될 수 있다.

제어부(200)는 입력부(100), 메모리부(300), 출력부(400)와 연동되어 모델 변경 분석을 통한 모델 검증 장치를 제어하는 것으로, 본 발명의 일 실시예에 따라 모델 변경 감지부(210), 모델 변경 분석부(220), 모델 부분 검증부(230)를 포함할 수 있다. 블록도 내의 각 구성요소에 대해서는 이하에서 자세하게 후술한다.

메모리부(300)는 모델 변경 분석을 통한 모델 검증 장치의 다양한 정보를 저장한다. 메모리부(300)는 모델 변경 분석을 통한 모델 검증 장치에서 구동되는 다수의 응용 프로그램(application program 또는 애플리케이션(application)), 모델 변경 분석을 통한 모델 검증 장치의 동작을 위한 데이터들, 명령어들을 저장할 수 있다. 이러한 응용 프로그램 중 적어도 일부는, 무선 통신을 통해 외부 서버로부터 다운로드 될 수도 있다. 또한, 본 발명의 일 실시예에 따라 메모리부(300)는 각종 수식 데이터베이스와 시뮬링크나 타켓링크 등의 모델링 툴을 저장할 수 있다.

출력부(400)는 터치스크린, 모니터 등을 포함하며, 제어부(200)를 통해 처리된 결과를 디스플레이할 수 있다. 특히, 본 발명에 따르면 모델링 결과를 렌더링하여 사용자에게 출력할 수 있다.

지금까지는 본 발명의 실시예에 따른 모델 변경 분석을 통한 모델 검증 장치의 구성을 기술하였으며, 하기에서 모델 변경 분석을 통한 모델 검증 방법에 대해서 기술하고자 한다.

도 2는 본 발명의 실시예에 따른 모델 변경 분석을 통한 모델 검증 방법에 대한 순서도이다.

도 2a에 도시한 바와 같이, 본 발명의 실시예에 따른 모델 변경 감지부(210)는 소스코드에 있는 정보가 표현된 모델의 변경을 감지할 수 있다(S210). 예를 들어, 도 2b에 도시한 바와 같이, 모델로 구성된 파일의 변경 시각이 기존 모델 검증 시각과 비교하여 다른 경우, 모델이 변경된 것으로 감지할 수 있다.

모델 변경 분석부(220)는 변경된 모델을 기존 모델과 비교하여 변경된 모델을 분석할 수 있다(S220). 본 발명의 실시예에서 변경된 모델 및 기존 모델은 각각 기능적으로 관련 있는 기능 블록들의 계층적 그룹화를 통한 서브시스템 단위로 정의된다. 구체적으로, 도 2b에 도시한 바와 같이, 변경된 모델은 서브시스템1, 서브시스템2를 포함하고, 기존 모델은 서브시스템1', 서브시스템2'를 포함한다. 모델 변경 분석부(220)는 변경된 모델의 적어도 하나의 제 1 서브시스템(서브시스템1, 서브시스템2..)과 기존 모델의 적어도 하나의 제 2 서브시스템(서브시스템1', 서브시스템2'..)을 상호 비교하여, 제 2 서브시스템과 불일치하는 제 1 서브시스템을 찾을 수 있다. 도 2b에서 모델 변경 분석부(220)는 서브시스템1은 서브시스템1'와 비교하여 변경된 부분이 없으며, 서브시스템2는 서브시스템2'와 비교하여 변경된 부분이 있는 것으로 분석하였다. 이러한 모델 변경 분석은 제 1 서브시스템(서브시스템1, 서브시스템2..)을 구성하는 제 1 기능 블록들과 제 2 서브시스템(서브시스템1', 서브시스템2'..)을 구성하는 제 2 기능 블록들을 각각 기능 블록 단위로 비교함으로서, 수행될 수 있다. 구체적으로, 모델 변경 분석부(220)는 서브시스템2를 구성하는 제 1 기능 블록의 서브시스템2'를 구성하는 제 2 기능 블록을 기준으로 한 속성 변경, 위치 변경, 및 새로운 제 1 기능 블록의 생성 중 적어도 하나에 따라 서브시스템2'와 불일치하는 서브시스템2를 찾을 수 있다. 예를 들어, 도 3a에 도시한 바와 같이, 변경된 모델의 서브시스템2(b)를 구성하는 제 1 기능 블록(int)의 속성 중 하나인 데이터 타입이 A'(int16)로써, 기존 모델의 서브시스템2'(a)를 구성하는 제 2 기능 블록(int)의 데이터 타입인 A(boolean)로부터 해당 속성이 변경된 것을 알 수 있다. 또한, 도 3b에 도시한 바와 같이, 변경된 모델의 서브시스템2(b)를 구성하는 제 1 기능 블록(B')이 기존 모델의 서브시스템2'(a)를 구성하는 제 2 기능 블록(B)으로부터 해당 기능 블록의 위치가 변경된 것을 알 수 있다. 그리고, 도 3c에 도시한 바와 같이, 변경된 모델의 서브시스템2(b)를 구성하는 새로운 제 1 기능 블록(C')이 기존 모델의 서브시스템2'(a)를 구성하는 기능 블록들 이외에 새롭게 형성됨을 알 수 있다.

모델 변경 분석부(220)에 의해 변경된 모델을 분석하면, 모델 부분 검증부(230)에 의해 변경된 모델만을 검증하는 단계를 수행할 수 있다(S230). 즉, 도 2b에 도시한 바와 같이, 제 2 서브시스템(서스시스템2')과 불일치하는 제 1 서브시스템(서브시스템2)에 대해서만 상기 모델의 설계가 정상적으로 이루어졌는지에 대한 규칙검사(정적 분석)를 수행할 수 있다. 제 1 서브시스템에 대한 정적 분석은 MAAB, HIS, MISRA AC SLSF, MISRA AC TL, DSPACE 등의 모델링 가이드 라인을 준수하였는지 여부를 판단하여 수행될 수 있다. 예를 들어, MISRA AC SLSF 029 규칙에 따르면, 임의의 신호선을 다른 선 위에 배치하면 오류가 발생할 수 있다.

본 발명의 실시예에 따른 모델은 소정의 플랫폼 기반 하에서, 상기 기능 블록들을 포함하는 라이브러리로 구성된 시뮬레이션 모델링 툴인 시뮬링크(simulink)로 생성된 모델 또는 상기 시뮬링크(simulink)를 기반으로 생성된 타겟링크(targetlink)로 생성된 모델을 포함할 수 있다. 시뮬링크는 멀티 도메인 동적 시스템의 모델링, 시뮬레이팅, 그리고 분석을 위한 그래픽 프로그래밍 환경이고, 타겟링크는 시뮬링크에 기초한 자동 코드 생성 소프트웨어이다. 구체적으로, 시뮬링크란, 예를 들어, MATLAB이라는 플랫폼 기반 하에서, 도 4에 도시한 바와 같은 적어도 하나의 기능 블록(4010a, 4010b 등)을 포함하는 라이브러리(4000)를 포함하는 시뮬레이션 모델링 툴이다. 또한, 타겟링크는 시뮬링크를 기반으로 생성된 시뮬레이션 모델링 툴 중 하나로서, 도 5에 도시한 바와 같은 적어도 하나의 기능 블록(5010a, 5010b 등)을 포함하는 라이브러리(5000)를 포함하는 시뮬레이션 모델링 툴이다. 다시 말해, 타겟링크는 자동 코드 생성을 위한 소프트웨어로 시뮬링크와 MATLAB 이라는 플랫폼 기반하에서 동작하는 시뮬레이션 모델링 툴로 정의될 수 있다. 예를 들어, 도 5에서는 Sum을 나타내는 기능 블록(5010a)과 Gain을 나타내는 기능블록(5010b)을 도시하였으며, 도 5의 나머지 기능 블록도 해당 기능을 자세히 기술하지는 않으나, 본 발명의 타겟링크를 구성하는 기능 블록으로써, 본 발명에 적용될 수 있음은 자명하다. 또한, 본 발명은 전술한 시뮬링크 이외에도 시뮬링크 코더(Simulink Coder), 임베디드 코더(Embedded Coder), 또는 Simulink HDL Coder 등에도 적용될 수 있으며, 전술한 타겟링크 이외에도 LabView, System View, Signal Processing Workstation, HyperSignal, COSSAP, Ptolemy 등에도 동일/유사하게 적용될 수 있다.

사용자는 도 6 내지 도 7에 도시한 바와 같이 MATLAB 플랫폼의 사용자 인터페이스를 통해 타겟링크의 기능 블록을 배치할 수 있고, 화살표와 같이 그 처리의 흐름을 지정하는 것에 의해, 사용자 입력이 수신될 수 있으며, 사용자에 의해 입력된 정보를 사용하여 모델링을 함으로써 모델링 결과(6000, 7000)가 생성될 수 있다. 사용자 인터페이스는 GUI tool로써 블록 팔레트(palette), 선 연결 툴, 속성 편집 툴 등을 포함할 수 있다. 구체적으로, 메모리부(300)에 저장된 MATLAB 플랫폼의 GUI tool을 이용하여 타겟링크의 기능 블록과 관련된 배치 정보가 사용자에 의해 입력된 후, 이는 메모리부(300)에 저장되고, 제어부(200)는 메모리부(300)에 저장된 타겟링크의 기능 블록에 대한 배치 정보를 메모리부(300)로부터 독출할 수 있다.

시뮬링크는, 기능 블록(4010a, 4010b 등)의 블록 선도가 작성되면 임베디드 코딩을 통해 C 언어의 소스 코드로 변환될 수 있으며, 타겟링크는 기능 블록(5010a, 5010b 등)의 블록 선도가 작성되면 임베디드 코딩(또는 임베디드 코더) 없이 자체 코드 변환으로 C 언어의 소스 코드가 생성될 수 있다.

이상 설명된 실시 형태는 다양한 컴퓨터 구성요소를 통하여 실행될 수 있는 프로그램 명령어의 형태로 구현되어 컴퓨터로 판독가능한 기록매체에 기록될 수 있다. 상기 컴퓨터로 판독가능한 기록매체는 프로그램 명령어, 데이터 파일, 데이터 구조 등을 단독으로 또는 조합하여 포함할 수 있다.

상기 컴퓨터로 판독가능한 기록매체에 기록되는 프로그램 명령어는 본 발명을 위하여 특별히 설계되고 구성된 것들이거나 컴퓨터 소프트웨어 분야의 당업자에게 공지되어 사용 가능한 것일 수도 있다.

컴퓨터로 판독가능한 기록매체의 예에는, 하드 디스크, 플로피 디스크 및 자기 테이프와 같은 자기 매체, CD-ROM, DVD와 같은 광기록 매체, 플롭티컬 디스크(floptical disk)와 같은 자기-광 매체(magneto-optical media), 및 ROM, RAM, 플래시 메모리 등과 같은 프로그램 명령어를 저장하고 실행하도록 특별히 구성된 하드웨어 장치가 포함된다. 프로그램 명령어의 예에는, 컴파일러에 의해 만들어지는 것과 같은 기계어 코드뿐만 아니라 인터프리터 등을 사용해서 컴퓨터에 의해서 실행될 수 있는 고급 언어 코드도 포함된다. 상기 하드웨어 장치는 본 발명에 따른 처리를 실행하기 위해 하나 이상의 소프트웨어 모듈로서 작동하도록 구성될 수 있으며, 그 역도 마찬가지이다.

본 명세서의 양상들은 전체적으로 하드웨어, 전체적으로 소프트웨어 (펌웨어, 상주 소프트웨어, 마이크로 코드 등을 포함 함) 또는 컴퓨터 판독 가능 프로그램 코드가 구현 된 하나 이상의 컴퓨터 판독 가능 매체에 구현 된 컴퓨터 프로그램 제품의 형태를 취할 수 있다.

이상에서 실시예들에 설명된 특징, 구조, 효과 등은 본 발명의 하나의 실시예에 포함되며, 반드시 하나의 실시예에만 한정되는 것은 아니다. 나아가, 각 실시예에서 예시된 특징, 구조, 효과 등은 실시예들이 속하는 분야의 통상의 지식을 가지는 자에 의해 다른 실시예들에 대해서도 조합 또는 변형되어 실시 가능하다. 따라서 이러한 조합과 변형에 관계된 내용들은 본 발명의 범위에 포함되는 것으로 해석되어야 할 것이다.

또한, 이상에서 실시예를 중심으로 설명하였으나 이는 단지 예시일 뿐 본 발명을 한정하는 것이 아니며, 본 발명이 속하는 분야의 통상의 지식을 가진 자라면 본 실시예의 본질적인 특성을 벗어나지 않는 범위에서 이상에 예시되지 않은 여러 가지의 변형과 응용이 가능함을 알 수 있을 것이다. 예를 들어, 실시예에 구체적으로 나타난 각 구성 요소는 변형하여 실시할 수 있는 것이다. 그리고 이러한 변형과 응용에 관계된 차이점들은 첨부된 청구 범위에서 규정하는 본 발명의 범위에 포함되는 것으로 해석되어야 할 것이다.

Claims (9)

1. 모델 변경을 감지하는 모델 변경 감지 단계;
   상기 변경된 모델을 기존 모델과 비교하여 상기 변경된 모델을 분석하는 모델 변경 분석 단계; 및
   상기 변경된 모델만에 대한 검증을 통해, 상기 변경된 모델이 정상적으로 설계되었는지 여부에 대한 정적 분석을 수행하기 위한 모델 부분 검증 단계;를 포함하며,
   상기 변경된 모델 및 상기 기존 모델은 각각 기능적으로 관련 있는 기능 블록들의 계층적 그룹화를 통한 서브시스템 단위로 정의되고,
   상기 모델 변경 분석 단계에서는,
   상기 변경된 모델의 제 1 서브시스템과 상기 변경된 모델의 제1 서브시스템에 대응하는 상기 기존 모델의 제 2 서브시스템을 상호 비교하여, 상기 제 2 서브시스템과 불일치하는 상기 제1 서브시스템을 찾는 과정을 수행하고,
   상기 제 1 서브시스템을 구성하는 제 1 기능 블록들과 상기 제 2 서브시스템을 구성하는 제 2 기능 블록들을 각각 기능 블록 단위로 비교하고,
   상기 제 1 기능 블록의 상기 제 2 기능 블록을 기준으로 한 속성 변경, 위치 변경, 및 새로운 제 1 기능 블록으로서의 생성 중 어느 하나에 해당되는지에 따른 판단을 기초로, 상기 제 2 서브시스템과 불일치하는 상기 제 1 서브시스템을 찾는,
   모델 변경 분석을 통한 모델 검증 방법.
   
2. 삭제
3. 삭제
4. 삭제
5. 삭제
6. 제 1항에 있어서,
   상기 모델 변경 감지 단계는,
   상기 모델로 구성된 파일의 변경 시각이 상기 기존 모델의 검증 시각과 비교하여 다른 경우, 상기 모델이 변경된 것으로 감지하는, 모델 변경 분석을 통한 모델 검증 방법.
   
7. 제 1항에 있어서,
   상기 모델은 소정의 플랫폼 기반 하에서, 상기 기능 블록들을 포함하는 라이브러리로 구성된 시뮬레이션 모델링 툴인 시뮬링크(simulink)로 생성된 모델 또는 상기 시뮬링크(simulink)를 기반으로 생성된 타겟링크(targetlink)로 생성된 모델을 포함하는, 모델 변경 분석을 통한 모델 검증 방법.
   
8. 제 1항, 제 6항, 및 제 7항 중 어느 한 항에 따른 방법을 실행하기 위한 컴퓨터 프로그램을 기록하기 위한 컴퓨터 판독 가능한 기록 매체.
   
9. 모델 변경을 감지하는 모델 변경 감지부;
   상기 변경된 모델을 기존 모델과 비교하여 상기 변경된 모델을 분석하는 모델 변경 분석부; 및
   상기 변경된 모델만에 대한 검증을 통해, 상기 변경된 모델이 정상적으로 설계되었는지 여부에 대한 정적 분석을 수행하기 위한 모델 부분 검증부;를 포함하고,
   상기 변경된 모델 및 상기 기존 모델은 각각 기능적으로 관련 있는 기능 블록들의 계층적 그룹화를 통한 서브시스템 단위로 정의되고,
   상기 모델 변경 분석부는,
   상기 변경된 모델의 제 1 서브시스템과 상기 변경된 모델의 제1 서브시스템에 대응하는 상기 기존 모델의 제 2 서브시스템을 상호 비교하여, 상기 제 2 서브시스템과 불일치하는 상기 제 1 서브시스템을 찾는 과정을 수행하고,
   상기 제 1 서브시스템을 구성하는 제 1 기능 블록들과 상기 제 2 서브시스템을 구성하는 제 2 기능 블록들을 각각 기능 블록 단위로 비교하며,
   상기 제 1 기능 블록의 상기 제 2 기능 블록을 기준으로 한 속성 변경, 위치 변경, 및 새로운 제 1 기능 블록으로서의 생성 중 어느 하나에 해당되는지에 따른 판단을 기초로, 상기 제 2 서브시스템과 불일치하는 상기 제 1 서브시스템을 찾는,
   모델 변경 분석을 통한 모델 검증 장치.

Images