Systerel is one of the leaders in the use of the B Method for the development of critical software in an industrial context.
What is the B Method ?
The B Method is a formal method developed by J.-R. Abrial and used in the industrial field for the development of complex systems.
Based on rigorous mathematical models and property proofs, it contributes to the reliability of critical systems.
The B Method is widely used in the development of critical application software in the railway sector by major players such as Alstom and Siemens Transportation. Indeed, it makes it possible to meet the requirements of the CENELEC EN 50128 standard for SIL4-level software development.
Development of Railway System Application Software
- Automatic train operation systems for CBTC and metros (ZC, CC, LC,…)
- Speed controllers for the SNCF network (KVB)
- Beacon encoders for ERTMS systems
Systerel has also applied the B Method in other safety- and security-related domains, for example, to model an administration interface for secure IT systems.
Systerel has also applied the B Method in other areas, such as the open-source S2OPC software, which complies with the OPC UA communication standard used in multiple industrial sectors.
B Method Training
- Systerel’s B Method training provides the methodology needed to carry out software developments in B and to master the B language. This practical training prepares you to apply these skills to critical industrial projects.
Publications
Publication as part of the 6th International ABZ Conference.
Download our publication