Increasing complexity and connectivity are a reality of modern embedded systems and require more effort to test properly. Join us at the Software Embedded & Compliance Summit 2021 where keynote speaker Dr. Bruce Powel Douglass, embedded software methodologist, will discuss correctness and dependability in developing embedded software.
Highlights include:
* Syntactic verification, semantic verification, and validation
* Correctness and dependability (safety, reliability, security)
* Assessment of all important work products for correctness
* Means for assessing correctness (inspection & testing)