연구논문 · 게시 2024.01.30 · 프리프린트
사이버물리 시스템의 안전 보증을 위한 관점과 과제
I came, I saw, I certified: some perspectives on the safety assurance of cyber-physical systems
자료 개요
자율주행 등을 포함한 CPS의 안전 논증에서 부족한 근거의 발견, 패턴 활용과 표기법 개선을 다룹니다. 안전 논증 생성의 부분 자동화를 포함해 더 설득력 있는 보증을 위한 연구 방향을 정리합니다.
판본: v1