Verifying complex software control systems from test objectives: application to the ETCS system - Equipe System on Chip Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Verifying complex software control systems from test objectives: application to the ETCS system

Résumé

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
Fichier non déposé

Dates et versions

hal-02269604 , version 1 (23-08-2019)

Identifiants

Citer

Rabéa Ameur Boulifa, Cavalli Rosa Ana, Stephane Maag. Verifying complex software control systems from test objectives: application to the ETCS system. ICSOFT 2019: 14th International Conference on Software Technologies, Jul 2019, Prague, Czech Republic. ⟨10.5220/0007918203970406⟩. ⟨hal-02269604⟩
69 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More