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.
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed? Log in!
Conclusion
Acronyms
Article included in this offer
"Industry of the future"
(
103 articles
)
Updated and enriched with articles validated by our scientific committees
A set of exclusive tools to complement the resources
Bibliography
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed? Log in!
