4SECURail
| Description: | Models for 4SECURail project |
| Author(s): | Franco Mazzanti, Dimitri Belli |
| Event(s): | MARS'22 |
| Paper(s): |
Formal Modeling and Initial Analysis of the 4SECURail Case Study |
Abstract
We present the case study developed in the context of the 4SECURail project and the approach used for its formal modeling and analysis. Starting from a simple SysML/UML behavioral model of the system requirements, three formal models have been developed using three different frameworks, namely UMC, ProB, and CADP/LNT. The paper shows how the different ways to represent and analyze the system from the three different points of view allow us to take advantage of the resulting diversity.
Model(s)
-
- Download Model
- Browse Model
- tool(s): UMC
-
- Download Model
- Browse Model
- tool(s): ProB
-
- Download Model
- Browse Model
- tool(s): LNT (CADP)
This work is licensed under a Creative Commons
Attribution-NonCommercial-ShareAlike 4.0 International License.