loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Rabea Ameur-Boulifa 1 ; Ana Cavalli 2 and Stephane Maag 2

Affiliations: 1 Institut Mines-Télécom/Télécom ParisTech, Université Paris-Saclay and France ; 2 Institut Mines-Télécom/Télécom SudParis, Université Paris-Saclay, CNRS UMR 5157 SAMOVAR and France

Keyword(s): Formal Verification, Safety, Model Checking, Software Control Systems.

Related Ontology Subjects/Areas/Topics: Artificial Intelligence ; Formal Methods ; Knowledge Management and Information Sharing ; Knowledge-Based Systems ; Requirements Engineering ; Simulation and Modeling ; Software Engineering ; Software Engineering Methods and Techniques ; Symbolic Systems

Abstract: Ensuring the correctness of complex distributed software systems is a challenging task, the issue of building frameworks for developing such safe and correct systems still remains a difficult issue. Where test coverage is dissatisfying, formal analysis grants much higher potential to discover bugs during the development phase. This paper presents a framework for formal verification of complex systems based on standardized test objectives. The framework integrates a transformation of test objectives into formal properties that are verified on the system by model checking. The overall proposed approach for formal verification is evaluated by the application to the standard European Train Control System (ETCS). Some critical safety properties have been proved on the model, ensuring that the model is correct and reliable.

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 3.236.112.101

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:
Ameur-Boulifa, R.; Cavalli, A. and Maag, S. (2019). Verifying Complex Software Control Systems from Test Objectives: Application to the ETCS System. In Proceedings of the 14th International Conference on Software Technologies - ICSOFT; ISBN 978-989-758-379-7; ISSN 2184-2833, SciTePress, pages 397-406. DOI: 10.5220/0007918203970406

@conference{icsoft19,
author={Rabea Ameur{-}Boulifa. and Ana Cavalli. and Stephane Maag.},
title={Verifying Complex Software Control Systems from Test Objectives: Application to the ETCS System},
booktitle={Proceedings of the 14th International Conference on Software Technologies - ICSOFT},
year={2019},
pages={397-406},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0007918203970406},
isbn={978-989-758-379-7},
issn={2184-2833},
}

TY - CONF

JO - Proceedings of the 14th International Conference on Software Technologies - ICSOFT
TI - Verifying Complex Software Control Systems from Test Objectives: Application to the ETCS System
SN - 978-989-758-379-7
IS - 2184-2833
AU - Ameur-Boulifa, R.
AU - Cavalli, A.
AU - Maag, S.
PY - 2019
SP - 397
EP - 406
DO - 10.5220/0007918203970406
PB - SciTePress