As explicitly stated in the science

As explicitly stated in the science and technology research agenda for the next 20 years of the US Air Force (USAF), the single greatest technical barrier of autonomous systems consists in developing V&V methods for establishing “certifiable trust in autonomous systems” [13]. Similar conclusions might be found on the second research roadmap of the SEAMS community - “the system itself must ensure that its desired behaviour is not compromised as a result of the adaptation process” [32] - and on the research agenda for assurance at runtime of the M@RT community - "a key challenge for the software engineering community is to develop runtime assurance techniques for self-adaptive systems that provide high performance, high confidence, and reconfigurable operation in the presence of uncertainties".

결과 (한국어) 1:

명시적으로 명시 된 과학 및 기술 연구를 의제에 향후 20 년간의 미국 공군 (USAF), 자율 시스템의 단일 최고의 기술 장벽을 구성 개발 V & V "인정 신뢰 자율 시스템에서"을 구축 하는 방법 [13]. 솔 기 공동체의 두 번째 연구 로드맵 비슷한 결론을 찾을 수 있습니다-"시스템 자체의 원하는 행동 적응 과정 결과로 손상 되지 확인 해야 합니다" [32]--M@RT 커뮤니티의 런타임 시 보증에 대 한 연구를 의제에 "소프트웨어 공학 지역 사회를 위한 핵심 과제는 고성능을 제공 하는 self-adaptive 시스템에 대 한 런타임 보증 기술을 개발 높은 신뢰, 그리고 불확실성의 재구성 작업 ".

결과 (한국어) 2:

명시 적으로 미 공군 (USAF)의 향후 20 년 동안 과학 기술 연구 의제에 언급, 자율 시스템의 하나의 큰 기술적 장벽은 [13] "자율 시스템의 인증이 신뢰"를 설정하는 V & V 방법을 개발에있다. [32] "시스템 자체가 원하는 동작이 적응 과정의 결과로 손상되지 않도록해야한다"- - 비슷한 결론은 솔기 커뮤니티의 두 번째 연구 로드맵에서 찾을 수 있습니다 및 런타임시 보증을위한 연구 의제 M의 @의 RT 커뮤니티 - "소프트웨어 엔지니어링 커뮤니티의 핵심 과제는 불확실성의 존재 고성능, 높은 신뢰성 및 재구성 작업을 제공하는 자기 적응 시스템의 런타임 보증 기술을 개발하는 것입니다."

결과 (한국어) 3:

명문 과학 연구 의사 20년이 미국 공군 (미국 공군) 이 가장 자주 시스템 기술 장벽을 있다 & 발전을 위한 방법 (v) (v) '증명할 수 있는 자주 시스템 믿는다 ".같은 결론을 내릴 수 있을 것을 두 번째 연구 노선 '심 사회 체계 자체를 반드시 좋은 행위 때문에 그 때문에 아직 적응 프로그램' [32] -, 보험 연구 의사 실행 시간 - - "m" 중요한 도전 사회 소프트웨어 공학 사회 발전 런타임 보증 기술시스템 제공 고성능,높은 자신이, 정말 확실하지 "수술.