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.
Analysing a safe communication protocol in the railway signaling domain with Timed Automata and Statistical Model Checking / Rosadi, I. - (2021 Apr 30).
Analysing a safe communication protocol in the railway signaling domain with Timed Automata and Statistical Model Checking
2021
Abstract
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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_456739-doc_176887.pdf
solo utenti autorizzati
Descrizione: Analysing a safe communication protocol in the railway signaling domain with Timed Automata and Statistical Model Checking
Dimensione
2.66 MB
Formato
Adobe PDF
|
2.66 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
|
prod_456739-doc_176904.pdf
accesso aperto
Descrizione: Abstract - Analysing a safe communication protocol in the railway signaling domain with Timed Automata and Statistical Model Checking
Dimensione
31.06 kB
Formato
Adobe PDF
|
31.06 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
