Races in Extended Input/Output Automata, Their Compositions and Related Reactive Systems

Evgenii Vinarskii, Natalia Kushik, Nina Yevtushenko, Jorge López, Djamal Zeghlache

2024

Abstract

Reactive systems can be highly distributed and races in channels can have a direct impact on their functioning. In order to detect such races, model-based testing is used and in this paper, we define races in the Extended Input Output Automata (EIOA) which are related to races in a corresponding distributed system. We define various race conditions in an EIOA modeling them by Linear Temporal Logic (LTL) formulas. As race conditions can be resolved in the corresponding EIOA implementations, we also discuss how a generated counterexample (if any) can be used for provoking a race in a distributed system implementation with the given level of confidence. Software Defined Networking (SDN) framework serves as a relevant case study along the paper.

Paper Citation

in Harvard Style

Vinarskii E., Kushik N., Yevtushenko N., López J. and Zeghlache D. (2024). Races in Extended Input/Output Automata, Their Compositions and Related Reactive Systems. In Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE; ISBN 978-989-758-696-5, SciTePress, pages 727-734. DOI: 10.5220/0012737900003687

in Bibtex Style

@conference{enase24,
author={Evgenii Vinarskii and Natalia Kushik and Nina Yevtushenko and Jorge López and Djamal Zeghlache},
title={Races in Extended Input/Output Automata, Their Compositions and Related Reactive Systems},
booktitle={Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE},
year={2024},
pages={727-734},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0012737900003687},
isbn={978-989-758-696-5},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE
TI - Races in Extended Input/Output Automata, Their Compositions and Related Reactive Systems
SN - 978-989-758-696-5
AU - Vinarskii E.
AU - Kushik N.
AU - Yevtushenko N.
AU - López J.
AU - Zeghlache D.
PY - 2024
SP - 727
EP - 734
DO - 10.5220/0012737900003687
PB - SciTePress