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 2CFF27F612; Tue, 10 May 2016 15:47:49 +0200 (CEST) IronPort-PHdr: 9a23:9Ir9phxLZqAgqhvXCy+O+j09IxM/srCxBDY+r6Qd0OsQIJqq85mqBkHD//Il1AaPBtWKrasYwLSJ+4nbGkU+or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6anHS+4HYoFwnlMkItf6KuSt+U1pj8ib/60qaQSjsLrQL1Wal1IhSyoFeZnegtqqwmFJwMzADUqGBDYeVcyDAgD1uSmxHh+pX4p8Y7oGxmkql5rosYCO26Jvl5HvRkC2EPN20l7cvnuAOLdwyK730bTH4Vg1IcCgzI/Bj8Uprr9DH9s+N73zeBPtzeS70rUj2586NmDhbjzjoEYW0X6mbS3+V0gbJSph6svVRFxIvdZoaLL/lvNvfUed4KTGxNU9wXTStEC4W7cZAMHsIHMPlTppLho1ZIpBD4GAr6V7Cn8SNBmnKjhf5y6O8mCwyThVEt 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=Pass smtp.helo=postmaster@cheviot12.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.12; 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.12 as permitted sender) identity=mailfrom; client-ip=128.240.234.12; 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: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@cheviot12.ncl.ac.uk designates 128.240.234.12 as permitted sender) identity=helo; client-ip=128.240.234.12; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="alexander.romanovsky@newcastle.ac.uk"; x-sender="postmaster@cheviot12.ncl.ac.uk"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BjAQB25TFXkAzq8IBSCg6Df24BAQ0GuyQXC4coPBABAQEBAQEBAREBAQEBCQsJCSEvQRKBWoIbEgEKIwEBJhIRAYEAJwQ1h3MDEwQKl34BgScBHGEFKAKKbAEBhScBAQSHehg5g3ABAQEWBoYggXaGbQiCaAtAGIIumCyBVoQoiglOgiqBV4hhj0A3gkGBGjtuhyQqJRgBfgEBAQ X-IPAS-Result: A0BjAQB25TFXkAzq8IBSCg6Df24BAQ0GuyQXC4coPBABAQEBAQEBAREBAQEBCQsJCSEvQRKBWoIbEgEKIwEBJhIRAYEAJwQ1h3MDEwQKl34BgScBHGEFKAKKbAEBhScBAQSHehg5g3ABAQEWBoYggXaGbQiCaAtAGIIumCyBVoQoiglOgiqBV4hhj0A3gkGBGjtuhyQqJRgBfgEBAQ X-IronPort-AV: E=Sophos;i="5.24,604,1454972400"; d="scan'208";a="177245208" Received: from cheviot12.ncl.ac.uk ([128.240.234.12]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 10 May 2016 15:47:48 +0200 Received: from exhubvm02.ncl.ac.uk ([128.240.234.9] helo=EXHUBVM02.campus.ncl.ac.uk) by cheviot12.ncl.ac.uk with esmtp (Exim 4.63) (envelope-from ) id 1b07cy-0000dQ-BM; Tue, 10 May 2016 14:23:08 +0100 Received: from EUR01-DB5-obe.outbound.protection.outlook.com (213.199.154.180) by exhub.ncl.ac.uk (128.240.234.9) with Microsoft SMTP Server (TLS) id 14.3.266.1; Tue, 10 May 2016 14:22: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=jS2xAovqa2Vj4bPIS/yqjM5SNUkkE893jfyKFJFGhs0=; b=CNxn8WiusTKlglgWMnirCzd4Yx+PbZzO9bhxPR0DlP02i/L+Qh/Xwt5H/L4VxzlnRW9rK4HClLPsmhpdoFP+1P8zovh0+X7CUHX4XXFbamHGHUh7xe/I4zDSP9wuVvn49cQkeoa28wk9BeWEWOub9+ixBVs9rRuWWKDglC0lu58= Received: from DB5PR07MB1336.eurprd07.prod.outlook.com (10.164.42.18) by DB5PR07MB1336.eurprd07.prod.outlook.com (10.164.42.18) with Microsoft SMTP Server (TLS) id 15.1.492.11; Tue, 10 May 2016 13:22:54 +0000 Received: from DB5PR07MB1336.eurprd07.prod.outlook.com ([10.164.42.18]) by DB5PR07MB1336.eurprd07.prod.outlook.com ([10.164.42.18]) with mapi id 15.01.0492.016; Tue, 10 May 2016 13:22:54 +0000 From: Alexander Romanovsky To: Alexander Romanovsky Thread-Topic: CfPart: Int. Conference on Reliability, Safety and Security of Railway Systems Thread-Index: AQHRqr8O1RBUTZDsVkSKuhO85VE1NA== Date: Tue, 10 May 2016 13:22:53 +0000 Message-ID: <19A5CFC6-7A58-48F2-8FC6-A81394F1F802@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: [5.148.95.36] x-ms-office365-filtering-correlation-id: 4ca1a3bb-7ec1-4801-6dd0-08d378d631cf x-microsoft-exchange-diagnostics: 1;DB5PR07MB1336;5:jqbCmYQhJM0i6ObUR4y8L+8SioOqeF7A4UUoWShQHePH1LPoaPAi1FxgAAkfCJ6PUvY3L9dF4B1zQdFvJXp/3Qf/RiccqAa7MIkBlOUXqy7aQAVLvsmp3oACK9U2Od77uV1BZZ5Y1N52eY0/3txbqw==;24:QKjdhZOj9Io1Vz/QQa99JqzYEuZuT6XCjSb3/8HKdWjtel7ZMrRJnd6dsmRW5sLklsoz9YWMzHEsegpqiEkpbtQtJQMskUqP5XtV33gzYnI=;7:TdRBG49jKaZDVaVm7MMaFTbnLqFJvdeUK3pm+LxJUKtIit+p4HHE/1dfN/OVYo4brNN0LE7Um2gCzqQtnHX9pJWAHnu4kPMdtS47wK5BIKjOckg2jSbx75/J3yLFqIyEBvRgxNk5pUGOMP6gDOIdl4YfKJ1Njwn7ofx9ydymR6OY9vqJ2vublD2bksHyXbAr x-microsoft-antispam: UriScan:;BCL:0;PCL:0;RULEID:;SRVR:DB5PR07MB1336; x-microsoft-antispam-prvs: x-exchange-antispam-report-test: UriScan:(220618547472400); x-exchange-antispam-report-cfa-test: BCL:0;PCL:0;RULEID:(601004)(2401047)(5005006)(8121501046)(3002001)(10201501046);SRVR:DB5PR07MB1336;BCL:0;PCL:0;RULEID:;SRVR:DB5PR07MB1336; x-forefront-prvs: 0938781D02 x-forefront-antispam-report: SFV:NSPM;SFS:(10009020)(6009001)(6029001)(55885003)(30513003)(71446004)(33656002)(92566002)(15975445007)(1220700001)(87936001)(6200100001)(4001450100002)(5004730100002)(8936002)(66066001)(106116001)(11100500001)(229853001)(189998001)(74482002)(83716003)(57306001)(10710500007)(586003)(7110500001)(2906002)(36756003)(10400500002)(82746002)(2900100001)(3660700001)(3280700002)(107886002)(81166005)(15650500001)(2420400007)(50986999)(102836003)(3846002)(6116002)(122556002)(110136002)(50226002)(5008740100001)(5002640100001)(19580395003)(77096005)(86362001)(7059030)(104396002);DIR:OUT;SFP:1101;SCL:1;SRVR:DB5PR07MB1336;H:DB5PR07MB1336.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: <716E9BC4D6DB544FB8358A7143987A0F@eurprd07.prod.outlook.com> Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-MS-Exchange-CrossTenant-originalarrivaltime: 10 May 2016 13:22:53.6977 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 9c5012c9-b616-44c2-a917-66814fbe3e87 X-MS-Exchange-Transport-CrossTenantHeadersStamped: DB5PR07MB1336 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, the individual papers and the poster= s to be=20 presented, please visit the website: http://conferences.ncl.ac.uk/rssrail/p= rogramme/ The proceedings are published by Springer. Registration: http://conferences.ncl.ac.uk/rssrail/registration/