[Om-announce] CfPart: Reliability, safety and security of railway systems - RSSRail 2017 (Pistoia, Italy)

[Alexander Romanovsky]

******************************************************************

                     CALL FOR PARTICIPATION

International conference on reliability, safety and security of railway systems:
        modelling, analysis, verification and certification
                             RSSRail 2017

              November 14-16, 2017, Pistoia, Italy
              https://conferences.ncl.ac.uk/rssrail/

******************************************************************

The conference focuses  on the reliability, safety and security of railway
systems, faced with new challenges (such as increasing capacity and speed),
new trends (such as pervading automation), and new threats (such as cyber-
security). Advanced techniques and tools are needed for modelling,
analysis, verification and validation that can cope with these issue.
There is a pressing need to bring together researchers and developers working on
railway system reliability, security and safety to discuss how these requirements
can be met in an integrated way. It is also vital to ensure that all advances in
research (both in academia and industry) are driven by real industrial needs.
This can help ensure that such advances are followed by industrial deployment.
Another particularly important objective is to integrate research advances into
the current development processes, and make them usable and scalable.

The conference is jointly organized by Newcastle University, University of
Florence and DITECFER.

*** VENUE ***

Pistoia, Italy

Pistoia is a little-known delight, often missed by travellers in favour or its
neighbour Tuscan towns such as Florence, Pisa, Lucca and Siena.  Yet Pistoia is
a gem. All the ingredients of an old Tuscan city are there: old walls, striped
churches, frescoes, medieval watchtowers, arcaded piazzas packed into a rather
small centre. Pistoia has been elected Italy's 2017 Capital of Culture.
Pistoia has also hosted an important presence of railways for more than 150
years: from the first trans-Apennines north-south connection, to the locomotive
depot now hosting heritage railway stock, to the presence of a wide-ranging
and innovative grouping of rail industry suppliers.


*** REGISTRATION ***

Registration is open! Early registration until October 2.
http://conferences.ncl.ac.uk/rssrail/registration/


*** RESEARCH PROGRAM ***

The program include eleven technical papers, three industrial experience reports and
two PhD students papers. The papers confirm a wide interest in developing, and
applying in practice, formal modelling and verification techniques as the most cost
effective way to guarantee the safety of nowadays very complex railway system.
Besides these continued research area, two important topics clearly emerge from
the accepted papers: the challenges posed to the safety and security of railway
systems by the increasing reliance on advanced communication means on one side,
and the industrial interest in the expansion of automation and advanced signalling
expanding from the sector of main line railways to light rail and urban transit.
See details at:
http://conferences.ncl.ac.uk/rssrail/programme/

The program is completed by  three keynote speakers and four tutorials, by posters
and industrial exhibitors, and by a presentation of the Shift2Rail initiative.


*** KEYNOTE SPEAKERS ***

Jens Braband, Siemens AG, Rail Automation and Honorary Professor of Technical
University of Braunschweig, Germany:
'Quo vadis - Cybersecurity in railways'.

Michael Leuschel, Heinrich Heine Universität, Dusseldorf, Germany:
'The Unreasonable Effectiveness of B for Data Validation and Modelling of
Railway Systems'.

Aryldo Ar. Russo, CERTIFER, France:
'Safety Certification: considering processes around the world.'

*** TUTORIALS ***

Four tutorials will be presented, see details at:
http://conferences.ncl.ac.uk/rssrail/tutorials/

*** COMMITTES ***

Conference Chairs:
Alessandro Fantechi, University of Florence, Italy
Thierry Lecomte, ClearSy, France
Alexander Romanovsky, Newcastle University, UK

PC members:
Carlo Becheri, ALSTOM, Italy
Mark Behrens, Independent consultant, Germany
Andrea Bondavalli, University of Florence, Italy
David Bonvoisin, RATP, France
Fares Chucri, SNCF, France
Simon Collart-Dutilleul, IFFSTAR, France
Francesco Flammini, UMUC Europe, Germany
Stefania Gnesi, ISTI, Italy
Frank Golatowski, University of Rostock, Germany
Anne Haxthausen, Technical University of Denmark, Denmark
Baseliyos Jacob, Deutsche Bahn, Germany
Michael Jastram, Formal Mind, Germany
Alexei Iliasov, Newcastle University, UK
Tim Kelly, University of York, UK
Hironobu Kuruma, Hitachi, Japan
Michael Leuschel, Dusseldorf University, Germany
Gianluca Mandò, Thales, Italy
Jean Marc Mota, Thales R&T, France
Jan Peleska, Verified Systems International, Germany
Ralf Pinger, Siemens AG, Germany
Christophe Ponsard, CETIC, Belgium
Peter Popov, City University, UK
Etienne Prun, ClearSy, France
Matteo Rossi, Politecnico di Milano, Italy
Aryldo Russo, CERTIFER, France
Kenji Taguchi, AIST, Japan
Jaco van de Pol, University of Twente, Netherlands
Laurent Voisin, Systerel, France
Kirsten Winter, University of Queensland, Australia

Conference Organisation and Financial Chair:
Joan Atkinson, Newcastle University, UK

Local Organisation Chair:
Veronica Bocci, DITECFER, Italy


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://openmath.org/pipermail/om-announce/attachments/20170909/3e47c713/attachment-0001.html>