Electronicdesign 14171 Softwarepromo 0 608985a12d32d

Electronic Design

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...

Continue Reading

Solving the contact resistance challenge for 7nm and beyond CMOS

Use an LDO and PLD for Power-Supply Enable and Disable Functions

Same Sky Solutions—Select a Fan for Forced Air Cooling

This presentation will provide an overview on proper fan selection, including system profiling, determining a system’s cooling requirements, and an outline of fan types and features...

The Basics of Ultrasonic Sensors

This video delves into the basics of ultrasonic sensors, including how they work, understanding beam angles, a comparison of strengths and limitations, and more.

Podcast: How is Dragonfly’s new hover-in-place tethered UAV defying maritime communication limits?

In this podcast episode, we interview Joe Pawelczyk, VP of operations at DPI UAV Systems (USA), a leading provider of small rotary wing unmanned aerial vehicles (UAV).

Energy Harvesting Microcontroller to Replace IoT Battery

A microcontroller with an integrated energy harvester offers a way to extend battery life and replacement batteries