2022
Conference article  Open Access

Formal modeling and initial analysis of the 4SECURail case study

Mazzanti F, Belli D

UML  UMC  ProB  CADP  LN T  Formal methods  Model checking 

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.

Source: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, pp. 118-144. Munich, DE, 01/04/2022


Metrics



Back to previous page
BibTeX entry
@inproceedings{oai:it.cnr:prodotti:465486,
	title = {Formal modeling and initial analysis of the 4SECURail case study},
	author = {Mazzanti F and Belli D},
	doi = {10.4204/eptcs.355.6},
	booktitle = {ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, pp. 118-144. Munich, DE, 01/04/2022},
	year = {2022}
}

4SECURAIL
FORMAL METHODS AND CSIRT FOR THE RAILWAY SECTOR


OpenAIRE