Document - 4SECURail - D.2.2 : Formal development Demonstrator prototype

2020

Report Open Access

4SECURail - D.2.2 : Formal development Demonstrator prototype - 1st release

Mazzanti F., Basile D.

formal methods railway infrastructure manager 4securail UML ProB

This deliverable: "Formal development Demonstrator prototype, 1st Release", completes the description of the selected Demonstrator process (identifying the chosen MBSD framework for UML-based modelling and simulation) and describes how the defined Demonstrator process has been exercised in Task 2.1 with an initial fragment of the case study identified in Task 2.2. The initial fragment concerns the modelling and analysis of a Communication Supervision Layer (CSL), specifically dedicated to the control of the communication status between two neighbouring Radio Block Centre (RBC), over the Safe Application Intermediate sub-Layer (SAI) sublevel of the architecture.

Source: Project Report, 4SECURail, D2.2, pp.1–85, 2020

Back to previous page

Cite as

BibTeX entry

@techreport{oai:it.cnr:prodotti:447283,
	title = {4SECURail - D.2.2 : Formal development Demonstrator prototype - 1st release},
	author = {Mazzanti F. and Basile D.},
	institution = {Project Report, 4SECURail, D2.2, pp.1–85, 2020},
	year = {2020}
}