Fault Tolerance and Metamorphic Relation Prediction

Yves Le Traon,Tao Xie
DOI: https://doi.org/10.1002/stvr.1896
2024-01-01
Abstract:In this issue, we are pleased to present two papers on fault toleration and metamorphic relation prediction, respectively. The first paper, 'Perception simplex: Verifiable collision avoidance in autonomous vehicles amidst obstacle detection faults' by Ayoosh Bansal, Hunmin Kim, Simon Yu, Bo Li, Naira Hovakimya, Marco Caccamo and Lui Sha, presents a system architecture named perception simplex (PS) for fault tolerance against perception faults in order to achieve collision avoidance in autonomous vehicles amidst obstacle detection faults. The authors apply PS to the critical issue of obstacle existence detection faults. The modular design of PS makes it extensible to cover other types of perception faults, while the verifiable nature of its safety layer ensures to meet critical safety requirements without relying on uncertain machine learning models. Extensive analysis and software-in-the-loop simulation show that PS provides deterministic fault tolerance against obstacle existence detection faults, establishing a robust safety guarantee. (Recommended by Fabrizio Pastore) The second paper, 'Boosting metamorphic relation prediction via code representation learning: an empirical study' by Xuedan Zheng, Mingyue Jiang and Zhi Quan Zhou, presents an empirical study to explore and evaluate the effectiveness of code representation learning techniques for predicting metamorphic relations (PMR). The PMR procedure can be boosted with code representations learned by applying neural code representation models for automatically mapping program source code to code vectors. The authors develop 32 PMR instances by, respectively, combining 8 code representation models with 4 typical classification models. An extensive empirical study shows that code representation learning can positively contribute to the prediction of MRs and provide insights into the practical usage of code representation models in the context of PMR. (Recommended by Changai Sun) We hope that these papers will inspire further research in related directions.
What problem does this paper attempt to address?