Formal Modeling and Initial Analysis of the 4SECURail Case Study

Franco Mazzanti
Dimitri Belli

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.

In Clemens Dubslaff and Bas Luttik: Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems (MARS 2022), Munich, Germany, 2nd April 2022, Electronic Proceedings in Theoretical Computer Science 355, pp. 118–144.
Published: 21st March 2022.

ArXived at: bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to:
For website issues: