ASTRail final conference

30/10/2019

Vienna

30/10/2019

Workshop "Developing the Future Radio for Rail Transport", ETSI

GSM-R, the railway telecommunications system standardized by ETSI, based on GSM mobile communications system, is the interoperable mobile radio system within Europe and worldwide. ETSI Technical Committee for Rail Telecommunications (TC RT) is working on the definition of a FRMCS system architecture (reference model) in coordination with relevant organizations such as UIC (International Union of Railways), Shift2Rail and ERA (EU Agency for Railways). ETSI continues to work on the Future Railway Mobile Communication System (FRMCS) use cases and related potential requirements in coordination with 3GPP.

04/07/2018

Sophia Antipolis, France

03/07/2018

3rd Workshop on Models for Formal Analysis of Real Systems

The aim of the workshop was to present different modelling approaches, to discuss pros and cons for each of them, and to start a collection of interesting benchmarks for diverse formal methods.

20/04/2018

Thessaloniki, Greece

19/04/2018

Transport Research Arena (TRA). During the conference the project was presented

Digitisation, Automatisation and Decarbonisation are major trends that will drastically change the way we live, work and use mobility and transport in the future. Under the heading of “A digital Era for Transport”, the Transport Research Arena 2018 (TRA 2018) has explored, discussed and demonstrated these major paradigm shifts specifically directed at important areas of our life, such as transport, mobility, logistics and industrial production. Among policy makers and stakeholders framing research and transport policy, Maurizio Spirito (ISMB) presented the ASTRail project.

Please find below the slides of the seminar
more details

16/04/2018

Vienna, Austria

15/04/2018

Safety of Future Systems: Science meets Industry

The aim of the workshop was to bring together academics and practitioners from different application areas, e.g. railway engineering, aerospace, aviation, maritime, and automotive industry, to discuss the main challenges in safety assessment of future emerging systems. During this meeting Stefania Gnesi (ISTI-CNR) gave a presentation on the work on WP4 of the project ASTRail titled: "Formal Methods and Tools in Industrial Applications: The ASTRail Approach"

Please find below the presentation
more details

12/04/2018

Leiden, Nederland

13/04/2018

RAMS for GNSS. Educational dissemination action

With the framework of ASTRail, an internal seminar to disseminate at an educational level the notions around the project, such as moving block signalling, GNSS in rail, RAMS requirements etc., was organized. Around 30 PhD and postdoc students from ENAC participated in the seminar.

Please find below the slides of the seminar
more details

08/03/2018

Internal Seminar, ENAC

07/03/2018

RSSRail International Conference 2017

In the second International Conference, RSSRail 2017 on ‘Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification’, Daniele Trentini (SIRTI) presented the project ASTRail, with a focus on the WP4 contents in line with the topics discussed during the event.

Please find below the presentation
more details

15/11/2017

Pistoia, Italy

14/11/2017

Forum Méthodes Formelles 2017

During this forum dedicated to formal development methods, Franco Mazzanti (ISTI-CNR) introduced the work done so far in WP4 of ASTRail in his presentation ‘Deadlock free dispatching for fleets of vehicles’. The intuitive approach in avoiding gridlocks during the dispatching of a fleet of vehicles presented has been originally investigated for the design of a prototype of Automatic Train Supervision System (ATS) in the context of a CBTC (Communication Based Train Control) System but can be generalised to the dispatching of generic fleets of vehicles.

Please find below the presentation
more details

10/10/2017

Toulouse, France

09/10/2017