loading
Documents

Research.Publish.Connect.

Paper

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

ISBN: 978-989-758-379-7

Keyword(s): Formal Verification, Safety, Model Checking, Software Control 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.

PDF ImageFull Text

Download
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.80.4.76

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 - Volume 1: ICSOFT, ISBN 978-989-758-379-7, 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 - Volume 1: ICSOFT,},
year={2019},
pages={397-406},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0007918203970406},
isbn={978-989-758-379-7},
}

TY - CONF

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.