Electronicdesign 14171 Softwarepromo 0 608985a12d32d

Q&A: Formal Methods Push Toward Zero-Defect Software (.PDF Download)

March 9, 2017

This article is part of the Embedded Software Series: Enforced Coding Using Ada Contracts

Read this article online

Safety and reliability have moved to the top of the list of critical criteria in software development. There are many ways to achieve improved safety and reliability, and one of the best is to employ formal methods. I talked with AdaCore’s SPARK product manager, Yannick Moy, about how formal verification of software can help lead to the development of zero-defect software...

Sponsored

Browse TE Connectivity sensors by type. Pressure, Temperature, Force, Humidity, Motion and Position sensors available at DigiKey.
This webcast will focus on design of RF front-end circuitry including RF PAs and LNAs, Tunable Filter, Attenuators, External LO and Power Management that are required to complete...
Discover how Analog Devices enables modular robotic systems using sensor fusion, 3D vision, and 60GHz wireless for applications in HMI, safety, and gripper control in flexible...
Wire caps may be small, but they’re essential for safe and reliable electrical connections. This blog breaks down what they are, why they matter, and how TE’s trusted solutions...