From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id BD05D7EE35; Fri, 25 Mar 2016 10:33:39 +0100 (CET) IronPort-PHdr: 9a23:x26ZNhxiuFdK2CTXCy+O+j09IxM/srCxBDY+r6Qd0OsQIJqq85mqBkHD//Il1AaPBtWLragcwLKN+4nbGkU+or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6anHS+4HYoFwnlMkItf6KuSt6U1Zz8j7v60qaQSjsLrQL1Wal1IhSyoFeZnegtqqwmFJwMzADUqGBDYeVcyDAgD1uSmxHh+pX4p8Y7oGxmkql5rosYCO26Jvl5HvRkC2EPN20l7cvnuAOLdwyK730bTH4Vg1IcCgzI/Bj8Uprr9DH9s+N73zeBPtzeS70rUj2586NmDhbjzjoEYW0X6mbS3+V0gbJSph6svVRFxIvdZoaLL/lvNvfUed4KTGxNU9wXTStEC4W7cZAMHsIHMPlTppLho1ZIpBD4GAr6V7Cn8SNBmnKjhf5y6O8mCwyThVEt Authentication-Results: mail2-smtp-roc.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 (mail2-smtp-roc.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=mail2-smtp-roc.national.inria.fr; envelope-from="alexander.romanovsky@newcastle.ac.uk"; x-sender="alexander.romanovsky@newcastle.ac.uk"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.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=mail2-smtp-roc.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 (mail2-smtp-roc.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=mail2-smtp-roc.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: A0A/AQA9BPVWkwzq8IBUCg6Cen5uAQENvFgXCociOxEBAQEBAQEBARABAQEBCQsJCSEvgi2CGxIBCiMBASYSEQGBACcENYdwAxIBAwqhbQGBJwEcYQUoAopnAQGFJwEEhxMYOYQ+AQEBFgaGHoFzCIZbCIJqC0AYgiuXZYFShB+IHYFcTYIpgVaIWY8KNoJAgRY7bIgbJYEWAQEB X-IPAS-Result: A0A/AQA9BPVWkwzq8IBUCg6Cen5uAQENvFgXCociOxEBAQEBAQEBARABAQEBCQsJCSEvgi2CGxIBCiMBASYSEQGBACcENYdwAxIBAwqhbQGBJwEcYQUoAopnAQGFJwEEhxMYOYQ+AQEBFgaGHoFzCIZbCIJqC0AYgiuXZYFShB+IHYFcTYIpgVaIWY8KNoJAgRY7bIgbJYEWAQEB X-IronPort-AV: E=Sophos;i="5.24,390,1454972400"; d="scan'208";a="210150993" Received: from cheviot12.ncl.ac.uk ([128.240.234.12]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 25 Mar 2016 10:33:38 +0100 Received: from exhubvm01.ncl.ac.uk ([128.240.234.5] helo=EXHUBVM01.campus.ncl.ac.uk) by cheviot12.ncl.ac.uk with esmtp (Exim 4.63) (envelope-from ) id 1ajO7e-00061c-Ay; Fri, 25 Mar 2016 09:33:38 +0000 Received: from EUR01-DB5-obe.outbound.protection.outlook.com (213.199.154.183) by exhub.ncl.ac.uk (128.240.234.5) with Microsoft SMTP Server (TLS) id 14.3.266.1; Fri, 25 Mar 2016 09:33:35 +0000 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=3P9e6YJU7SwZcsQS6NLgMjbMzimhq82MaMCNUp1BPko=; b=mfrsi8VQWUeqmo7y+9T6cONeDSxlJnG281SaHmxHelyDnC3OM2KeB4XPPkcApnBlzgJAr8FRdzchLZJPYvQH+OBo35Y7vACHzOzOpnfjZOMn8wy3qI4tRPIQUpFCxKeTjdqO2ZzYUn5RJi9vqY9wOTIAEltHO9nVSH72P4kWaiA= Received: from AM4PR07MB1426.eurprd07.prod.outlook.com (10.165.248.17) by AM4PR07MB1426.eurprd07.prod.outlook.com (10.165.248.17) with Microsoft SMTP Server (TLS) id 15.1.443.7; Fri, 25 Mar 2016 09:33:34 +0000 Received: from AM4PR07MB1426.eurprd07.prod.outlook.com ([10.165.248.17]) by AM4PR07MB1426.eurprd07.prod.outlook.com ([10.165.248.17]) with mapi id 15.01.0443.015; Fri, 25 Mar 2016 09:33:33 +0000 From: Alexander Romanovsky To: Alexander Romanovsky Thread-Topic: CfPart: Int. Conference on Reliability, Safety and Security of Railway Systems Thread-Index: AQHRhnlmuzbX8utaGEaGYeJgv6z9+g== Date: Fri, 25 Mar 2016 09:33:33 +0000 Message-ID: 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: [2a02:c7d:5e03:f000:7d3a:f32b:96ce:dfc7] x-ms-office365-filtering-correlation-id: d24ed89c-98d1-4f36-71ca-08d3549088fe x-microsoft-exchange-diagnostics: 1;AM4PR07MB1426;5:Vk/q+Ke/VaIAdQUlCfjifg7hwcUkpj8rKgSGE8EMZwkBzBC6P0f9O8lGh/RRSRDcwuRjGcPmT89+jl/HeP0oZQlpC05VdzqLhXJIIFqqcJl1oaJOm8787Eo0iIwyI6F8yMq7cj5uUtCRd6eiQl8VfA==;24:6nTwYbIsktWpbeksntXtz78Q6uZZ1PyK8I6dLcJ2Wl3rCpX/RUdWmCS1KdK1VPoCAuPs8OY5c+ml3AqlGkfA6E4M3p77ki7rJToIfWzdGBo= x-microsoft-antispam: UriScan:;BCL:0;PCL:0;RULEID:;SRVR:AM4PR07MB1426; x-microsoft-antispam-prvs: x-exchange-antispam-report-test: UriScan:; x-exchange-antispam-report-cfa-test: BCL:0;PCL:0;RULEID:(601004)(2401047)(8121501046)(5005006)(3002001)(10201501046);SRVR:AM4PR07MB1426;BCL:0;PCL:0;RULEID:;SRVR:AM4PR07MB1426; x-forefront-prvs: 0892FA9A88 x-forefront-antispam-report: SFV:NSPM;SFS:(10009020)(6009001)(6029001)(55885003)(30513003)(36756003)(5004730100002)(33656002)(7110500001)(2420400007)(2906002)(102836003)(19580395003)(586003)(82746002)(92566002)(107886002)(3280700002)(15650500001)(106116001)(189998001)(6200100001)(3660700001)(10710500007)(1096002)(1220700001)(4001450100002)(50226001)(110136002)(6116002)(2900100001)(86362001)(81166005)(83716003)(5008740100001)(122556002)(15975445007)(74482002)(5002640100001)(10400500002)(50986999)(87936001)(229853001)(77096005)(57306001)(104396002);DIR:OUT;SFP:1101;SCL:1;SRVR:AM4PR07MB1426;H:AM4PR07MB1426.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: Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-MS-Exchange-CrossTenant-originalarrivaltime: 25 Mar 2016 09:33:33.5397 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 9c5012c9-b616-44c2-a917-66814fbe3e87 X-MS-Exchange-Transport-CrossTenantHeadersStamped: AM4PR07MB1426 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 perspect= ive: 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 interlockin= g=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/