loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Authors: Evgenii Vinarskii 1 ; Natalia Kushik 1 ; Nina Yevtushenko 2 ; Jorge López 3 and Djamal Zeghlache 1

Affiliations: 1 SAMOVAR, Télécom SudParis, Institut Polytechnique de Paris, Palaiseau, France ; 2 Ivanikov Institute for System Programming, Russian Academy of Sciences, Moscow, Russia ; 3 Airbus, Issy-Les-Moulineaux, France

Keyword(s): Distributed Reactive Systems, Races, Extended Input/Output Automata, Software Defined Networking.

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.221.55.135

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

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

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

TY - CONF

JO - Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE
TI - Races in Extended Input/Ouput Automata, Their Compositions and Related Reactive Systems
SN - 978-989-758-696-5
IS - 2184-4895
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

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic