Systerel is a partner of the 27th Ada-Europe International Conference on Reliable Software Technologies, held in Lisbon from 13 to 16 June.
The conference brings together researchers, developers and users of safe software technologies from around the world.
In this article, we focus on the Tcl/Expect automation tool and more specifically on its Ada implementation through GNAT.Expect.
By using this tool, it is possible to easily control third-party applications through a mechanism of expected questions/answers (expect).
Our teams will participate in the 9th ABZ International Conference, which will be held in Nancy from May 31 to June 2, 2023.
This year, Systerel will co-organize the workshop for Rodin users and developers. The Rodin platform is dedicated to event-driven B development, robustly supporting model refinement and mathematical proof.
In this new article, we explore the possibilities offered by the OVADO²® formal validation tool.
For the first time, Systerel used OVADO²® to formally generate configuration data for railway equipment derived from system configuration data.
Since September 2022, the first four automated shuttles on line 4, the second-busiest metro line in Paris, have started to circulate.
In order to modernise this line, RATP chose the Train Operation Automation System (SAET), already installed on lines 1 and 14.