@inproceedings{feba37e338cf47d3842e577e7eb43085,
title = "SysML Models Verification Relying on Dependency Graphs",
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.",
keywords = "Formal Verification, MBSE, Model Checking, SysML",
author = "Ludovic Apvrille and \{De Saqui-Sannes\}, Pierre and Oana Hotescu and Calvino, \{Alessandro Tempia\}",
note = "Publisher Copyright: {\textcopyright} 2022 by SCITEPRESS–Science and Technology Publications, Lda. All rights reserved.; 10th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2022 ; Conference date: 06-02-2022 Through 08-02-2022",
year = "2022",
month = jan,
day = "1",
doi = "10.5220/0010792900003119",
language = "English",
isbn = "9789897585500",
series = "International Conference on Model-Driven Engineering and Software Development",
publisher = "Science and Technology Publications, Lda",
pages = "174--181",
editor = "Edwin Seidewitz",
booktitle = "MODELSWARD 2022 - Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development",
}