Autonomous Robotic Swarms: A Corroborative Approach for Verification and Validation
Created by
- Haebom
Category
Empty
저자
Dhaminda B. Abeywickrama, Suet Lee, Chris Bennett, Razanne Abu-Aisheh, Tom Didiot-Cook, Simon Jones, Sabine Hauert, Kerstin Eder
개요
본 논문은 자율 로봇 군집의 안전성 확보를 위한 검증 및 확인(V&V) 방법으로서, 거시적 형식 모델링, 저 충실도 시뮬레이션, 고 충실도 시뮬레이션 및 실제 로봇 단계에서 정의된 자율 로봇 군집에 대한 협력적 접근 방식을 제안한다. 형식적 검증에 사용되는 거시적 형식 모델은 실제 시뮬레이션에서 파생된 데이터를 특징으로 하여 다양한 군집 시스템 모델 간의 정확성과 추적성을 보장한다. 또한, 형식적 검증과 시뮬레이션, 실제 로봇을 사용한 실험적 검증을 결합하여 각 방법을 개별적으로 사용하는 것과 달리 증거에 대한 신뢰도를 높이는 협력적 V&V 접근 방식을 제시한다. 공용 탈의실에서 작동하는 로봇 군집을 중심으로 한 사례 연구를 통해 이 접근 방식을 탐구한다.
시사점, 한계점
•
시사점:
◦
자율 로봇 군집의 안전성 확보를 위한 새로운 협력적 V&V 접근 방식 제시
◦
형식적 검증, 시뮬레이션, 실제 로봇 실험의 통합을 통한 증거 신뢰도 향상
◦
거시적 형식 모델과 시뮬레이션 데이터의 통합으로 모델 정확성 및 추적성 확보
◦
실제 환경(공용 탈의실)을 고려한 사례 연구를 통해 접근 방식의 실용성 검증
•
한계점:
◦
제안된 접근 방식의 일반화 가능성 및 다양한 로봇 군집 시스템에 대한 적용 가능성에 대한 추가 연구 필요
◦
사례 연구의 범위가 제한적이며, 더욱 다양하고 복잡한 시나리오에 대한 검증 필요
◦
고 충실도 시뮬레이션 및 실제 로봇 실험의 비용 및 시간 소모 문제 고려 필요
