2. Warranty requirements
2.1 Motivations
The criticality of embedded systems varies widely. Applications involving the transport of people (avionics, railways, intelligent automobiles) or supervising hazardous industrial processes (nuclear power plants, chemical processes), or medical processes (surgical assistance) must offer guarantees of correct operation, established by compliance with very strict design procedures and certified by independent bodies. They must also meet robustness requirements in the event of failure of one or more elements of the application or its environment.
On the other hand, cell phone applications do not involve human life in the same way as the aforementioned cases. They do, however, need to guarantee the confidentiality, integrity and availability of the...
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed? Log in!
Warranty requirements
Formal methods for functional verification
Article included in this offer
"Software technologies and System architectures"
(
230 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!
