<html xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Aptos;
panose-1:2 11 0 4 2 2 2 2 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
font-size:10.0pt;
font-family:"Aptos",sans-serif;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;
mso-ligatures:none;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
{page:WordSection1;}
/* List Definitions */
@list l0
{mso-list-id:882058008;
mso-list-template-ids:332664652;}
@list l0:level1
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:36.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l0:level2
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:72.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l0:level3
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:108.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l0:level4
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:144.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l0:level5
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:180.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l0:level6
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:216.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l0:level7
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:252.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l0:level8
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:288.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l0:level9
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:324.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
ol
{margin-bottom:0cm;}
ul
{margin-bottom:0cm;}
--></style>
</head>
<body lang="EN-GB" link="blue" vlink="purple" style="word-wrap:break-word">
<div class="WordSection1">
<div>
<div id="mail-editor-reference-message-container">
<div>
<div>
<div>
<div>
<div>
<div>
<div>
<div>
<div>
<div>
<div>
<div>
<div id="mail-editor-reference-message-container">
<div>
<div>
<div>
<div>
<div>
<div>
<div>
<p class="MsoNormal" style="margin-bottom:12.0pt"><span style="font-size:11.0pt">6th International Conference on Reliability, Safety, and Security of Railway Systems (RSSRail 2025)
</span><o:p></o:p></p>
<p class="MsoNormal" style="margin-bottom:12.0pt"><span style="font-size:11.0pt">Pisa, November 26-28, 2025</span></p>
<p class="MsoNormal" style="margin-bottom:12.0pt"><span style="font-size:11.0pt">https://rssrail2025.isti.cnr.it/</span></p>
<p class="MsoNormal" style="margin-bottom:12.0pt"><b><span style="font-size:11.0pt">Call for participation</span></b></p>
<p class="MsoNormal" style="margin-bottom:12.0pt"><span style="font-size:11.0pt">The railway industry faces increasing pressure to improve system safety, to decrease production costs and time to market, to reduce carbon emissions and running costs, and to increase
the capacity of the railway. Railway systems are now being integrated into larger multi-transport networks. Such systems require an even higher degree of automation at all levels of operation. These trends dramatically increase the complexity of railway applications
and pose new challenges in developing novel methods of modelling, analysis, verification and validation to ensure their reliability, safety and security, as well as in supporting novel mechanisms and procedures to help make the case that development processes
meet the mandated standards.</span></p>
<p class="MsoNormal" style="margin-bottom:12.0pt"><span style="font-size:11.0pt">This conference will bring together researchers and developers working on railway system reliability, security and safety to discuss how all of these requirements can be met in
an integrated way. It is also vital to ensure that advances in research (in both academia and industry) are driven by the real industrial needs. This will help ensure that such advances are followed by effective industrial deployment. Another particularly
important objective is to integrate advances in research into the current development processes and make them usable and scalable. Finally, a key goal is to develop advanced methods and tools that can ensure that the systems meet the requirements imposed by
the regulatory standards and help in building the supportive arguments. This will be a working conference in which research challenges and progress will be discussed and evaluated by both researchers and engineers, focusing on their potential to be deployed
in industrial settings.</span></p>
<p class="MsoNormal" style="margin-bottom:12.0pt"><span style="font-size:11.0pt">Topics of Interest</span></p>
<ul style="margin-top:0cm" type="disc">
<li class="MsoNormal" style="margin-bottom:12.0pt;mso-list:l0 level1 lfo1"><span style="font-size:11.0pt">Safety in development processes and safety management</span><o:p></o:p></li><li class="MsoNormal" style="margin-bottom:12.0pt;mso-list:l0 level1 lfo1"><span style="font-size:11.0pt">Combined approaches to safety and security</span><o:p></o:p></li><li class="MsoNormal" style="margin-bottom:12.0pt;mso-list:l0 level1 lfo1"><span style="font-size:11.0pt">System and software safety analysis</span><o:p></o:p></li><li class="MsoNormal" style="margin-bottom:12.0pt;mso-list:l0 level1 lfo1"><span style="font-size:11.0pt">Formal modelling and verification techniques</span><o:p></o:p></li><li class="MsoNormal" style="margin-bottom:12.0pt;mso-list:l0 level1 lfo1"><span style="font-size:11.0pt">System reliability</span><o:p></o:p></li><li class="MsoNormal" style="margin-bottom:12.0pt;mso-list:l0 level1 lfo1"><span style="font-size:11.0pt">Validation according to the standards</span><o:p></o:p></li><li class="MsoNormal" style="margin-bottom:12.0pt;mso-list:l0 level1 lfo1"><span style="font-size:11.0pt">Safety and security argumentation</span><o:p></o:p></li><li class="MsoNormal" style="margin-bottom:12.0pt;mso-list:l0 level1 lfo1"><span style="font-size:11.0pt">Fault and intrusion modelling and analysis</span><o:p></o:p></li><li class="MsoNormal" style="margin-bottom:12.0pt;mso-list:l0 level1 lfo1"><span style="font-size:11.0pt">Evaluation of system capacity, energy consumption, cost, and their interplay</span><o:p></o:p></li><li class="MsoNormal" style="margin-bottom:12.0pt;mso-list:l0 level1 lfo1"><span style="font-size:11.0pt">Tool and model integration, tool chain</span><o:p></o:p></li><li class="MsoNormal" style="margin-bottom:12.0pt;mso-list:l0 level1 lfo1"><span style="font-size:11.0pt">Domain-specific languages and modelling frameworks</span><o:p></o:p></li><li class="MsoNormal" style="margin-bottom:12.0pt;mso-list:l0 level1 lfo1"><span style="font-size:11.0pt">Model reuse for reliability, safety and security</span><o:p></o:p></li><li class="MsoNormal" style="margin-bottom:12.0pt;mso-list:l0 level1 lfo1"><span style="font-size:11.0pt">Modelling for maintenance strategy engineering</span><o:p></o:p></li></ul>
<p class="MsoNormal" style="margin-bottom:12.0pt"><span style="font-size:11.0pt">The programme is now available online -
<a href="https://easychair.org/smart-program/RSSRail2025/">https://easychair.org/smart-program/RSSRail2025/</a></span></p>
<p class="MsoNormal" style="margin-bottom:12.0pt"><span style="font-size:11.0pt">Tutorials -
<a href="https://rssrail2025.isti.cnr.it/tutorials">https://rssrail2025.isti.cnr.it/tutorials</a></span></p>
<p class="MsoNormal" style="margin-bottom:12.0pt"><span style="font-size:11.0pt">Invited talks -
<a href="https://rssrail2025.isti.cnr.it/keynotes">https://rssrail2025.isti.cnr.it/keynotes</a></span></p>
<p class="MsoNormal" style="margin-bottom:12.0pt"><span style="font-size:11.0pt">Registration -
<a href="https://rssrail2025.isti.cnr.it/registration">https://rssrail2025.isti.cnr.it/registration</a></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:#212121">Conference Chairs
</span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:#212121">- Maurice ter Beek, CNR-ISTI, Pisa, Italy</span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:#212121">- Simon Collart Dutilleul, Université Gustave Eiffel, France </span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:#212121">- Thierry Lecomte, CLEARSY, France</span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:#212121"> </span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:#212121">Program Committee
</span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:#212121">- Abderrahim Ait Wakrime, UM5r, Rabat, Morocco </span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:#212121">- Dalay Almeida, ClearSy System Engineering, France</span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:#212121">- Davide Basile, CNR-ISTI, Pisa, Italy</span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:#212121">- Nikola Bešinović, Technical University of Dresden, Germany</span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:#212121">- Philippe Bon, Gustave Eiffel University, France</span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:#212121">- Alessandro Borselli, Trenord, Italy</span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:#212121">- Alessandro Cimatti, FBK, Trento, Italy</span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:#212121">- Sana Debbech, SNCF, France</span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:#212121">- Alessandro Fantechi, University of Florence, Italy</span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:#212121">- Alessio Ferrari, University College Dublin, Ireland</span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:#212121">- Francesco Flammini, Mälardalen University, Sweden</span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:#212121">- Barbara Gallina, Mälardalen University, Sweden</span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:#212121">- Gloria Gori, University of Florence, Italy</span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:#212121">- Stephan Griebel, Siemens AG, Germany </span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:#212121">- Alexandra Halchin, RATP, France</span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:#212121">- Anne Haxthausen, Technical University of Denmark, Denmark</span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:#212121">- Akram Idani, Polytech Grenoble, France</span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:#212121">- Alexei Iliasov, The Formal Route Ltd., UK</span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:#212121">- Kenji Imamoto, Hitachi Ltd., Japan</span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:#212121">- Michael Leuschel, University of Düsseldorf, Germany</span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:#212121">- Riccardo Licciardello, Sapienza University of Rome, Italy</span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:#212121">- Christophe Limbrée, UCLouvain, Belgium</span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:#212121">- Bas Luttik, Eindhoven University of Technology, The Netherlands</span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:#212121">- Davide Moroni, CNR-ISTI, Pisa, Italy</span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:#212121">- Marcel Oliveira, Federal University of Rio Grande do Norte, Brazil</span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:#212121">- Matthieu Perin, Systerel, France</span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:#212121">- Jaco van de Pol, Aarhus University, Denmark</span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:#212121">- Christophe Ponsard, CETIC, Belgium</span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:#212121">- José Proença, CISTER and University of Porto, Portugal</span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:#212121">- Vito Renò, CNR-STIIMA, Bari, Italy</span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:#212121">- Alexander Romanovsky, The Formal Route Ltd., UK</span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:#212121">- Aryldo Russo, GESTE Engineering, France</span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:#212121">- Marc Sango, SNCF, France</span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:#212121">- Monika Seisenberger, Swansea University, UK</span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:#212121">- Thai Son Hoang, University of Southampton, UK</span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:#212121">- Mariëlle Stoelinga, University of Twente, The Netherlands</span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:#212121">- Davide Tarsitano, Polytechnic University of Milan, Italy</span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:#212121">- Stefano Tonetta, FBK, Trento, Italy</span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:#212121">- Elena Troubitsyna, KTH Royal Institute of Technology, Sweden</span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:#212121">- Laurent Voisin, Systerel, France</span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> </span></p>
<p class="MsoNormal" style="margin-bottom:12.0pt"><span style="font-size:11.0pt"> </span></p>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</body>
</html>