posted by user: ndisp || 6777 views || tracked by 9 users: [display]

RSSR 2016 : International Conference on Reliability, Safety and Security of Railway Systems

FacebookTwitterLinkedInGoogle

Link: http://conferences.ncl.ac.uk/rssrail/
 
When Jun 28, 2016 - Jun 30, 2016
Where Paris, France
Submission Deadline Jan 20, 2016
Notification Due Feb 22, 2016
Final Version Due Mar 25, 2016
Categories    verification   security   software engineering
 

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 (see www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).



The conference proceedings will be published by Springer in the LNCS series (Lecture Notes in Computer Science).

β€Œ

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

Related Resources

CSITS 2018   International Workshop on Cyber Security for Intelligent Transportation Systems
ISCSAI 2018   2018 International Symposium on Computer Science and Artificial Intelligence
ITCE 2019   The International Conference on Innovative Trends in Computer Engineering
FI-IoTSP 2018   Future Internet Journal: Special Issue on IoT Security and Privacy
QRS 2019   The 19th IEEE International Conference on Software Quality, Reliability, and Security
IJCSITCE 2018   The International Journal of Computational Science, Information Technology and Control Engineering
IEEE--ICSRS--Ei and Scopus 2018   IEEE--2018 3rd International Conference on System Reliability and Safety (ICSRS 2018)--Ei Compendex and Scopus
DSN 2019   Dependable Systems and Networks
ACM--CSAI--Ei Compendex, Scopus 2018   ACM--2018 2nd International Conference on Computer Science and Artificial Intelligence (CSAI 2018)--Ei Compendex, Scopus
ICSRS--IEEE, Ei and Scopus 2018   IEEE--2018 3rd International Conference on System Reliability and Safety (ICSRS 2018)--Ei Compendex and Scopus