연구논문 · 게시 2018.08.23 · 프리프린트
SOTER: 안전한 로봇 소프트웨어를 위한 Runtime Assurance 프레임워크
SOTER: A Runtime Assurance Framework for Programming Safe Robotics Systems
자료 개요
SOTER는 고성능 제어기·안전 제어기·안전 명세를 선언적으로 결합하는 언어와 RTA 구조를 제공한다. 드론에서 검증한 모듈 조합과 전환 개념은 학습 기반 자동차 제어 안전 구조에도 참고할 수 있다.
판본: v3