인문학
사회과학
자연과학
공학
의약학
농수해양학
예술체육학
복합학
DBpia AI
AI 에이전트
AI 아이디어
AI 리더
AI 뷰어
Citeasy
크롬 서지관리 다운로드
지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 저자정보
피인용 0
초록·키워드
로봇 소프트웨어의 안정성과 신뢰성을 보장하기 위해 개발 단계에서 정형 검증 기법을 적용하는 노력이 증가하고 있다. 본 논문에서는 Timed Automata를 사용하여 ROS 기반의 경로계획 알고리즘을 포함한 로봇 제어 소프트웨어의 동작을 모델링하고 계산된 경로의 안전성을 모델체킹으로 정형 검증하는 방법을 제안한다. 경로의 계산 과정은 ROS2의 Data Distribution Service(DDS)가 제공하는 게시 및 구독 모델과 로봇이 주행하는 환경에 영향을 받는다. 따라서 본 논문은 경로계획 알고리즘, DDS, 동작 환경이 상호 작용하며 동작하는 통합된 모델을 제시한다. 또한 경로계획 알고리즘의 안전성(예: 충돌 회피)과 DDS를 포함한 통합 모델의 신뢰성과 같은 실시간 요구사항을 명세하고 모델체킹하는 방법을 다룬다.
본문·목차
인공지능 문자 인식 모델을 통해 추출된 텍스트로, 일부 오타나 오류가 포함될 수 있으나 지속적으로 개선 중입니다.
오류를 발견하셨다면 해당 부분을 드래그한 후 ' 를 통해 신고해주세요.
오류를 발견하셨다면 해당 부분을 드래그한 후 ' 를 통해 신고해주세요.
최근 본 자료 전체보기
UCI(KEPA) : I410-151-25-02-092468435
