The RSSR conference began in 2016 addressing
critical problems faced by the modern railway – how to deliver reliable
service to passengers and to freight operators, while maintaining very
high levels of safety. This year the RSSRail International Conference
will be held in Pistoia - Italy's 2017 Capital of Culture.
So what’s new? While these are
problems that the railway sector has faced for almost 200 years, new
factors and new trends demand new solutions. One of the biggest
challenges stems from ever increasing automation, driven by requirements
for increased capacity and greater efficiency that are further
compounded by increased integration of the railway network with other
transport systems. The outcome is incorporation of ever more digital
systems, with increasing complexity. This, together with the increased
openness and interconnection of the railway systems, brings an
ever-greater need for effective cyber security, guarding against
malicious threats that could compromise both safety and operational
So what can be done? Techniques
and tools are needed for modelling, analysis, verification and
validation that can cope with the new more complex systems; these
techniques must support rather than impede the development process and
must address and ensure:
Mini-tutorials will be organised during the morning of Tuesday, 14 November, 2017 – before the main conference programme starts that afternoon.
- Safety and integrity
- System security
- Adherence to standards
Four tutorials are available, but only two can be followed (see
below). Please go to the “iscrizioni” action below for registering AND
send an e-mail to Prof. Alessandro Fantechi (email@example.com) to indicate your choice of combination of two tutorials.
Tutorial 1. AdaCore technologies for CENELEC EN 50128 2011 (Presented by Eric Perlade from AdaCore).
Tutorial 2. Low cost high-integrity platform (Presented by Thierry Lecomte and Patrick Péronne from ClearSy).
Tutorial 3. Model-Checking a Railway Interlocking System (Presented by Nicolas Breton from Systerel).
Tutorial 4. REVEAL: Requirements elicitation, documentation and management approach (Presented by Andrew Hawthorn from Altran).
Tutorial's details are shown at link https://conferences.ncl.ac.uk/rssrail/tutorials/
The running order is:
Room 1: Tutorial 1; coffee break; Tutorial 4
Room 2: Tutorial 2; coffee break; Tutorial 3
Thus the combination of Tutorials 1 & 2 is not possible, and the same is true for Tutorials 3 & 4. All other selections are permitted.