International Conference on Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification http://conferences.ncl.ac.uk/rssrail/
28-30 June 2016 Espace du Centenaire, Maison de la RATP, Paris, France Call for Participation Conference Aims: * to bring together researchers and developers * to ensure that advances in research are driven by the real needs of the railway * to help develop technology that is usable, scalable and deployable * to support the provision and utilisation of advanced methods and tools * to present novel methods for modelling, analysis, verification and validation * to identify mechanisms and procedures which support evidence cases that standards are being met Challenges: * to improve railway system safety, security and reliability * to reduce production cost, time to market and running costs * to increase system capacity and reduce carbon emissions Context: * integration of railway systems into larger multi-mode transport networks * dramatic increases in the complexity of railway applications * ever higher degree of automation The conference will feature three invited keynote talks, from eminent and experienced investigators: Robin Bloomfield, Adelard LLP and City University London (UK) The risk assessment of ERTMS based railway systems from a cyber perspective: methodology and lessons learnt Denis Sabatier, ClearSy (France) Using formal proof and B method at system level for industrial projects Jan Peleska, University of Bremen and Verified Systems (Germany) A novel approach to HW/SW integration testing of route-based interlocking system controllers And the invited presentation by Claude Andlauer, Head of Rail Transport for RATP (France) Formal methods as part of RATP’s DNA Specific topics to be presented at RSSRail 2016 will include: * failure analysis, * interlocking verification, * formal system specification and refinement, * security analysis of ERTMS, * safety verification, * formalisation of requirements, * proof automation, * operational security, * railway system reliability, * risk assessment for ERTMS, * verification of EN-50128 safety requirements. For more details on the keynote talks, the individual papers and the posters to be presented, please visit the website: http://conferences.ncl.ac.uk/rssrail/programme/ The proceedings are published by Springer. Registration: http://conferences.ncl.ac.uk/rssrail/registration/ ------------------------------------------------------------------------------ Mobile security can be enabling, not merely restricting. Employees who bring their own devices (BYOD) to work are irked by the imposition of MDM restrictions. Mobile Device Manager Plus allows you to control only the apps on BYO-devices by containerizing them, leaving personal data untouched! https://ad.doubleclick.net/ddm/clk/304595813;131938128;j _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
