[Caml-list] CfP: Reliability, safety and security of railway systems (RSSRail 2017)

[Caml-list] CfP: Reliability, safety and security of railway systems (RSSRail 2017)

[Alexander Romanovsky]

[-- Attachment #1: Type: text/plain, Size: 5540 bytes --]

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/
Call for Papers

The railway industry is facing an increasing pressure to improve system safety,
to decrease the production cost  and time to market, to reduce the carbon emission
and running cost, and to improve the system capacity.  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 argue that the development processes are meeting the standards.

Following the success of RSSRail 2016 held on June 28-30, 2016 in Paris, this conference
will contribute to a range of key objectives. There is a pressing demand 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 (in both  academia and industry) are driven by the real industrial
needs.  This will help ensure that such advances are followed by 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
developing advanced methods and tools that would ensure that the systems meet
the requirements imposed by the standards and help in building the arguments.

Development of complex railway systems of the future requires integrated environments
and methods that support different abstraction levels and different views, including systems
architecture, safety analysis, security analysis, verification tools and methods.

The conference aims to bring together researchers and engineers interested in building
critical railway applications and systems. This will be a working conference in which
research advances will be discussed and evaluated by both researchers and engineers
focusing on their potential to be deployed in industrial settings.

The topics of particular interest include
* Safety in development processes and safety management
* Combined approaches to safety and security
* System and software safety analysis
* Formal modelling and verification techniques
* System reliability
* Validation according to the standards
* Safety and security argumentation
* Fault and intrusion modelling and analysis
* Evaluation of system capacity, energy consumption, cost and their interplay
* Tool and model integration, toolchains
* Domain-specific languages and modelling frameworks
* Model reuse for reliability, safety and security
* Modelling for maintenance strategy engineering.

We are interested in the submissions of three types:
* Research papers
* Industrial experience reports
* PhD student papers.

The conference submission site is
https://easychair.org/conferences/?conf=rssrail2017

The research papers will be no more than 16 pages long, the industrial experience
reports and the PhD student papers – no more than 10 pages long. The submissions
will be formatted in the Springer LNCS format (see
www.springer.com/computer/lncs?SGWID=0-164-6-793341-0<http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0>).

The conference proceedings will be published by Springer in the LNCS series.

The important dates:
- June 1, 2017 - abstract submission
- June 8, 2017 - paper submission deadline
- July 8, 2017 - notification
- August 18, 2017 - camera-ready papers submitted

Conference Chairs:
Alessandro Fantechi, University of Firenze, 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 Firenze, Italy
David Bonvoisin, RATP, France
Fares Chucri, SNCF, France
Simon Collart-Dutilleul, IFSTTAR, 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 Mando, 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
Balazs Saghi, BUTE, Hungary
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 (joan.atkinson@newcastle.ac.uk<mailto:joan.atkinson@newcastle.ac.uk>)

Local Organisation Chair:
Veronica Bocci, DITECFER, Italy



[-- Attachment #2: Type: text/html, Size: 16331 bytes --]