[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS-ANNOUNCE] CfP: Reliability, safety and security of railway systems - Int. Conference



International Conference on Reliability, Safety and Security of Railway Systems: 
Modelling, Analysis, Verification and Certification - RSSR 2016  
June 28-30, 2016, Paris, France 
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. 

This conference will contribute to a range of key objectives. Thus, 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 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

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=rssr2016

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 

The conference proceedings will be published by Springer (under discussion).

The important dates:
- January 20, 2016 - submission deadline
- February 22, 2016 - notification
- March 25, 2016 - camera-read papers submitted to the publisher
- June 28-30, 2016 - conference

Conference Chairs:
Thierry Lecomte, ClearSy, France
Ralf Pinger, Siemens Rail Automation, Germany
Alexander Romanovsky, Newcastle University, UK

PC members:
Mark Behrens, DLR, Germany
Andrea Bondavalli, University of Firenze, Italy
David Bonvoisin, RATP, France
Stephane Callet, SNCF, France
Simon Collart-Dutilleul, IFFSTAR, France
Veronique Delebarre, SafeRiver, France
Alessandro Fantechi, University of Firenze, Italy 
Francesco Flammini, Ansaldo STS, Italy
Wan Fokkink, Vrije University, Netherlands 
Stefania Gnesi, ISTI, Italy
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
Tom Maibaum, McMaster University, Canada
Jean Marc Mota, Thales R&T, France  
Odd Nordland, SINTEF, Norway 
Yiannis Papadopoulos, Hull University, UK
Andras Pataricza, BUTE University, Hungary
Peter Popov, City University, UK
Etienne Prun, ClearSy, France
Joris Rehm, ClearSy, France
Aryldo Russo, CERTIFER, France
Kenji Taguchi, AIST, Japan
Ina Schaefer, TU Braunschweig, Germany
Reiner Schmid, Siemens CT Munich, Germany
Walter Schon, University of Technology Compiegne, France
Laurent Voisin, Systerel, France
Kirsten Winter, University of Queensland, Australia

Conference Organisation and Financial Chair:
Joan Atkinson, Newcastle University, UK (joan.atkinson@xxxxxxxxxxxxxxx)

Web site design:
Wayne Smith, Newcastle University, UK

The conference venue: Espace du Centenaire, Maison de la RATP, Paris