Software Verification

C++ Embedded System Testing: Hardware and Software Verification

by
C++ Embedded System Testing: Hardware and Software Verification

C++ Embedded System Testing: Hardware and Software Verification Introduction With the widespread application of embedded systems, how to effectively verify hardware and software has become an important issue that every engineer must face. This article will introduce the application of C++ in embedded systems, particularly in the practice of hardware and software verification, including how … Read more

Formal Methods Based on SCADE Models

by
Formal Methods Based on SCADE Models

In the previous issue of the embedded systems special, we provided a detailed overview of the birth, development, and application of Ansys SCADE (See: Embedded Systems | A Retrospective on Ansys SCADE). This article will focus on “Formal Methods Based on SCADE Models”. To put it simply, formal methods abstract a program into a mathematical … Read more