KSC 2020
Current Result Document :
| 한글제목(Korean Title) |
시스템 오브 시스템즈의 런타임 검증 속성 명세 유형 분석 및 적용 |
| 영문제목(English Title) |
Analysis and Application of Runtime Verification Property Specification Patterns of System of Systems |
| 저자(Author) |
조은호
박수민
배두환
Eunho Cho
Sumin Park
Lingjun Liu
Chua Kiat Kian Anthony
Doo-Hwan Bae
|
| 원문수록처(Citation) |
VOL 47 NO. 02 PP. 0168 ~ 0170 (2020. 12) |
한글내용
(Korean Abstract) |
시스템 오브 시스템즈(System-of-Systems, SoS)는 독립성을 가진 구성 시스템(Constituent System, CS)으로 이루어진 복합적인 시스템으로, 복잡성이 높아 검증을 진행하는 것이 매우 어렵다. 특히, 정형 검증 기법, 정리 증명, 모델 체킹과 같은 검증 방식은 상태 폭발 문제가 발생하여, 검증 시간이 오래 걸리고, 효율성이 떨어진다. 반면, 런타임 검증은 모델을 고려하지 않고 시스템의 실행만 고려하므로, 기존 검증 기법보다 빠르게 검증이 가능하다. 시스템 오브 시스템의 런타임 검증을 체계적으로 진행하기 위해 필요한 검증 속성 명세 유형과 그 적용에 관한 연구는 활발히 이루어지지 않은 상황이다. 따라서, 본 연구에서는 명세 유형을 분석하여 SoS에 사용하기 적합한 런타임 검증 속성 명세 유형을 제시한다. 또한, 정립된 명세 유형을 SoS의 시뮬레이션 도구에 적용하고, 오류 모델을 통한 런타임 검증 결과의 분석과 검증 오버헤드의 분석를 제시함으로써, SoS의 런타임 검증 속성 명세 유형을 통한 런타임 검증이 효과적임을 보인다.
|
영문내용
(English Abstract) |
|
| 키워드(Keyword) |
|
| 파일첨부 |
PDF 다운로드
|
