디지털트윈 기반 시뮬레이션 및 자율 시스템 검증
디지털트윈 환경에서 복잡·자율 시스템의 동작을 시뮬레이션하고, 신뢰성 및 안전성 검증을 위한 테스트 및 평가 기법을 개발합니다.
연구 자세히 보기주요 연구 과제
산업계와 긴밀히 협력하며 실제 문제를 해결하는 실용적인 연구를 진행합니다. 현재 다음 과제들을 통해 기술 혁신을 이끌고 있습니다.
우리는 소프트웨어의 신뢰성과 안전성을 연구합니다. AI 기반 테스팅, 정적/동적 분석, 모델 기반 검증 등 다양한 기술을 통해 미래 소프트웨어 기술을 선도합니다.
디지털트윈 환경에서 복잡·자율 시스템의 동작을 시뮬레이션하고, 신뢰성 및 안전성 검증을 위한 테스트 및 평가 기법을 개발합니다.
연구 자세히 보기산업계와 긴밀히 협력하며 실제 문제를 해결하는 실용적인 연구를 진행합니다. 현재 다음 과제들을 통해 기술 혁신을 이끌고 있습니다.