[Om-announce] CfPart Reliability, safety and security of railway systems (RSSRail 2023)

[Alexander Romanovsky]

International conference on reliability, safety and security of railway systems:
modelling, analysis, verification and certification - RSSRail 2023
October 10-12, 2023
Berlin, Germany
https://rssr2023.ebuef.de/

Call for Participation

We would like to invite you to participate in the RSSRail 2023 conference, aiming
to bring together researchers and engineers interested in building critical railway
applications and systems. This will be a working conference in which research
challenges and progress will be discussed and evaluated by both researchers
and engineers, focusing on their potential to be deployed in industrial settings.

This is the 5th edition of the RSSRail series with the previous conferences
held in Paris, Pistoia, Lille and Paris, again.

Conference Chairs:
    -Simon Collart-Dutilleul, IFSTTAR, France
    -Thierry Lecomte, ClearSy, France
    -Birgit Milius, TU Berlin, Germany

The programme includes three invited talks, technical papers selected by the PC
and four mini-tutorials, see https://rssr2023.ebuef.de/program/

These are the invited talks (https://rssr2023.ebuef.de/keynotes/)
-Lydia Kaiser, TU Berlin and Einstein Center Digital Future.
                  Unleashing the Potential of Systems Engineering: From Theory to Practice.
-Andreas Freese, DB Systel.
                 Enterprise IT in a large organisation is a challenge. Even more challenging
  if the “large organisation” is Deutsche Bahn AG in the middle of
  the digital revolution.
- Aryldo Russo, GESTE ENGINEERING.
                  Continuous Research for Innovation.

The RSSRail 2023 four tutorials (https://rssr2023.ebuef.de/tutorials/) are
     -SafeRiver
               Model Checking benefits and lessons learnt for V&V,
     -Siemens Mobility & TÜV Rheinland InterTraffic GmbH
               Risk Assessment for Driverless Train Operation on Main Lines – An Example,
     -TU Berlin
              Human reliability in rail context,
     -Hasso-Plattner-Institut
              Code Generation and Automated Verification of EULYNX MBSE Artifacts.

The conference proceedings are published by Springer in the LNCS series (LNCS-14198).

The registration site -  https://rssr2023.ebuef.de/registration/

We are looking forward to welcoming you and your colleagues in Berlin.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.openmath.org/pipermail/om-announce/attachments/20230829/362da9e7/attachment-0001.htm>