최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기주관연구기관 | 한국과학기술원 Korea Advanced Institute of Science and Technology |
---|---|
연구책임자 | 고인영 |
참여연구자 | 강성원 , 백종문 , 배두환 , 송준화 , 강승우 , 홍장의 , 유준범 |
보고서유형 | 1단계보고서 |
발행국가 | 대한민국 |
언어 | 한국어 |
발행년월 | 2018-05 |
주관부처 | 과학기술정보통신부 Ministry of Science and ICT |
등록번호 | TRKO201900019464 |
DB 구축일자 | 2020-04-11 |
키워드 | 신뢰성.서비스 컴퓨팅.실패유발 지역화.on-the-fly 검증.산출물 추적성 분석.Reliability.CPS interaction.Failure-inducing localization.On-the-fly verification.Artifact traceability analysis. |
연구목표: 신뢰적이고 안전한 지능형 Cyber-Physical System(CPS) 소프트웨어(SW)의 체계적 개발 및 운용을 위한 SW 공학적 원천기술을 확보하고 개발자 지원 도구를 개발
○ 사용자 중심적 CPS 어플리케이션 개발을 위해 서비스 기반 아키텍처 프레임워크를 개발하고 유연한 CPS 어플리케이션 운용 및 신뢰성 향상 방법 개발
- 사이버, 현실 공간 SW 아키텍처 모델링 기술 개발
- CPS SW의 자원 의존적 특성을 고려한 자산 명세 모델 및 검색 방법 개발
- 가변적 CPS 요소를 고려한
Ⅳ. Research Results
○ CPS application architecture framework, CPS application composition method and CPS application risk prediction model based testing technique
○ Failure-inducing interaction localization technology in CPS application
○ On-the-fly SW development and verification platform
※ AI-Helper는 부적절한 답변을 할 수 있습니다.