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

Powering next-generation ADAS processors with TI Functional Safety-Compliant buck regulators

The TPS62883-Q1 buck converter delivers up to 30A, supports stackable architectures for over 100A, and meets ASIL D functional safety standards for ADAS. Its high accuracy, flexible...

Altech Disconnect Switches

This video shows you how Altech's Disconnect Switches works.

LTC4286 Positive Hot Swap Controller

ADI's LTC4286 is an integrated solution for hot-swap applications allowing a board to be safely inserted and removed from a live backplane.

How sensor fusion is driving vehicle autonomy forward

As ADAS technology extends to critical, time-sensitive applications such as emergency braking, front-collision warning and avoidance, and blind-spot detection combining data...