On-the-fly Verification

신뢰적인 지능형 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와 안전 생명주기간 추적성 프레임워크 정의

상세 내용

• 보고서