PerformingRail

Full text of the paper entitled "Toward Usable Formal Models for Safety and Performance Evaluation of ERTMS/ETCS Level 3: The PERFORMINGRAIL Project" can now be accessed from: rpsonline.com.sg/proceedings/es… @EURail_JU @ERRAC_Rail #railways #research

Interested in PERFORMINGRAIL project results? Please have a look at the full list of public deliverables available for download from: performingrail.com/public-informa… @EURail_JU @ERRAC_Rail

On behalf of the project coordinator and the whole project team, we would like to thank all the participants who joined the PERFORMINGRAIL final dissemination event in Birmingham for their interest in project results, valuable feedback, and insightful comments! @EURail_JU

Don't miss our latest paper! "Implementation of a Model-Oriented Approach for Supporting Safe Integration of GNSS-Based Virtual Balises in ERTMS/ETCS Level 3" In IEEE Open Journal of Intelligent Transportation Systems, vol. 4, pp. 294-310, 2023 doi: 10.1109/OJITS.2023.3267142

We look forward to meeting you at the PERFORMINGRAIL final dissemination event on June 15th in Birmingham! Register here until June 4th: docs.google.com/forms/d/e/1FAI… (the event will be limited to max 50 participants due to capacity of the hosting venue) @EURail_JU @ERRAC_Rail

Stay up to date with project progress and have a look at current dissemination materials (deliverables, papers, presentations, etc.) on @ResearchGate project page: researchgate.net/project/PERFOR… @EURail_JU @ERRAC_Rail

On October 20th, we held the mid-term project workshop on moving block signalling, with guest speakers from Siemens and TCT, which attracted 50+ participants from all over the world, including researchers and #railway industry practitioners. @EURail_JU @RailForum_EU @ERRAC_Rail

The #PERFORMINGRAIL project has been presented at the international fair on transport technology #InnoTrans2022 in Berlin, which counted more than 160,000 visitors from 149 countries across the world. @bcrre @tudelft @EURail_JU

Registration link: forms.gle/hcDd248XWWu4dR…

You are kindly invited to join the #PERFORMINGRAIL mid-term #project #workshop about moving block #railway #signalling that is scheduled on October 20th in the morning, from 10.00 to 12.30 CET. @EURail_JU @ERRAC_Rail @uic

Do not miss PERFORMINGRAIL dissemination at @InnoTrans on September 21st @ERRAC_Rail @EURail_JU @uic

AI4RAILS 2022 will be held on September 12, 2022 in Zaragoza, Spain! The program includes two keynotes from Christian Chavanel, Director of International Union of Railways, and Carlos Sanchis, senior member of the Academic Group at MathWorks. Please visit: sites.google.com/view/ai4rails/…

The work "Verification Framework for Moving Block System Safety: application on the Loss of Train Integrity Use Case", realized within #PERFORMINGRAIL, has been presented by Rim Saddem at the #TRISTAN_XI symposium organized by @UGustaveEiffel. @EURail_JU researchgate.net/publication/36…

Visit to the @unibirmingham Centre for Railway Research and Education hosting @WCRR2022

A number of the PERFORMINGRAIL work package leaders attended @WCRR2022 recently and gave a presentation on project objectives, progress and current results.

"A Formal Modelling Framework for Moving Block Systems in the PERFORMINGRAIL project" — Read it on @ResearchGate: researchgate.net/publication/36…

Do not miss PERFORMINGRAIL's masterclass next week at World Congress on Railway Research 2022 (@WCRR2022)! 5 days left to go... @EURail_JU @ERRAC_Rail #safety #performance #modeling #formalism #Simulation

The #WCRR2022 programme is now available to download on our website! Full of opportunities for dissemination of novel #railresearch , networking, knowledge exchange and discussion on key #rail challenges. Find out what's in store: bit.ly/3HCOft8 #reshapingourrailways

On May 5-6, we had a pleasant and productive WP2 physical meeting in Naples, to finalize the SysML and formal models as output of tasks T2.3 & T2.4 (Deliverable 2.2). That was the first opportunity to meet f2f after the pandemic, enjoying good company and tasty food! @EURail_JU

Read about our project on @ercim_news: "Formal Modelling and Optimal Traffic Management for Future Railways" (F. Flammini, S. Marrone, L. Chen). ercim-news.ercim.eu/en129/r-i/form… @flamminifra @ERRAC_Rail @ERA_railways @Transport_EU @EURail_JU @HorizonEU #railroad #Simulation #research