Document - Analysing a safe communication protocol in the railway signaling domain with Timed Automata and Statistical Model Checking

2021

Other Open Access

Analysing a safe communication protocol in the railway signaling domain with Timed Automata and Statistical Model Checking

Rosadi I.

Standard interfaces Formal methods Railway UPPAAL

This thesis focuses on the modeling and the safety requirements verification of a communication system in the railway signaling domain, where the use of standard interfaces and formal methods is increasing and is also expanding at the industrial level.

Back to previous page

Cite as

BibTeX entry

@misc{oai:it.cnr:prodotti:456739,
	title = {Analysing a safe communication protocol in the railway signaling domain with Timed Automata and Statistical Model Checking},
	author = {Rosadi I.},
	year = {2021}
}