ETRI-Knowledge Sharing Plaform

KOREAN
논문 검색
Type SCI
Year ~ Keyword

Detail

Journal Article A Formal and Quantifiable Log Analysis Framework for Test Driving of Autonomous Vehicles
Cited 3 time in scopus Download 185 time Share share facebook twitter linkedin kakaostory
Authors
Kyungbok Sung, Kyoung-Wook Min, Jeongdan Choi, Byung-Cheol Kim
Issue Date
2020-03
Citation
Sensors, v.20, no.5, pp.1-29
ISSN
1424-8220
Publisher
MDPI
Language
English
Type
Journal Article
DOI
https://dx.doi.org/10.3390/s20051356
Abstract
We propose a log analysis framework for test driving of autonomous vehicles. The log of a vehicle is a fundamental source to detect and analyze events during driving. A set of dumped logs are, however, usually mixed and fragmented since they are generated concurrently by a number of modules such as sensors, actuators and programs. This makes it hard to analyze them to discover latent errors that could occur due to complex chain reactions among those modules. Our framework provides a logging architecture based on formal specifications, which hierarchically organizes them to find out a priori relationships between them. Then, algorithmic or implementation errors can be detected by examining a posteriori relationships. However, a test in a situation of certain parameters, so called an oracle test, does not necessarily trigger latent violations of the relationships. In our framework, this is remedied by adopting metamorphic testing to quantitatively verify the formal specification. As a working proof, we define three metamorphic relations critical for testing autonomous vehicles and verify them in a quantitative manner based on our logging system.
KSP Keywords
Autonomous vehicle, Detect and analyze, Formal specifications, Metamorphic relations, Metamorphic testing, analysis framework, chain reaction, log analysis, logging architecture
This work is distributed under the term of Creative Commons License (CCL)
(CC BY)
CC BY