https://www.scipedia.com/wd/index.php?action=history&feed=atom&title=Ferrari_et_al_2019aFerrari et al 2019a - Revision history2026-08-26T16:40:37ZRevision history for this page on the wikiMediaWiki 1.27.0-wmf.10https://www.scipedia.com/wd/index.php?title=Ferrari_et_al_2019a&diff=207065&oldid=prevScipediacontent: Scipediacontent moved page Draft Content 967460788 to Ferrari et al 2019a2021-02-03T18:20:30Z<p>Scipediacontent moved page <a href="/public/Draft_Content_967460788" class="mw-redirect" title="Draft Content 967460788">Draft Content 967460788</a> to <a href="/public/Ferrari_et_al_2019a" title="Ferrari et al 2019a">Ferrari et al 2019a</a></p>
<table class="diff diff-contentalign-left" data-mw="interface">
<tr style='vertical-align: top;' lang='en'>
<td colspan='1' style="background-color: white; color:black; text-align: center;">← Older revision</td>
<td colspan='1' style="background-color: white; color:black; text-align: center;">Revision as of 18:20, 3 February 2021</td>
</tr><tr><td colspan='2' style='text-align: center;' lang='en'><div class="mw-diff-empty">(No difference)</div>
</td></tr></table>Scipediacontenthttps://www.scipedia.com/wd/index.php?title=Ferrari_et_al_2019a&diff=207064&oldid=prevScipediacontent: Created page with " == Abstract == Efficient and safe railway signalling systems, together with energy-saving infrastructures, are among the main pillars to guarantee sustainable transportation..."2021-02-03T18:20:27Z<p>Created page with " == Abstract == Efficient and safe railway signalling systems, together with energy-saving infrastructures, are among the main pillars to guarantee sustainable transportation..."</p>
<p><b>New page</b></p><div><br />
== Abstract ==<br />
<br />
Efficient and safe railway signalling systems, together with energy-saving infrastructures, are among the main pillars to guarantee sustainable transportation. ERTMS L3 moving block is one of the next generation railway signalling systems currently under trial deployment, with the promise of increased capacity on railway tracks, reduced costs and improved reliability. We report an experience in modelling a satellite-based ERTMS L3 moving block signalling system from the railway industry with Simulink and Uppaal and analysing the Uppaal model with Uppaal SMC. The lessons learned range from demonstrating the feasibility of applying Uppaal SMC in a moving block railway context, to the offered possibility of fine tuning communication parameters in satellite-based ERTMS L3 moving block railway signalling system models that are fundamental for the reliability of their operational behaviour.<br />
<br />
<br />
== Original document ==<br />
<br />
The different versions of the original document can be found in:<br />
<br />
* [http://dx.doi.org/10.1007/978-3-030-27008-7_1 http://dx.doi.org/10.1007/978-3-030-27008-7_1] under the license http://www.springer.com/tdm<br />
<br />
* [http://openportal.isti.cnr.it/data/2019/406686/2019_%20406686.postprint.pdf http://openportal.isti.cnr.it/data/2019/406686/2019_%20406686.postprint.pdf]<br />
<br />
* [http://link.springer.com/content/pdf/10.1007/978-3-030-27008-7_1 http://link.springer.com/content/pdf/10.1007/978-3-030-27008-7_1],<br />
: [http://dx.doi.org/10.1007/978-3-030-27008-7_1 http://dx.doi.org/10.1007/978-3-030-27008-7_1] under the license http://www.springer.com/tdm<br />
<br />
* [https://link.springer.com/chapter/10.1007/978-3-030-27008-7_1 https://link.springer.com/chapter/10.1007/978-3-030-27008-7_1],<br />
: [https://dblp.uni-trier.de/db/conf/fmics/fmics2019.html#BasileBFL19 https://dblp.uni-trier.de/db/conf/fmics/fmics2019.html#BasileBFL19],<br />
: [https://academic.microsoft.com/#/detail/2969411916 https://academic.microsoft.com/#/detail/2969411916]</div>Scipediacontent