From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id BBDA67EE78; Tue, 12 Apr 2016 23:51:53 +0200 (CEST) IronPort-PHdr: 9a23:teXpQB+miguWx/9uRHKM819IXTAuvvDOBiVQ1KB80uocTK2v8tzYMVDF4r011RmSDdWdtqgMotGVmp6jcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47AblHf6ke/8SQVUk2mc1EldqKoQMb7tIee6aObw9XreQJGhT6wM/tZDS6dikHvjPQQmpZoMa0ryxHE8TNicuVSwn50dxrIx06vrvGZp8Y6tnwJ87J4qo8TGZn9Ko08QKxRCjgrKSgP48jisx7dVgieri8VVmgGmxxEDhKD9hb/V5H2rDD5p8J71TaRNNbqSb1yUD/k8qQ9GzHyjyJSHjo04GjRhsFqxJhcpRunoAJkwJ+cNIiROep3eK/QZ5UAQm9IWMFPTC9QKoWxcIAGFPYFMKBRpM/gpA1d/lOFGQCwCba3mXdzjXjs0Phjjuk= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=alexander.romanovsky@newcastle.ac.uk; spf=Pass smtp.mailfrom=alexander.romanovsky@newcastle.ac.uk; spf=None smtp.helo=postmaster@cheviot22.ncl.ac.uk Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of alexander.romanovsky@newcastle.ac.uk) identity=pra; client-ip=128.240.234.22; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="alexander.romanovsky@newcastle.ac.uk"; x-sender="alexander.romanovsky@newcastle.ac.uk"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of alexander.romanovsky@newcastle.ac.uk designates 128.240.234.22 as permitted sender) identity=mailfrom; client-ip=128.240.234.22; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="alexander.romanovsky@newcastle.ac.uk"; x-sender="alexander.romanovsky@newcastle.ac.uk"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@cheviot22.ncl.ac.uk) identity=helo; client-ip=128.240.234.22; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="alexander.romanovsky@newcastle.ac.uk"; x-sender="postmaster@cheviot22.ncl.ac.uk"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CDAAAkbQ1Xkxbq8IBUCg6DfG4BAQ0GumIBDYF2FwuHKTgUAQEBAQEBAQERAQEBAQkLCQkhL4ItghsSAQojAQEmEhEBgQAnBDWHcQMSBAqhWwGBJwEcYQUoAopnAQGFJwEEiBAYOYR0AQEBFgaGIYF1hmsIgmoLQBiCK5gNgVSEI4l9ToIqgVaIW48nHgEBgleBFztsiEolGAF9AQEB X-IPAS-Result: A0CDAAAkbQ1Xkxbq8IBUCg6DfG4BAQ0GumIBDYF2FwuHKTgUAQEBAQEBAQERAQEBAQkLCQkhL4ItghsSAQojAQEmEhEBgQAnBDWHcQMSBAqhWwGBJwEcYQUoAopnAQGFJwEEiBAYOYR0AQEBFgaGIYF1hmsIgmoLQBiCK5gNgVSEI4l9ToIqgVaIW48nHgEBgleBFztsiEolGAF9AQEB X-IronPort-AV: E=Sophos;i="5.24,476,1454972400"; d="scan'208";a="173979320" Received: from cheviot22.ncl.ac.uk ([128.240.234.22]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 12 Apr 2016 23:51:52 +0200 Received: from exhubvm01.ncl.ac.uk ([128.240.234.5] helo=EXHUBVM01.campus.ncl.ac.uk) by cheviot22.ncl.ac.uk with esmtp (Exim 4.63) (envelope-from ) id 1aq5fC-0004Qr-Ff; Tue, 12 Apr 2016 22:15:58 +0100 Received: from emea01-am1-obe.outbound.protection.outlook.com (213.199.154.12) by exhub.ncl.ac.uk (128.240.234.5) with Microsoft SMTP Server (TLS) id 14.3.266.1; Tue, 12 Apr 2016 22:15:55 +0100 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=newcastle.onmicrosoft.com; s=selector1-newcastle-ac-uk; h=From:To:Date:Subject:Message-ID:Content-Type:MIME-Version; bh=53vXfkD70ccjToo5FbEmXgpvW/7q2z9IxIg/o5t0ZV4=; b=oQ7bTjRozUVS4KehpC2GlnyPUxoOTaF9QAVEmFvbyWvK8fURmdtde8n+rzxKeD+IgBZvMFPzU4Xl78qyQyTo52Y4T13muUa6s071tSlAVGktnfVTlR73Fw4DjxcO6koWMMJ6UK5LaQywUaHbxgUztJb0lSiXyTH8kYA1uRQjzc8= Received: from HE1PR07MB1337.eurprd07.prod.outlook.com (10.164.52.15) by HE1PR07MB1339.eurprd07.prod.outlook.com (10.164.52.17) with Microsoft SMTP Server (TLS) id 15.1.466.12; Tue, 12 Apr 2016 21:15:52 +0000 Received: from HE1PR07MB1337.eurprd07.prod.outlook.com ([10.164.52.15]) by HE1PR07MB1337.eurprd07.prod.outlook.com ([10.164.52.15]) with mapi id 15.01.0466.018; Tue, 12 Apr 2016 21:15:52 +0000 From: Alexander Romanovsky To: Alexander Romanovsky Thread-Topic: CfPart: Int. Conference on Reliability, Safety and Security of Railway Systems Thread-Index: AQHRlQB+BYX8Fa8Yj0KAWsIO42roGQ== Date: Tue, 12 Apr 2016 21:15:52 +0000 Message-ID: <524FDDA4-BD36-48FA-8EB1-F9CC739FF80C@newcastle.ac.uk> Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-mailer: Apple Mail (2.1878.6) x-ms-exchange-messagesentrepresentingtype: 1 x-originating-ip: [82.43.130.203] x-ms-office365-filtering-correlation-id: 90e4d53f-040f-45c9-9b53-08d36317a122 x-microsoft-exchange-diagnostics: 1;HE1PR07MB1339;5:5BYjy5zR+HZhmcX3LIQP940C135e2ATkG6eASZVDADAZhwwWPaVsfotQfXyY7ObzH3oKlvo51F2G9O32zr6aqhWQ2U3rh5+KlzqrWiOxNeV+LgDDEHaSaVyqogzWwboXXDOwd7yDjvOK/gQ2s7pTDDJpMV1E7WiPLqYclqToG/kSP93YWThV4LC+tvn/UWpY;24:YJD/bXhT+vao8mMgB/PD4KXTemRBqITwaghm9/JUTCoI6XKBt5c+8Nf/D7196yQQCDi0Jbg2yV74etuVYS/2njRh26jwovVhDnbJdQOVEOg=;7:UbrD6sqV2mwtU3WSmB7jU0NLaQA3qFcd+drlFzutew4cBML6oZXbD5dV0uYcUbTR424ys4wmJycMgwv6AKxD+R8Gt/5D1QRmtbznZbN70+iEsw6fwYB9ewvv0mh6qupa1YDdOYxuRJjR5NKS9BpXhKOhHjhOXDWNgDNOQQdFMXIfUO9U85ItFyL75+tVd2dw2AWDoby/QlUwmmHc5yVZovJO2IVMgq6SmZUREJHN0FU= x-microsoft-antispam: UriScan:;BCL:0;PCL:0;RULEID:;SRVR:HE1PR07MB1339; x-microsoft-antispam-prvs: x-exchange-antispam-report-test: UriScan:; x-exchange-antispam-report-cfa-test: BCL:0;PCL:0;RULEID:(601004)(2401047)(5005006)(8121501046)(3002001)(10201501046);SRVR:HE1PR07MB1339;BCL:0;PCL:0;RULEID:;SRVR:HE1PR07MB1339; x-forefront-prvs: 0910AAF391 x-forefront-antispam-report: SFV:NSPM;SFS:(10009020)(6029001)(6009001)(30513003)(10710500007)(6116002)(102836003)(1220700001)(3846002)(19580395003)(5008740100001)(586003)(4001450100002)(10400500002)(15650500001)(5002640100001)(36756003)(2420400007)(33656002)(6200100001)(82746002)(83716003)(81166005)(2906002)(87936001)(92566002)(107886002)(15975445007)(122556002)(3660700001)(189998001)(74482002)(5004730100002)(110136002)(11100500001)(106116001)(50226001)(229853001)(7110500001)(1096002)(86362001)(77096005)(3280700002)(57306001)(50986999)(104396002);DIR:OUT;SFP:1101;SCL:1;SRVR:HE1PR07MB1339;H:HE1PR07MB1337.eurprd07.prod.outlook.com;FPR:;SPF:None;MLV:sfv;LANG:en; spamdiagnosticoutput: 1:23 spamdiagnosticmetadata: NSPM Content-Type: text/plain; charset="Windows-1252" Content-ID: <15E57E26EA5C0549B145796554DB9E8D@eurprd07.prod.outlook.com> Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-MS-Exchange-CrossTenant-originalarrivaltime: 12 Apr 2016 21:15:52.5200 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 9c5012c9-b616-44c2-a917-66814fbe3e87 X-MS-Exchange-Transport-CrossTenantHeadersStamped: HE1PR07MB1339 X-OriginatorOrg: newcastle.ac.uk X-Validation-by: alexander.romanovsky@newcastle.ac.uk Subject: [Caml-list] CfPart: Int. Conference on Reliability, Safety and Security of Railway Systems International Conference on=20 Reliability, Safety and Security of Railway Systems:=20 Modelling, Analysis, Verification and Certification http://conferences.ncl.ac.uk/rssrail/=20 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 r= ailway * 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 valida= tion * to identify mechanisms and procedures which support evidence cases=20 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=20 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=20 system controllers And the invited presentation by Claude Andlauer, Head of Rail Transport for= RATP (France) Formal methods as part of RATP=92s DNA Specific topics to be presented at RSSRail 2016 will include: * failure analysis,=20 * interlocking verification,=20 * formal system specification and refinement,=20 * security analysis of ERTMS,=20 * safety verification,=20=20 * formalisation of requirements,=20 * proof automation, * operational security,=20 * railway system reliability,=20 * risk assessment for ERTMS,=20 * verification of EN-50128 safety requirements. For more details on the keynote talks, and on the individual papers to be p= resented,=20 please visit the website: http://conferences.ncl.ac.uk/rssrail/programme/ The proceedings are published by Springer. There is still an opportunity to submit a poster - closing date: 1 May 2016= . The conference=20 will include a selected poster and vendor exhibition. Registration: http://conferences.ncl.ac.uk/rssrail/registration/