Reducing the Odds of Failure

Creating High-Integrity, Reliable Software with AdaCore

by Amelia Dalton

In today’s high-reliability embedded systems, failure is not an option. Not only is failure not an option, a bug in the software could result in catastrophic consquences. In this week’s episode of Fish Fry, we tackle these very issues with Quentin Ochem from AdaCore. Quentin and I discuss the myriad of challenges surrounding high-integrity, high-reliability software development, the benefits of AdaCore’s GNAT Pro software development suite, and how AdaCore’s GNAT Pro was used in the ExoMars program. Also this week, I unveil the winners of this year’s “Make It With Ada” contest and explain why having a solid strategy for signal integrity is crucial to your next system design.

Here we conclude the blog series and highlight the results of Mediatek 's use of Cadence Perspecâ¢ System Verifier for their SoC level verification. In case you missed it, Part 1 of the blog is here , and Part 2 of the blog is here . One of their key objectives was i...

With our last web update, we brought you several new additions to our on-site search, a new Microelectronics web experience, and our new 2017 product overview guide. In September, the updates to search came to a close (for now), we’ve added a few new content pages, and ...

Torrents of packets will cascade into the data center: endless streams of data from the Internet of Things (IoT), massive flows of cellular network traffic into virtualized network functions, bursts of input to Web applications. And hidden in the cascades, far darker bits try...

Our existing customers ask us some pretty big questions: âHow can this technology implement a step-change in my specific process? How can Speedcore IP be integrated in my SoC? How can you increase the performance of my ASIC?â We revel in answering such questions. Ho...