8. Conclusion

In the field of scientific and technical systems, the functional safety of software is mainly addressed by risk analysis and the implementation of development processes imposed by dedicated standards to produce software with the right level of risk. The alternative, specific to the IT world, is to use formal methods which guarantee that the software has the expected safety properties.

When software is not associated with feared events, but must contribute to equipment availability, reliability techniques apply.