통합 검색 | Korea Science

조수민;김진현;강인혜
- 한국컴퓨터정보학회:학술대회논문집
- /
- 한국컴퓨터정보학회 2023년도 제68차 하계학술대회논문집 31권2호
- /
- pp.511-512
- /
- 2023
자율주행 소프트웨어의 안전성에 대한 요구가 높아짐에 따라 소프트웨어를 개발 시 정형 검증 기법을 적용하여 안전성을 확보하고자 하는 노력이 증가하고 있다. 본 논문에서는 ROS 기반의 자율주행 소프트웨어의 동작을 Timed Automata를 사용하여 모델링하고 그 정확성(실시간적 특성)을 모델체킹을 통해 정형 검증하는 방법을 제시한다. ROS 기반 응용 프로그램의 동작은 ROS가 제공하는 노드 간의 통신에 영향을 받기 때문에 자율주행 소프트웨어뿐 아니라 그 동작에 영향을 끼치는 ROS의 큐를 통한 통신을 통합한 모델을 제시한다. 또한 통합 모델에서 큐 크기, 타임아웃, 프로세스의 주기를 매개 변수로 주어 다양한 조합에 따른 실시간 요구사항의 만족 여부를 검증함으로써 ROS에서 매개 변수 설정 기준을 제시한다.
PDF

박정홍;강민주;김혜진
- 한국항해항만학회:학술대회논문집
- /
- 한국항해항만학회 2022년도 춘계학술대회
- /
- pp.325-326
- /
- 2022
본 연구에서는 자율운항선박이 항만시설 중 정박구역이나 정박지를 항행하는 과정에서 정박 및 묘박 중인 선박들과의 예기치 못한 충돌 사고를 예방하며 안전하게 항행하기 위한 경로 생성 연구를 수행하고 있다. 정박구역과 같은 고밀집 영역 내 정박 또는 묘박 중인 선박들의 안전을 고려하여 자율운항선박의 경로를 생성하는 알고리즘을 설계하는 과정에서 필수적으로 고려되어야 하는 핵심 요소들을 식별하였다. 또한, 식별된 핵심 요소들을 알고리즘에 반영함과 동시에 자율운항선박의 항해 지원 적용 가능성을 검증하기 위한 알고리즘의 프레임워크를 설계하였다. 프레임워크 내 각 모듈별 관계와 모듈별 입출력 정보의 흐름을 체계화하였으며, 모듈들의 기능적 요소를 포함한 주요 성능을 검증하고자 모의 환경 구축을 위한 요소 모듈들을 식별하였다. 이를 기반으로 고밀집 영역 내에서 충돌을 회피하기 위한 경로 생성 알고리즘의 설계 방향성을 제안하였다.
PDF

이지연;손승녀;박지혁;소재현
- 한국ITS학회 논문지
- /
- 제21권1호
- /
- pp.91-104
- /
- 2022
Level 3 자율주행차의 상용화가 가시화됨에 따라 자율주행차의 운행설계영역(ODD)이 고속도로 외 도심도로로 확대될 필요가 있다. 본 연구는 도심도로 내 인프라-자율차 간 협력주행 기반의 자율주행차 서비스에 대한 교통운영효율성 및 안전성 측면의 효과평가를 통해 도심도로 자율협력주행 서비스의 실효성을 분석하였다. 도심도로 자율협력주행 서비스의 구현 및 효과평가는 미시교통시뮬레이션모델을 활용하였으며, 각 서비스별 중점관리목표에 따른 개별적인 효과평가 지표를 선정하여 효과 분석에 활용하였다. 분석 결과, V2X 통신 기반의 자율협력주행 서비스를 통해 자율주행차량의 교통운영 효율성과 안전성이 향상됨을 확인하였고, 그 효과는 자율주행차의 시장점유율이 증가할수록 커지는 것으로 분석되었다. 본 연구는 단속류인 도심도로를 대상으로 V2X 통신 기반의 자율협력주행 서비스의 효과를 도출해낸 것에 의의가 있으며, 향후 자율협력주행 서비스 검증 기반이 마련되는데 기초자료로 활용될 수 있을 것으로 기대된다.
https://doi.org/10.12815/kits.2022.21.1.91 인용 PDF KSCI