• 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

    A microcontroller with an integrated energy harvester offers a way to extend battery life and replacement batteries
    Integrated power supply ICs to implement compact and efficient buck converters for factory automation, 5G and IoT.
    Learn how integrated voltage sensing solutions support a more efficient and affordable way of measuring battery life to increase driving range and charge time.
    Transformers are widely used to efficiently transfer both power and data in switching power supplies, MOSFET gate drivers, and isolation circuits.