연구논문 · 게시 2022.10.13 · 프리프린트
자동화 주행 Safety Case에 증거를 제공하는 형식기법
A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases
자료 개요
이 논문은 피드백 루프 구성요소에 기능 안전 요구사항을 올바르게 분해했다는 증거를 형식기법으로 제공한다. 증명된 모델을 구성요소 요구사항으로 사용하는 safety case 논증 구조를 설명한다.
원문 저자 기재 정보
arXiv의 저자 기재 정보입니다.
8 pages, 3 figures. This work has been submitted to the IEEE for possible publication
판본: v1