On-the-fly verification
Development and On-the-fly Verification of System of Systems for Reliable and Intelligent CPS Applications
신뢰적인 지능형 CPS 복합체계 개발 및 On-the-fly 검증기술
과제 수행
- 기관: KAIST
- 수행 기간: 2017~2019
- 역할: Statistical verification, Fault localization
과제 개요
연구 내용
- 1세부: CPS 환경 특성을 고려한 SW 자산 모델링
- CPS에 필요한 다품질속성 도출 및 사이버, 현실공간 SW 아키텍처모델링 기술 개발
- 온톨로지 기반의 CPS SW 자산 명세 모델 정의 및 QoS 기반 CPS SW 자산 검색 방법 개발- 가변적인 CPS 요소를 고려한 CPS 서비스의 위험도 예측 모델 개발
- 2세부: CPS 어플리케이션을 구성하는 이종 요소 간 상호작용 문제 규명
- CPS 어플리케이션 아키텍처 분석을 통한 복잡한 상호작용 계층 분석
- 시나리오 기반 CPS 어플리케이션 내 상호작용 계층별 실패 유발 사례 수집
- 3세부: 신뢰적인 CPS 어플리케이션 개발을 위한 CPS 환경 에뮬레이션 방법 개발
- 초연결, 분산 환경에서 발생하는 CPS 어플리케이션의 다양한 결함 가능성 사례 수집 및특징 조사
- 개발 환경에서 CPS 어플리케이션의 실행 환경을 반복적으로 재현하기 위한 CPS 어플리케이션 에뮬레이터 설계 및 개발
- CPS 예제 어플리케이션 개발 및 검증
- 4세부: CPS 어플리케이션의 분석 및 개발 산출물에 대한 콘텐츠 기반 상관관계 분석
- CPS 어플리케이션 안전성 분석 기법의 Feature 기반 메타 모델 개발
- Feature 모델 기반 모델 요소간의 의미적 관계 정의
- 이종 분석 기법간 시나리오 기반 의미 관계의 일관성 점검
- CPS 어플리케이션의 SDLC와 안전 생명주기 내 산출물간의 수직적/수평적 관계 분석
- CPS 어플리케이션의 SDLC와 안전 생명주기간 추적성 프레임워크 정의
상세 내용