项目来源

韩（略）科（略）

项目主持人

김（略）

项目受资助机构

대（略）과（略）원

项目编号

1（略）1（略）4（略）

财政年度

2（略）,（略）3（略）2（略）

立项时间

未（略）

研究期限

未（略） （略）

项目级别

国（略）

受资助金额

5（略）0（略）0（略）韩（略）

学科

未（略）

学科代码

未（略）

基金类别

개（略）연（略）기（略）)

关键词

未（略）

参与者

未（略）

参与机构

未（略）

项目标书摘要：연구（略）지털 트윈 가상 （略）환경에서 동작해야（略）웨어 시스템의 안（略）검증하는 방식이다（略）산업 트렌드로 인（略）들을 개발하여 시（略）성을 검증하는 방（略）있으며,그 예로 （略）ctronic 사（略）MENS 사의 스（略）가 높은 시스템의（略）가하는데 적용 되（略）는 자율주행 소프（略）을 위한 고신뢰도（略）환경 테스트 프레（略）동차 업계에서 P（略）im,Vissim（略）들을 이용하여 가（略）행하고 있으나,자（略）는 안전성 측면에（略） 대한 신뢰성은 （略）예로,가상 환경에（略） 시스템을 테스트（略）일어나지 않았다고（略）을 그대로 물리 （略） 있는가에 대한 （略）적이다.가상 환경（略） 환경에 적용시 （略） 원인에는 여러가（略）에서는 특히 가상（略）을 높이기 위해 （略）소싱 기법을 이용（略）경들을 자동으로 （略） 줄이는 연구를 （略）구 목표로,본 연（略）오 기반(1)정형（略）Formal Te（略）ent Speci（略）2)테스트 커버리（略）rage)/통과 （略）eptance C（略）(3)가상 환경 （略）al Enviro（略）Generatio（略）구를 수행하고,배（略）을 수행한다.  （略）테스트 환경 명세（略）환경 명세는 테스（略） 소프트웨어가 상（略）에 대한 정형적 （略）차선 유지 시스템（略）과 차선 형태를 （略） 환경이며,보행자（略） 경우 교차로와 （略）들이 테스트 환경（略）경 명세는 위의 （略）하게 기술된 운전（略） 표현함으로써 모（略）이다.정형 테스트（略）크라우드소싱을 통（略）오를 대량 수집하（略）화 하며,추후 설（略）와 통과 기준들을（略）수 있고,또한 가（略）를 통해 테스트 （略）대시킬 수 있다.（略）및 통과 기준 개（略） 커버리지는 시스（略）용 중 일어날 수（略）비 실제로 테스트（略） 비율을 수치로 （略） 통과 기준은 주（略）서 테스트가 성공（略） 조건이다.예를 （略）템의 경우 차선 （略） 안전성 테스트가（略）,모든 가능한 차（略） 가지는 테스트 （略）테스트 커버리지를（略）다.자율주행에서는（略）정할 수 없으므로（略） 예시 보다 훨씬（略）리지와 통과 기준（略） 위해 크라우드소（略）및 시간을 절약한（略） 시나리오들이 복（略）,예를 들어 차선（略）시 옆 차선의 차（略） 경우 자동 브레（略）되어야 하는 상황（略）들의 커버리지들의（略）시나리오 커버리지（略）연구한다.3.가상（略）랫폼 개발가상 환（略）소프트웨어 테스트（略） 주어진 테스트 （略）커버리지에 부합(（略）)하는 운전 환경（略）만드는 과정이다.（略） 시스템 테스트 （略）너비 10 에서 （略）은 5 에서 10（略）는 1개에서 8개（略） 현지 교통법에서（略）라고 가정하면,주（略）행하고 있으며,차（略）주황색 실선의 차（略） 가량의 너비를 （略） 환경 명세에 부（略）.이러한 가상 환（略）으로 생성할 경우（略） 명세와 테스트 （略）부를 보이기 어려（略）하며,많은 수의 （略）atic and （略）ects)들을 배（略）동력을 요한다.따（略） 생성 프로토타입（略） 자동 생성된 환（略）명세 및 커버리지（略）,4-5년 차에 （略）통한 배포 가능한（略）한 이 플랫폼으로（略）경들에서 AI 기（略） 테스트를 위한 （略）하기 위해 크라우（略）       미국（略）어 선도기업 Wa（略）-off)는 가상（略）주행 소프트웨어 （略） 적용하고 있으며（略）000,000,0（略） 가상 환경에서 （略）A CEO는 20（略）설에서 인공지능 （略）웨어를 가상환경에（略）할 수 있는 Om（略）을 제공하겠다고 （略）윈,메타버스 같은（略）술을 자율주행 소（略）용하려는 최근 산（略）볼 때 본 연구는（略）다고 할 수 있다（略）18년 Tesla（略） 자율주행 관련 （略）,경계 조건(Co（略） 상황을 검증이 （略） 이들의 명확한 （略） 방식으로 검증을（略） 연구가 매우 부（略）구에서 제안하는 （略）가상 환경 테스트（略）잡한 테스트 시나（略）를 안전하게 수행（略）)대량의 가상환경（略）트 확장성을 높일（略）든 가상 테스트의（略）물으로 저장가능 （略）성 및 반복성을 （略）한 테스트 결과들（略）으로 본다.또한,（略）테스트 플랫폼은 （略）이용하여 다수의 （略）량의 데이터 생성（略）데이터베이스 구축（略）의 데이터를 대중（略）기반의 자율주행 （略） 수 있을 것으로（略）