The Annual General Meeting of FME will take place as a hybrid meeting on March 26, 2025.
Time and location. The AGM will be held as a hybrid meeting on
June 26, 16:30 CEST.
The physical location will be the London
premises of the British Computer Society, 25 Copthall Avenue
(link).
Online attendance will also be possible (for details, see the attached agenda). All members are invited!
All participants need to register for physical access to the
building or to attend Maurice’s talk online.
To register, please
go here!
Please refer to the attached agenda and other documents for details.
If you have not used Zoom before, please make a trial connection in advance to get a feeling for the controls and to check that your speaker and microphone work correctly. The Zoom link is open from now on and up to the AGM.
Please sign up for the webinar with your real and complete name. The software includes a chat and we will use the chat function for votes and requests to speak.
Agenda & documents
The meeting will be followed by the annual joint FME/BCS-FACS talk at 18:00. (See below.) The venue will be open for networking from 17:00 GMT.
FME/BCS-FACS talk
Speaker: Maurice ter Beek, ISTI-CNR (homepage)
Title: Formal Methods and Tools in Railways: Recent Successes and Future Challenges
Abstract: Formal methods and tools are successfully applied to the development of safety-critical systems for decades now, in particular in the transport domain, without a single language or tool emerging as the dominant solution for system design. Formal methods are highly recommended by the current safety standards in the railway industry, but railway engineers often lack the knowledge to transform their semi-formal models into formal models, with a precise semantics, to serve as input to formal methods tools. We share the results of performing empirical studies in the railway domain, including usability analyses of formal methods tools involving railway practitioners. We discuss, in particular with respect to railway systems and their modelling, our experiences in applying formal methods and tools to a variety of case studies, for which we interacted with a number of companies from the railway domain. We report on lessons learned from these experiences and provide pointers to steer future research towards facilitating further synergies between - on the one hand - formal methods researchers and tool developers and - on the other hand - practitioners from the railway industry, including the challenge of AI delivering its promise as an efficiency enhancer also in Railways.