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>Slides; 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="28 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> » Slides</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><a href="/rssrail/programme/">Programme</a></li><li><a href="/rssrail/invited_talks/">Invited Talks </a></li><li><span class="currentbranch0"><a href="/rssrail/slides/">Slides</a></span></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'>Slides</h3>  <div class=''> <div> <p><p><span>Slides of the conference presentations and tutorials are listed below.</span></p> <p><strong><span>Tuesday - 14th Nov:</span></strong></p> <ul> <li>Tutorial 1: <span class="mceNonEditable"><a href="/media/sites/conferencewebsites/rssrail/Eric Perlade - AdaCore technologies for CENELEC EN 50128 2011 .pdf">Eric Perlade - AdaCore technologies for CENELEC EN 50128 2011</a></span>&zwnj;&zwnj;</li> <li>Tutorial 2: <span class="mceNonEditable"><a href="/media/sites/conferencewebsites/rssrail/Thierry Lecomte - LCHIP-ClearSy.pdf">Thierry Lecomte - ClearSy - LCHIP: Low cost high-integrity platform</a></span>&zwnj;&zwnj;</li> <li>Tutorial 4: <a href="/media/sites/conferencewebsites/rssrail/Andrew Hawthorn - ALTRAN - A Proven Approach to Requirements Engineering.pdf">Andrew Hawthorn - ALTRAN - REVEAL: Requirements elicitation, documentation and management approach</a></li> </ul> <ul> <li><span class="mceNonEditable">&zwnj;&zwnj;</span><a href="/media/sites/conferencewebsites/rssrail/Giovanni - Giambene - LTE System Design for Urban Light Rail.pdf">Giovanni Giambene - LTE Performance Evaluation for Light Rail Transit (LRT) Signaling Safety Applications</a></li> <li><a href="/media/sites/conferencewebsites/rssrail/Roberto Canonico - A framework to evaluate 5G networks for smart and fail-safe communications.pdf">Roberto Canonico - A framework to evaluate 5G networks for smart and fail-safe communications in ERTMS/ETCS</a></li> <li><a href="/media/sites/conferencewebsites/rssrail/Yue Wu - Systems-Theoretic Likelihood and Severity Analysis for Safety and Security Co-Engineering.pdf">Yue Wu - Systems-Theoretic Likelihood and Severity Analysis for Safety and Security Co-Engineering</a></li> </ul> <p><strong><span>Wednesday - 15th Nov:</span></strong></p> <ul> <li><a href="/media/sites/conferencewebsites/rssrail/Colin Snook - Formal Modelling Techniques for Efficient Development of Railway Control Products.pdf">Colin Snook - Formal Modelling Techniques for Efficient Development of Railway Control Products</a></li> <li><a href="/media/sites/conferencewebsites/rssrail/Manel Fredj - OVADO Enhancing Data Validation for Safety-Critical.pdf">Manel Fredj - Enhancing Data Validation for Safety-Critical Railway Systems Industry</a></li> <li><a href="/media/sites/conferencewebsites/rssrail/Anne Haxthausen - A Domain-Specific Language for Generic Interlocking Models and Their Properties.pdf">Anne Haxthausen - A Domain-Specific Language for Generic Interlocking Models and Their Properties</a></li> <li><a href="/media/sites/conferencewebsites/rssrail/Ci Liang - Bayesian Network Modeling Applied on Railway.pdf">Ci Liang - Bayesian Network Modeling Applied on Railway Level Crossing Safety</a></li> <li><a href="/media/sites/conferencewebsites/rssrail/Eduard Kamburjan - Deductive Verification of Railway Operations.pdf">Eduard Kamburjan - Deductive Verification of Railway Operations</a></li> <li><a href="/media/sites/conferencewebsites/rssrail/David Deharbe - Safety Analysis of a CBTC System A Rigorous Approach with System Level B Industry.pdf">David Deharbe - Safety Analysis of a CBTC System A Rigorous Approach with System Level B Industry</a></li> <li><a href="/media/sites/conferencewebsites/rssrail/Stefan Mitsch - Formal Verification of Train Control with Air Pressure Brakes.pdf">Stefan Mitsch - Formal Verification of Train Control with Air Pressure Brakes</a></li> </ul> <p><strong>Thursday - 16th Nov:</strong></p> <ul> <li><span class="mceNonEditable"><a href="/media/sites/conferencewebsites/rssrail/Aryldo Russo - Safety Certification considering processes around the world1.pptx">Aryldo Russo - Safety Certification considering processes around the world</a></span>&zwnj;</li> <li><a href="/media/sites/conferencewebsites/rssrail/Karim Kecir - An efficient evaluation scheme for KPIs in regulated urban train systems.pdf">Karim Kecir - An efficient evaluation scheme for KPIs in regulated urban train systems</a></li> <li><a href="/media/sites/conferencewebsites/rssrail/Davide Basile - Dependable Dynamic Routing for Urban Transport Systems.pdf">Davide Basile - Dependable Dynamic Routing for Urban Transport Systems Through Integer Linear Programming</a></li> <li><a href="/media/sites/conferencewebsites/rssrail/Paulius Stankaitis - Theories, Techniques and Tools for Engineering Heterogeneous Railway Networks.pdf">Paulius Stankaitis - Theories, Techniques and Tools for Engineering Heterogeneous Railway Networks</a></li> <li><a href="/media/sites/conferencewebsites/rssrail/Mario Fusani - Are Standards an ambiguity-free reference for product validation.pdf">Mario Fusani - Are Standards an ambiguity-free reference for product validation</a></li> </ul> <p><strong><span>&zwnj;</span>&zwnj;</strong></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>