CINXE.COM

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html xmlns="http://www.w3.org/1999/xhtml" lang="en"> <head> <title>Programme; RSSRail; Newcastle University</title> <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta name="DC.Title" content="RSSRail - Newcastle University" /> <meta name="DC.Copyright" content="(c) Newcastle University. All rights reserved." /> <meta name="DC.Date.Modified" content="27 November 2017" /> <meta name="DC.Publisher" content="Newcastle University" /> <meta name="google-site-verification" content="3ZJpTgykEFPpfxN3xclFKmPmz1Rf9ochyrKEvZDFEIM" /> <link rel="schema.DC" href="http://purl.org/dc/elements/1.1/" />  <script src="//includes.ncl.ac.uk/cms/js/jquery/jquery-1.10.2.min.js" type="text/javascript"></script> <script src="//includes.ncl.ac.uk/cms/js/embedbuilder/require.js" type="text/javascript"></script> <script src="//includes.ncl.ac.uk/cms/js/embedbuilder/controller.js" type="text/javascript"></script> <link rel="StyleSheet" type="text/css" href="//includes.ncl.ac.uk/cms/css/contentclasses.css"/> <style type="text/css" media="screen">  </style> <link rel="StyleSheet" type="text/css" href="//includes.ncl.ac.uk/cms/css/reset.css"/> <link rel="StyleSheet" type="text/css" href="//includes.ncl.ac.uk/cms/css/structure.css"/> <link rel="StyleSheet" type="text/css" href="//includes.ncl.ac.uk/cms/css/t4contenttemplates.css"/> <script> var css="<link rel=\"StyleSheet\" type=\"text/css\" href=\"//includes.ncl.ac.uk/cms/css/colorsv1-1.css?b=#3f5460&p=#ededed&h=#3f5460&cvi=None&title=None&banner=Curves\"/>"; css=css.replace(/#/gi,''); document.write(css); $(document).ready(function () { var bgi='/rssrail/sectionstyles/Header 2.jpg'; bgi=bgi.replace(/amp;/gi,''); bgi=bgi.replace(/ /gi,'%20'); if(bgi!='') { $('#header').css('background-image','url('+bgi+')'); } }); </script> <style> #header { height: 333px; width: 980px; } #top-nav { width: 1500px; font-size:73% !important; } </style> </head> <body> <div class="fullWidth" id="globalNav"> <ul id="crumbs"> <li class="home"><strong>You are here:</strong></li>  <li><a href="http://www.ncl.ac.uk"> Newcastle University</a> »</li> <li><a href="/rssrail/">RSSRail</a> » Programme</li> </ul> <ul id="usability"> <li><a href="#content" accesskey="2">Skip to Content</a></li> </ul> <div class="clear"> </div> </div> <div id="fullHeader" class="fullWidth"> <div class="outerWrapper"> <div class="innerWrapper dark" id="header"> <h1><a href="http://www.ncl.ac.uk/" title="Newcastle University"><span title="Newcastle University">Newcastle University</span></a></h1> <form method="get" action="https://search.ncl.ac.uk/s/search.html"> <fieldset id="search"><legend><em>S</em>earch</legend> <label for="search"><span>Search For: </span> <input type="hidden" name="collection" value="neu~sp-meta"> <input type="hidden" name="profile" value="_default"> <input type="hidden" id= "search-scope" name="scope" value="https://conferences.ncl.ac.uk/"> <input type="text" name="query"/> </label> <input type="submit" alt="go" class="go submit" value="SEARCH" accesskey="4" /> </fieldset> </form> <script> var firstPath = location.pathname.split('/')[1]; document.getElementById("search-scope").value = document.getElementById("search-scope").value + firstPath; </script> <h2><a href="/rssrail/" title="RSSRail"><span title="RSSRail">RSSRail</span></a></h2> <div class="clear"> </div> </div> </div> </div> <div class="fullWidth" id="fwnav"> <div class="outerWrapper"> <div id="mainNav" class="innerWrapper"> <ul id="top-nav" class="clearfix nav navbar-nav"><li><a href="/rssrail/">Home</a></li><li><a href="/rssrail/registration/">Registration</a></li><li><span class="currentbranch0"><a href="/rssrail/programme/">Programme</a></span></li><li><a href="/rssrail/invited_talks/">Invited Talks </a></li><li><a href="/rssrail/slides/">Slides</a></li><li><a href="/rssrail/venue/">Venue</a></li><li><a href="/rssrail/sponsorsexhibitors/">Sponsors & Exhibitors</a></li><li><a href="/rssrail/tutorials/">Tutorials</a></li><li><a href="/rssrail/pistoia/">Pistoia</a></li><li><a href="/rssrail/hotels/">Hotels</a></li><li><a href="/rssrail/chaircommittee/">Chair & Committee </a></li><li><a href="/rssrail/callforpapers/">Call for Papers</a></li><li><a href="/rssrail/contactus/">Contact Us</a></li><li><a href="/rssrail/posters/">Posters</a></li></ul> <div id="feed-buttons"></div> </div> </div></div> <div class="fullWidth" id="fwcontent"> <div class="outerWrapper"> <div class="innerWrapper" id="contentWrapper"> <div id="contentArea" ><a class="skip" name="content"></a> <h3 class='sectiontitle'>Programme</h3>  <div class=''> <div> <p><p>The list of accepted papers can be found <a href="https://conferences.ncl.ac.uk/rssrail/posters">here</a>. The proceedings of the conference are published by <a href="http://www.springer.com/gb/book/9783319684987">Springer</a>.</p> <h4><strong style="font-size: 1em;">November 14, Tuesday</strong><span style="font-size: 1em;"> </span></h4> <p><em>(location UNISER)</em></p> <p>9:00 - 10:45  Room 1: Tutorial 1; Room 2: Tutorial 2. </p> <p>10:45 - 11:15  Coffee break </p> <p>11:15 - 13:00  Room 1: Tutorial 4; Room 2: Tutorial 3.  </p> <p>13:00 - 13:30  Lunch for tutorial attendees </p> <p><em>(location – La Cattedrale)</em>     </p> <p>12:00 - 13:30 Registration and Coffee </p> <p>13:30 - 13:40 Welcome from DITECFER and the Programme Chairs   </p> <p>13:40 - 14:40 Keynote 1 -  Jens Braband - 'Quo vadis - Cybersecurity in railways'</p> <p>14:40 - 15:00 Coffee break</p> <p style="text-align: center;"><strong>Session: Communication challenges in railway systems</strong>   </p> <p>15:00 - 15:40 Gianluca Mandò and Giovanni Giambene. LTE Performance Evaluation for Light Rail Transit (LRT) Signaling Safety Applications</p> <p>15:40 - 16:20 Roberto Canonico, Stefano Marrone, Roberto Nardone and Valeria Vittorini. A framework to evaluate 5G networks for smart and fail-safe communications in ERTMS/ETCS</p> <p>16:20 - 16:50 William Temple, Yue Wu, Binbin Chen and Zbigniew Kalbarczyk. Systems-Theoretic Likelihood and Severity Analysis for Safety and Security Co-Engineering</p> <p>18:00 - 20:00 Conference reception in Museo Marini   </p> <h4><strong>November 15, Wednesday   </strong></h4> <p>9:00 - 10:00 Keynote 2 - Michael Leuschel - 'The Unreasonable Effectiveness of B for Data Validation and Modelling of Railway Systems' </p> <p>10:00 - 10:30 Coffee break  </p> <p style="text-align: center;"><strong>Session: Formal modelling and verification for safety - 1</strong>   </p> <p>10:30 - 11:10 Michael Butler, Dana Dghaym, Tomas Fischer, Thai Son Hoang, Klaus Reichl, Colin Snook and Peter Tummeltshammer. Formal modelling techniques for efficient development of railway control products</p> <p>11:10 - 11:50 Manel Fredj, Sven Leger, Abderrahmane Feliachi and Julien Ordioni. OVADO: Enhancing Data Validation for Safety-Critical Railway Systems Industry</p> <p>11:50 - 12:30 Linh Hong Vu, Anne E. Haxthausen and Jan Peleska. A Domain-Specific Language for Generic Interlocking Models and Their Properties</p> <p>12:30 - 13:10 Ci Liang, Mohamed Ghazel, Olivier Cazier, Laurent Bouillaut and El-Miloudi El-Koursi. Bayesian Network Modeling Applied on Railway Level Crossing Safety</p> <p>13:10 - 14:30 Lunch </p> <p>14:30 - 15:20 Shift2Rail session</p> <p>15:20 - 15:45 Coffee break </p> <p style="text-align: center;"><strong>Session: Formal modelling and verification for safety - 2</strong>   </p> <p>15:45 - 16:25 Eduard Kamburjan and Reiner Hahnle. Deductive Verification of Railway Operations</p> <p>16:25 - 17:05 Mathieu Comptier, David Deharbe, Julien Molinero Perez, Louis Mussat, Thibaut Pierre and Denis Sabatier. Safety Analysis of a CBTC System: A Rigorous Approach with System Level B Industry</p> <p>17:05 - 17:30 Alexandra Halchin, Yamine Ait-Ameur, Abderrahmane Feliachi, Julien Ordioni and Neeraj Kumar Singh. B-PERFect: Applying the PERF approach to B based system developments </p> <p>17:30 - 18:10 Stefan Mitsch, Marco Gario, Christof J. Budnik, Michael Golm and Andre Platzer. Formal Verification of Train Control with Air Pressure Brakes </p> <p>19:00 - 23:00 Conference Dinner - Locomotive Depot   </p> <h4><strong>November 16, Thursday</strong>   </h4> <p>9:00 - 10:00 Keynote 3 - Aryldo Ar. Russo - 'Safety Certification: considering processes around the world' </p> <p>10:00 - 10:30 Coffee break </p> <p style="text-align: center;"><strong>Session: Light Rail and Urban Transit</strong>   </p> <p>10:30 - 11:10 Loic Helouet, Karim Kecir, Bruno Adeline, Pierre Dersin and Eric Fabre. An efficient evaluation scheme for KPIs in regulated urban train systems</p> <p>11:10 - 11:50 Vincenzo Di Massa, Mirko Damiani, Maurizio Papini and Gianluca Mandò. Light-Rail-Transit On-Board-Systems Redundant and Reliable Architecture Based On Open Source Tools Industry</p> <p>11:50 - 12:30 Davide Basile, Felicita Di Giandomenico and Stefania Gnesi. Dependable Dynamic Routing for Urban Transport Systems Through Integer Linear Programming</p> <p>12:30 - 14:00 Lunch  </p> <p style="text-align: center;"><strong>Session: Engineering techniques and standards</strong>   </p> <p>14:00 - 14:25 Paulius Stankaitis and Alexei Iliasov. Theories, Techniques and Tools for Engineering Heterogeneous Railway Networks</p> <p>14:25 - 15:05 Alessio Ferrari, Mario Fusani and Stefania Gnesi. Are Standards an ambiguity-free reference for product validation?</p> <p>15:05 - 15:20 Wrap-up and closing remarks </p> <p>15:20 - 16:00 Coffee break   </p> <p>15:30 - 19:00 Optional visit to ITALCERTIFER rolling stock laboratory (Osmannoro, Florence) </p></p> </div> </div> </div> <div id="sidebar">  <div class=''> <div> <p><p><img src="/media/sites/conferencewebsites/rssrail/sidebar colour thin 3.jpg" alt="bell tower of the cathedral in Piazza Duomo" title="bell tower of the cathedral in Piazza Duomo" style="width : 115px; height : 772px; " />&zwnj;</p></p> </div> </div> <div class="clear"> </div> </div>  <div class="clear"> </div> <div id="footerPadding"> </div> </div> <div class="innerWrapper">  </div> </div> </div> <div class="fullWidth"> <div class="outerWrapper" id="fb"> <div class="innerWrapper" id="footer_bottom">  <div class=''> <div> <p><p style="text-align: center;"><strong>Contact:</strong> Joan Atkinson<br />CSR Events Co-ordinator</p> <div> <p style="text-align: center;">Email: <a href="mailto:joan.atkinson@ncl.ac.uk">joan.atkinson@ncl.ac.uk</a></p> <p style="text-align: center;">School of Computing</p> <p style="text-align: center;">Newcastle University </p> <p style="text-align: center;"><span><span>NE4 5TG</span></span><br /> United Kingdom </p> <p style="text-align: center;">Telephone: <span>+44 </span>79 84 558070</p> </div> <p style="text-align: center;"> </p></p> </div> </div> </div> </div> </div> </body> </html>