@inproceedings{09290532cb714fb6ba6ffac680877b26,
title = "Verifying complex software control systems from test objectives: Application to the ETCS system",
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.",
keywords = "Formal verification, Model checking, Safety, Software control systems",
author = "Rabea Ameur-Boulifa and Ana Cavalli and Stephane Maag",
note = "Publisher Copyright: Copyright {\textcopyright} 2019 by SCITEPRESS - Science and Technology Publications, Lda. All rights reserved.; 14th International Conference on Software Technologies, ICSOFT 2019 ; Conference date: 26-07-2019 Through 28-07-2019",
year = "2019",
month = jan,
day = "1",
doi = "10.5220/0007918203970406",
language = "English",
series = "ICSOFT 2019 - Proceedings of the 14th International Conference on Software Technologies",
publisher = "SciTePress",
pages = "397--406",
editor = "\{van Sinderen\}, Marten and Leszek Maciaszek and Leszek Maciaszek",
booktitle = "ICSOFT 2019 - Proceedings of the 14th International Conference on Software Technologies",
}