Riassunto analitico
Formal Verification
can be used to improve the development process for an industrial
embedded system. By combining Model Based Design and Formal
Verification techniques the verification of an industrial system can
start early during the development, since no hardware is required. However, nowadays Formal Verification is not yet well integrated
into the industrial production chain because it takes time to
understand the problem and the underlying theory. It would be
interesting to investigate if it is possible to find tools that are
meant for finding design errors, such as integer overflow, division by zero, dead logic,
and formal verification before the generation of the embedded code .
|
Abstract
Formal Verification
can be used to improve the development process for an industrial
embedded system. By combining Model Based Design and Formal
Verification techniques the verification of an industrial system can
start early during the development, since no hardware is required. However, nowadays Formal Verification is not yet well integrated
into the industrial production chain because it takes time to
understand the problem and the underlying theory. It would be
interesting to investigate if it is possible to find tools that are
meant for finding design errors, such as integer overflow, division by zero, dead logic,
and formal verification before the generation of the embedded code .
|
