DEVICE-SOFT – Deductive Verification for Industrial Critical Embedded Software
It is widely believed and accepted that embedded systems will continue to rise in their applicability and usage across numerous market sectors. However, in some cases, systems must satisfy stringent assurances, i.e., safety-critical requirements. In particular, these sectors include the aerospace, medical, railways, and potentially the automotive industry. In such systems, consequences of a failure can be disastrous, e.g., financially or even in terms of human lives. more |
|
print
SPES 2020