Systerel is specialized in critical software and RAMS.
Products
As part of its growth, Systerel is looking for new talents.
ISMIN Business Forum
Systerel will come to exchange with the students of the Ecole des Mines of Saint-Etienne next Thursday during the Business Forum.
Singapore Metro
Singapore Metro supervision system upgrade by Alstom: the Circle Line 6 depot now hosts the software developed by Systerel teams to interface between the control room and field equipment.
HLL language for formal verification of critical software or systems
Systerel publishes a new version of the HLL specification document (HLL LFD) and submits it to the next HLL Forum review in order to converge on the new definition of the language in collaboration with the other actors of the community.
