loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Davide Basile ; Felicita Di Giandomenico and Stefania Gnesi

Affiliation: Consiglio Nazionale delle Ricerche and ISTI-CNR, Italy

Keyword(s): Verification, Cyber-Physical System, Communication-centric Applications.

Abstract: Model-based approaches are widely used for analysing systems belonging to a variety of domains, including the transportation sector. A critical issue with models is their validation, in order to justifiably put reliance on the analysis results they provide (including non functional indicators such as reliability, performance and energy consumption). Typically, cross-validation is performed, e.g. through exercising modelling by different formalisms/tools or through forms of experimental analysis. In this paper, we address validation of a case study from the railway domain via formal techniques, specifically with automata-based models. Validation of interaction aspects of Stochastic Activity Networks models of rail road switch heaters, developed for the purpose of evaluating energy consumption and reliability indicators, is performed through a tool based on contract automata, a recently introduced formalism for verifying properties of communication-based applications.

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 44.221.87.114

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:
Basile, D.; Di Giandomenico, F. and Gnesi, S. (2017). Enhancing Models Correctness through Formal Verification: A Case Study from the Railway Domain. In Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - MODELSWARD; ISBN 978-989-758-210-3; ISSN 2184-4348, SciTePress, pages 679-686. DOI: 10.5220/0006291106790686

@conference{modelsward17,
author={Davide Basile. and Felicita {Di Giandomenico}. and Stefania Gnesi.},
title={Enhancing Models Correctness through Formal Verification: A Case Study from the Railway Domain},
booktitle={Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - MODELSWARD},
year={2017},
pages={679-686},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006291106790686},
isbn={978-989-758-210-3},
issn={2184-4348},
}

TY - CONF

JO - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - MODELSWARD
TI - Enhancing Models Correctness through Formal Verification: A Case Study from the Railway Domain
SN - 978-989-758-210-3
IS - 2184-4348
AU - Basile, D.
AU - Di Giandomenico, F.
AU - Gnesi, S.
PY - 2017
SP - 679
EP - 686
DO - 10.5220/0006291106790686
PB - SciTePress