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 52.14.121.242

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

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic