Verifying Complex Software Control Systems from Test Objectives: Application to the ETCS System

Rabea Ameur-Boulifa, Ana Cavalli, Stephane Maag

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.

Download


Paper Citation


in Harvard Style

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


in Bibtex Style

@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},
}


in EndNote Style

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