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 968D87FB5F; Sun, 25 Oct 2015 22:31:45 +0100 (CET) IronPort-PHdr: 9a23:vE6m4Ry+2P4p3lDXCy+O+j09IxM/srCxBDY+r6Qd0OsWIJqq85mqBkHD//Il1AaPBtWGraocw8Pt8IneGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2WVTerzWI4CIIHV2nbEwudrmzQtaapv/0/t7x0qWbWx9Piju5bOE6BzSNhiKViPMrh5B/IL060BrDrygAUe1XwWR1OQDbxE6ktY+G1cU7qmEI4rphrpMBAu3GePERSbFIBTIqPnp93sruvB/EUxCM9zNIW2EbghNODwXfqgv9W573tTXhtftV3iSFNsTtUbQ5Hz2pqbpoHkzGkiACYhc9/XHejMB9luphpxeooRth2I3FKNWcMPdud6XRcMlcX21EV8BWSTdCE6u6YpQEBvEdOesepoK7ulhY/kj2PhWlGO66kmwAvXTxx6Bvirks 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: A0D1AADgSS1WnAzq8IBeDoJbgSFgAQENAQWEDakPkG8rAQ2BVwMXAQmCQ4M5gRk4FAEBAQEBAQEBEAEBAQEBBg0JCSEuQQ4BgVuCDhIBChAcHQIjARomAQY5FAMQBBMiiA4ECaIPgTkBgSgBHGEFKAKKcAEBjk6EDwEKAQEBAQEdhneCEId3gjkMQx2BFAWWNoUciV9IhxuScxEOAQGCaYEePnKCdIJdJRyBBgEBAQ X-IPAS-Result: A0D1AADgSS1WnAzq8IBeDoJbgSFgAQENAQWEDakPkG8rAQ2BVwMXAQmCQ4M5gRk4FAEBAQEBAQEBEAEBAQEBBg0JCSEuQQ4BgVuCDhIBChAcHQIjARomAQY5FAMQBBMiiA4ECaIPgTkBgSgBHGEFKAKKcAEBjk6EDwEKAQEBAQEdhneCEId3gjkMQx2BFAWWNoUciV9IhxuScxEOAQGCaYEePnKCdIJdJRyBBgEBAQ X-IronPort-AV: E=Sophos;i="5.20,197,1444687200"; d="scan'208,217";a="151708386" Received: from cheviot12.ncl.ac.uk ([128.240.234.12]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 25 Oct 2015 22:31:44 +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 1ZqSKH-000263-9x; Sun, 25 Oct 2015 20:55:37 +0000 Received: from emea01-db3-obe.outbound.protection.outlook.com (213.199.154.83) by exhub.ncl.ac.uk (128.240.234.5) with Microsoft SMTP Server (TLS) id 14.3.158.1; Sun, 25 Oct 2015 20:55:31 +0000 Received: from VI1PR07MB1294.eurprd07.prod.outlook.com (10.164.92.24) by VI1PR07MB1296.eurprd07.prod.outlook.com (10.164.92.26) with Microsoft SMTP Server (TLS) id 15.1.306.13; Sun, 25 Oct 2015 20:55:28 +0000 Received: from VI1PR07MB1294.eurprd07.prod.outlook.com ([10.164.92.24]) by VI1PR07MB1294.eurprd07.prod.outlook.com ([10.164.92.24]) with mapi id 15.01.0306.003; Sun, 25 Oct 2015 20:55:28 +0000 From: Alexander Romanovsky To: Alexander Romanovsky Thread-Topic: Reliability, safety and security of railway systems - Int. Conference Thread-Index: AQHRD2d6aWc3SkgzukqSbQAgyBKEWw== Date: Sun, 25 Oct 2015 20:55:27 +0000 Message-ID: <093B1A05-85B8-4BFD-9582-041A326A8E5A@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.132.239] x-microsoft-exchange-diagnostics: 1;VI1PR07MB1296;5:YkZT5v8Un6AafCL3aW1TToKMzPI7lztl8lHhoJvfMPd7hkh4LQkjTS9sWmjAb9SGWlTraxo2DbgSxYECCgGOIrn2WilMhXOVoHZ+CZJ/PnIGDY6vgFOkuCx1ltBqhYQQ+SDDys3TEufUWAvePu+Oew==;24:5wP2sQ0IZWK18VIH/z3HH22vx6ucb35CLapjA0mw76KVk3QqtVx1lth1gpqUR1A+z8jMgYbRDIqYxi7lZhQcoa5LO6KkxrWVZJpcE8lnbmI=;20:SgB6XPAEoDaPIKlT881VZ88An3Z2FURr/jVyK1NnZjD0pht9d1qhdZ0ojNBBN9KZtyDGYkxGgBRh0c9+x2yqeg== x-microsoft-antispam: UriScan:;BCL:0;PCL:0;RULEID:;SRVR:VI1PR07MB1296; x-microsoft-antispam-prvs: x-exchange-antispam-report-test: UriScan:(60304439555631); x-exchange-antispam-report-cfa-test: BCL:0;PCL:0;RULEID:(601004)(2401047)(5005006)(520078)(8121501046)(3002001)(102215026);SRVR:VI1PR07MB1296;BCL:0;PCL:0;RULEID:;SRVR:VI1PR07MB1296; x-forefront-prvs: 074040B844 x-forefront-antispam-report: SFV:NSPM;SFS:(10009020)(199003)(30513003)(189002)(15187005004)(57306001)(189998001)(33656002)(16236675004)(50226001)(66066001)(5008740100001)(11100500001)(10710500006)(7110500001)(5004730100002)(5007970100001)(229853001)(110136002)(4001450100002)(2900100001)(5001960100002)(2420400006)(74482002)(102836002)(107886002)(10400500002)(5002640100001)(77096005)(6200100001)(92566002)(15975445007)(97736004)(87936001)(83716003)(81156007)(19580405001)(19580395003)(40100003)(122556002)(82746002)(106356001)(105586002)(106116001)(86362001)(50986999)(101416001)(19617315012)(36756003)(104396002);DIR:OUT;SFP:1101;SCL:1;SRVR:VI1PR07MB1296;H:VI1PR07MB1294.eurprd07.prod.outlook.com;FPR:;SPF:None;PTR:InfoNoRecords;A:1;MX:1;LANG:en; spamdiagnosticoutput: 1:23 spamdiagnosticmetadata: NSPM Content-Type: multipart/alternative; boundary="_000_093B1A0585B84BFD9582041A326A8E5Anewcastleacuk_" MIME-Version: 1.0 X-MS-Exchange-CrossTenant-originalarrivaltime: 25 Oct 2015 20:55:27.7166 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 9c5012c9-b616-44c2-a917-66814fbe3e87 X-MS-Exchange-Transport-CrossTenantHeadersStamped: VI1PR07MB1296 X-OriginatorOrg: newcastle.ac.uk X-Validation-by: alexander.romanovsky@newcastle.ac.uk Subject: [Caml-list] CfP: Reliability, safety and security of railway systems - Int. Conference --_000_093B1A0585B84BFD9582041A326A8E5Anewcastleacuk_ Content-Type: text/plain; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable International Conference on Reliability, Safety and Security of Railway Sys= tems: Modelling, Analysis, Verification and Certification - RSSR 2016 June 28-30, 2016, Paris, France http://conferences.ncl.ac.uk/rssrail/ Call for Papers The railway industry is facing an increasing pressure to improve system saf= ety, to decrease the production cost and time to market, to reduce the carbon emission and r= unning cost, and to improve the system capacity. Railway systems are now being integrate= d into larger multi-transport networks. Such systems require an even higher degree= of automation at all levels of operation. These trends dramatically increase the complexi= ty of railway applications and pose new challenges in developing novel methods of modelli= ng, analysis, verification and validation to ensure their reliability, safety and securit= y, as well as in supporting novel mechanisms and procedures to help argue that the developme= nt processes are meeting the standards. This conference will contribute to a range of key objectives. Thus, there i= s a pressing demand to bring together researchers and developers working on railway system reli= ability, security and safety to discuss how these requirements can be met in an integrated wa= y. It is also vital to ensure that all advances in research (in both academia and industr= y) are driven by the real industrial needs. This will help ensure that such advances are fo= llowed by industrial deployment. Another particularly important objective is to integrate advan= ces 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 sy= stems meet the requirements imposed by the standards and in building the argument= s. Development of complex railway systems of the future requires integrated en= vironments and methods that support different abstraction levels and different views, = including systems architecture, safety analysis, security analysis, verification tool= s and methods. The conference aims to bring together researchers and engineers interested = in building critical railway applications and systems. This will be a working conferenc= e 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 interpl= ay * 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= =3Drssr2016 The research papers will be no more than 16 pages long, the industrial expe= rience reports and the PhD student papers =96 no more than 10 pages long. The submissions = will be formatted in the Springer LNCS format (see www.springer.com/computer/lncs?SGWID=3D0-164-6-793341-0). The conference proceedings will be published by Springer (under discussion). 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 Conference Chairs: Thierry Lecomte, ClearSy, France Ralf Pinger, Siemens Rail Automation, Germany Alexander Romanovsky, Newcastle University, UK PC members: Mark Behrens, DLR, Germany Andrea Bondavalli, University of Firenze, Italy Simon Collart-Dutilleul, IFFSTAR, France Alessandro Fantechi, University of Firenze, Italy Francesco Flammini, Ansaldo STS, Italy Wan Fokkink, Vrije University, Netherlands Stefania Gnesi, ISTI, Italy Michael Jastram, Formal Mind, Germany Alexei Iliasov, Newcastle University, UK Tim Kelly, University of York, UK Hironobu Kuruma, Hitachi, Japan Michael Leuschel, Dusseldorf University, Germany Tom Maibaum, McMaster University, Canada Jean Marc Mota, Thales R&T, France Yiannis Papadopoulos, Hull University, UK Andras Pataricza, BUTE University, Hungary Peter Popov, City University, UK Aryldo Russo, CERTIFER, France Kenji Taguchi, AIST, Japan Ina Schaefer, TU Braunschweig, Germany Reiner Schmid, Siemens CT Munich, Germany Walter Schon, University of Technology Compiegne, France Laurent Voisin, Systerel, France Kirsten Winter, University of Queensland, Australia Conference Organisation and Financial Chair: Joan Atkinson, Newcastle University, UK (joan.atkinson@newcastle.ac.uk) Web site design: Wayne Smith, Newcastle University, UK The conference venue: Espace du Centenaire, Maison de la RATP, Paris --_000_093B1A0585B84BFD9582041A326A8E5Anewcastleacuk_ Content-Type: text/html; charset="Windows-1252" Content-ID: <9D7F9495E34C134FBF7D53D52E40FB0E@eurprd07.prod.outlook.com> Content-Transfer-Encoding: quoted-printable
International Conference on Reliability, Safety and Security of Railwa= y Systems: 
Modelling, Analysis, Verification and Certification - RSSR 2016  =
June 28-30, 2016, Paris, France 
Call= for Papers

The railway industry is facing an increasing pressure to improve syste= m 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 inte= grated into 
larger multi-transport networks. Such systems require an even higher d= egree of automation 
at all levels of operation. These trends dramatically increase the com= plexity of railway 
applications and pose new challenges in developing novel methods of mo= delling, analysis, 
verification and validation to ensure their reliability, safety and se= curity, as well as in 
supporting novel mechanisms and procedures to help argue that the deve= lopment 
processes are meeting the standards. 

This conference will contribute to a range of key objectives. Thus, th= ere 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 integrat= ed way.   It is also 
vital to ensure that all advances in research (in both academia and in= dustry) are driven by 
the real industrial needs.  This will help ensure that such advan= ces are followed by industrial 
deployment.  Another particularly important objective is to integ= rate advances in research 
into the current development processes, and make them usable and scala= ble. Finally, a key 
goal is developing advanced methods and tools that would ensure that t= he systems
meet the requirements imposed by the standards and in building the arg= uments.

Development of complex railway systems of the future requires integrat= ed environments 
and methods that support different abstraction levels and different vi= ews, including 
systems architecture, safety analysis, security analysis, verification= tools and methods.

The conference aims to bring together researchers and engineers intere= sted in building 
critical railway applications and systems. This will be a working conf= erence in which 
research advances will be discussed and evaluated by both researchers = and 
engineers focusing on their potential to be deployed in industrial set= tings. 

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 in= terplay
* 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=3Dr= ssr2016

The research papers will be no more than 16 pages long, the industrial= experience reports 
and the PhD student papers =96 no more than 10 pages long. The submiss= ions will be 
formatted in the Springer LNCS format 

The conference proceedings will be published by Springer (under discus= sion).

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

Conference Chairs:
Thierry Lecomte, ClearSy, France
Ralf Pinger, Siemens Rail Automation, Germany
Alexander Romanovsky, Newcastle University, UK

PC members:
Mark Behrens, DLR, Germany
Andrea Bondavalli, University of = Firenze, Italy
Simon Collart-Dutilleul, IFF= STAR, France
Alessandro Fantechi, University o= f Firenze, Italy 
Francesco Flammini, Ansaldo = STS, Italy
Wan Fokkink, Vrije University, Ne= therlands 
Stefania Gnesi, ISTI, Italy
Michael Jastram, Formal Mind, Ger= many
Alexei Iliasov, Newcastle Univers= ity, UK
Tim Kelly, University of York, UK=
Hironobu Kuruma, Hitachi, Japan
Michael Leuschel, Dusseldorf Univ= ersity, Germany
Tom Maibaum, McMaster University,= Canada
Jean Marc Mota, Thales R&T, France  
Yiannis Papadopoulos, Hull Univer= sity, UK
Andras Pataricza, BUTE Unive= rsity, Hungary
Peter Popov, City University, UK<= /span>
Aryldo Russo, CERTIFER, France
Kenji Taguchi, AIST, Japan=
Ina Schaefer, TU Braunschweig, Germany
Reiner Schmid, Siemens CT Munich, Germany
Walter Schon, University of Techn= ology Compiegne, France
Laurent Voisin, Systerel, France<= /span>
Kirsten Winter, University of Que= ensland, Australia

Conference Organisation and Financial Chair:
Joan Atkinson, Newcastle University, UK (joan.atkinson@newcastle.ac.uk)

Web site design:
Wayne Smith, Newcastle University, UK

The conference venue: Espace du Centenaire, Maison de la RATP, Paris

--_000_093B1A0585B84BFD9582041A326A8E5Anewcastleacuk_--