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

    Continue Reading

    Sponsored

    Stricter guidelines imposed by version 3 of the IEC standard for harmonic current emissions push designers to embrace power-factor-correction methodologies.
    The flyback topology is a versatile, widely used, switched-mode power-supply design with some interesting characteristics that brings performance and BOM advantages to many applications...
    High output current, also referred to as Iout, might be an important spec for your low-dropout (LDO) linear regulator.
    Designing power supplies that work from wall outlets has multiple challenges. This FAQ should answer many of your questions.