Detailed Information
Cited 0 time in 
Cited 0 time in 
Cited 0 time in
Metadata Downloads
ROS 기반 경로계획 시스템의 실시간 요구 사항 분석Real-time Requirements Analysis of ROS-based Path Planning Systems
- Other Titles
- Real-time Requirements Analysis of ROS-based Path Planning Systems
- Issue Date
- Mar-2025
- Publisher
- 한국정보과학회
- Keywords
- formal methods; model checking; path planning; real-time system; ROS2; 정형 기법; 모델체킹; 경로계획; 실시간 시스템; ROS2
- Citation
- 정보과학회 컴퓨팅의 실제 논문지, v.31, no.3, pp 123 - 128
- Pages
- 6
- Indexed
- KCI
- Journal Title
- 정보과학회 컴퓨팅의 실제 논문지
- Volume
- 31
- Number
- 3
- Start Page
- 123
- End Page
- 128
- ISSN
- 2383-6318
2383-6326
- Abstract
- 로봇 소프트웨어의 안정성과 신뢰성을 보장하기 위해 개발 단계에서 정형 검증 기법을 적용하는 노력이 증가하고 있다. 본 논문에서는 Timed Automata를 사용하여 ROS 기반의 경로계획 알고리즘을 포함한 로봇 제어 소프트웨어의 동작을 모델링하고 계산된 경로의 안전성을 모델체킹으로 정형 검증하는 방법을 제안한다. 경로의 계산 과정은 ROS2의 Data Distribution Service(DDS)가 제공하는 게시 및 구독 모델과 로봇이 주행하는 환경에 영향을 받는다. 따라서 본 논문은 경로계획 알고리즘, DDS, 동작 환경이 상호 작용하며 동작하는 통합된 모델을 제시한다. 또한 경로계획 알고리즘의 안전성(예: 충돌 회피)과 DDS를 포함한 통합 모델의 신뢰성과 같은 실시간 요구사항을 명세하고 모델체킹하는 방법을 다룬다.
- Files in This Item
- There are no files associated with this item.
- Appears in
Collections - 공학계열 > AI융합공학과 > Journal Articles
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.