| 1 |
1
컴퓨터 장치를 통해 구현되는 시뮬레이션 기반 시스템 오브 시스템즈(System-of-Systems, SoS)를 분석하고 검증하는 방법에 있어서, SoS의 분석을 위해 SIMVA-SoS(Simulation-based Verification and Analysis for System of Systems) 시뮬레이터를 이용하여 SoS의 대화형 시뮬레이션(interactive simulation)을 실행하는 단계; 및 상기 SoS의 검증을 위해 SIMVA-SoS 검증기를 이용하여 상기 대화형 시뮬레이션의 결과를 통계적으로 검증하는 단계를 포함하고, 상기 대화형 시뮬레이션을 실행하는 단계는, 상기 SIMVA-SoS 시뮬레이터에서 시뮬레이션이 실행되면 사용자가 정의한 시나리오가 업데이트되고, 사용자가 새로운 시나리오의 주입을 위해 중지 후 시뮬레이션을 재개하면 사용자가 주입하는 새로운 시나리오가 업데이트되며, 상기 새로운 시나리오를 업데이트한 후 시뮬레이션 시간을 1 틱씩 증가시키는 것을 특징으로 하는, 방법
|
| 2 |
2
제1항에 있어서, 상기 대화형 시뮬레이션을 실행하는 단계는, 상기 SIMVA-SoS 시뮬레이터에 SoS 모델, 시나리오 및 자극(stimulus)을 입력하여 대화형 시뮬레이션을 실행하는 것을 특징으로 하는, 방법
|
| 3 |
3
제2항에 있어서,상기 SoS 모델 및 상기 시나리오는 대화형 시뮬레이션을 실행하기 이전에 정의되며, 상기 자극은 대화형 시뮬레이션을 실행하기 이전 또는 도중에 정의되는 것을 특징으로 하는, 방법
|
| 4 |
4
제1항에 있어서,상기 대화형 시뮬레이션을 실행하는 단계는, 사용자가 대화형 시뮬레이션을 위한 사용자 인터페이스를 이용하여 시뮬레이션 중에 자극의 주입을 통해 SoS 모델이나 시나리오를 수정 가능하며, 상기 SIMVA-SoS 시뮬레이터를 통해 SoS 모델이나 시나리오를 변경하면 변경사항이 시뮬레이션에 반영되는 것을 특징으로 하는, 방법
|
| 5 |
5
제1항에 있어서,상기 대화형 시뮬레이션을 실행하는 단계는, 시뮬레이션이 끝나면, 실행 결과가 시뮬레이션 로그 저장부에 저장되는 것을 특징으로 하는, 방법
|
| 6 |
6
삭제
|
| 7 |
7
제1항에 있어서, 상기 대화형 시뮬레이션의 결과를 통계적으로 검증하는 단계는, 검증을 위해 사전에 검증 속성을 규정하며, 통계적 검증 알고리즘이 실행되어 검증 결과가 생성되는 것을 특징으로 하는, 방법
|
| 8 |
8
제1항에 있어서, 상기 대화형 시뮬레이션의 결과를 통계적으로 검증하는 단계는, 통계적 모델 점검(Statistical Model Checking, SMC)을 통해 반복 시뮬레이션 결과를 샘플 데이터로 사용하며, 통계 분석을 통해 SoS의 검증 속성을 만족시킬 확률을 추정하는 것을 특징으로 하는, 방법
|
| 9 |
9
시뮬레이션 기반 시스템 오브 시스템즈(System-of-Systems, SoS)를 분석하고 검증하는 장치에 있어서, SoS의 분석을 위해 SoS의 대화형 시뮬레이션(interactive simulation)을 실행하는 SIMVA-SoS(Simulation-based Verification and Analysis for System of Systems) 시뮬레이터; 및 상기 SoS의 검증을 위해 상기 대화형 시뮬레이션의 결과를 통계적으로 검증하는 SIMVA-SoS 검증기를 포함하고, 상기 SIMVA-SoS 시뮬레이터에서 시뮬레이션이 실행되면 사용자가 정의한 시나리오가 업데이트되고, 사용자가 새로운 시나리오의 주입을 위해 중지 후 시뮬레이션을 재개하면 사용자가 주입하는 새로운 시나리오가 업데이트되며, 상기 새로운 시나리오를 업데이트한 후 시뮬레이션 시간을 1 틱씩 증가시키는 것을 특징으로 하는, 장치
|
| 10 |
10
제9항에 있어서, 상기 SIMVA-SoS 시뮬레이터는, SoS 모델, 시나리오 및 자극(stimulus)을 입력하여 대화형 시뮬레이션을 실행하는 것을 특징으로 하는, 장치
|
| 11 |
11
제10항에 있어서,상기 SoS 모델 및 상기 시나리오는 대화형 시뮬레이션을 실행하기 이전에 정의되며, 상기 자극은 대화형 시뮬레이션을 실행하기 이전 또는 도중에 정의되는 것을 특징으로 하는, 장치
|
| 12 |
12
제9항에 있어서,상기 SIMVA-SoS 시뮬레이터는, 시뮬레이션 중에 자극의 주입을 통해 SoS 모델이나 시나리오를 수정 가능하도록 하는 사용자가 대화형 시뮬레이션을 위한 사용자 인터페이스; 및 SoS 모델이나 시나리오를 변경하면 변경사항이 시뮬레이션에 반영되는 모델 실행부 및 시나리오 실행부를 포함하는, 장치
|
| 13 |
13
제9에 있어서,상기 SIMVA-SoS 시뮬레이터는, 시뮬레이션이 끝나면, 실행 결과가 저장되는 시뮬레이션 로그 저장부를 포함하는, 장치
|
| 14 |
14
제9항에 있어서, 상기 SIMVA-SoS 검증기는, 검증을 위해 사전에 검증 속성을 규정하는 속성 점검부; 및 통계적 검증 알고리즘이 실행되어 검증 결과가 생성되는 통계적 모델 점검부를 포함하는, 장치
|
| 15 |
15
제9항에 있어서, 상기 SIMVA-SoS 검증기는, 통계적 모델 점검(Statistical Model Checking, SMC)을 통해 반복 시뮬레이션 결과를 샘플 데이터로 사용하며, 통계 분석을 통해 SoS의 검증 속성을 만족시킬 확률을 추정하는 것을 특징으로 하는, 장치
|
