7. Industrial practices

In practice, as in the case of standards, each sector has developed its own benchmark for the realization of functionally safe IT systems. Below, we take a look at current software functional safety practices in a number of key sectors of French industry.

• The rail transport sector essentially operates according to the rules laid down by the main operators, who are in a position to support the development of equipment, and whose acceptance has reference value. Each has therefore developed its own references, largely based on standards in the field, such as EN 50128 or IEC 61508. Formal methods, such as the B language