loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Simon Busard 1 ; Christophe Ponsard 2 and Charles Pecheur 1

Affiliations: 1 ICTEAM, Université catholique de Louvain, Louvain-la-Neuve, Belgium ; 2 CETIC Research Centre, Charleroi, Belgium

Keyword(s): Model-driven Engineering, Model Transformation, Verification, Model Checking, Sequence Diagrams, Capella, Toolchain, Case Study.

Abstract: Scenarios are widely use to capture a set of key system behaviours. They are part of standardised modelling languages like UML and SysML. Precise semantics enable to analyse them at a formal level. In this paper, we show how scenarios can be used to perform early checks on behavioural models in an industrial context by providing a bridge between system modelling with Capella and the NuSMV model checker through the PyNuSMV integration library and using hMSC semantics. Both the modelling front-end and verification back-end are discussed and illustrated on a case study of unmanned aerial vehicles. Some interesting extensions to increase the value of the integration are also identified and discussed.

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 18.227.52.248

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:
Busard, S.; Ponsard, C. and Pecheur, C. (2021). Verification of Scenario-based Behavioural Models using Capella and PyNuSMV. In Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development - MODELSWARD; ISBN 978-989-758-487-9; ISSN 2184-4348, SciTePress, pages 337-343. DOI: 10.5220/0010346103370343

@conference{modelsward21,
author={Simon Busard. and Christophe Ponsard. and Charles Pecheur.},
title={Verification of Scenario-based Behavioural Models using Capella and PyNuSMV},
booktitle={Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development - MODELSWARD},
year={2021},
pages={337-343},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010346103370343},
isbn={978-989-758-487-9},
issn={2184-4348},
}

TY - CONF

JO - Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development - MODELSWARD
TI - Verification of Scenario-based Behavioural Models using Capella and PyNuSMV
SN - 978-989-758-487-9
IS - 2184-4348
AU - Busard, S.
AU - Ponsard, C.
AU - Pecheur, C.
PY - 2021
SP - 337
EP - 343
DO - 10.5220/0010346103370343
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