For the 10th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2021), CLEARSY is going to present in-person two talks in two separate tracks :
- Digital Modelling in the Railways
This talk presents some of the various digital modelling activities, including formal ones, that are undertaken by the railway industry, for design, development, validation, qualification, and exploitation. It also introduces trends toward regrouping models to obtain more significant results together with a larger scope, prefiguring digital twins.
- Ensuring Safety with System Level Modelling
This talk makes clear the recent advances in the domain of system-level modelling aimed at demonstrating the safety of railways signalling systems, that remains manageable by the signalling engineer and understandable by the recipient of the study.