SysML Models Verification Relying on Dependency Graphs

Ludovic Apvrille, Pierre De Saqui-Sannes, Oana Hotescu, Alessandro Calvino

2022

Abstract

Formal verification of SysML models contributes to early detection of design errors early in the life cycle of systems. Incremental modeling of systems leads to the repeated verification of parts of systems models that were already verified in previous versions of the SysML model. This paper proposes to optimize the verification process by generating dependency graphs from SysML models. This revisited verification technique is now supported by TTool. It is illustrated with an Avionics Full DupleX network.

Paper Citation

in Harvard Style

Apvrille L., De Saqui-Sannes P., Hotescu O. and Calvino A. (2022). SysML Models Verification Relying on Dependency Graphs. In Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-550-0, pages 174-181. DOI: 10.5220/0010792900003119

in Bibtex Style

@conference{modelsward22,
author={Ludovic Apvrille and Pierre De Saqui-Sannes and Oana Hotescu and Alessandro Calvino},
title={SysML Models Verification Relying on Dependency Graphs},
booktitle={Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2022},
pages={174-181},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010792900003119},
isbn={978-989-758-550-0},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - SysML Models Verification Relying on Dependency Graphs
SN - 978-989-758-550-0
AU - Apvrille L.
AU - De Saqui-Sannes P.
AU - Hotescu O.
AU - Calvino A.
PY - 2022
SP - 174
EP - 181
DO - 10.5220/0010792900003119