editor's blog
Subscribe Now

The Countess of Lovelace Strikes Back

Safety and security are big concerns in the embedded-systems world these days. Problem is, few of us really know how to add “security” to our products when nobody can even tell us what that means. We’re also finding out it’s hard to patch security into an existing system. It’s easier to design it in from the outset.

That’s where Ada comes in. Ada is a programming language (some would call it a religion) that was designed to create safe, secure, and reliable embedded systems. Think military electronics, missiles, and airplanes. If you want a dead-reliable system (so to speak), you probably want to program it in Ada. In fact, your government may require you to program it in Ada.

One of the bigger suppliers of Ada tools is AdaCore. Its GNAT (Gnu Ada Translator) product had been arming Ada aficionados for many years. AdaCore’s original GNAT software is open-source, so you can download it for free from the Free Software Foundation (FSF) if you like. AdaCore will also happily sell you its more-advanced GNAT Pro, which is a pre-configured “shrink wrap” version for various platforms. Your call.

Either way, AdaCore offers 24/7 technical support for GNAT and its spinoff products in return for an annual subscription fee. Of the company’s 100 employees, fully 80% of them are engineers and all of them are dedicated to technical support first and foremost. In other words, AdaCore has no tech-support staff; the engineers are it. When you have a technical question, one (or more) of AdaCore’s programmers will get back to you.

The company offers three “flavors” of Ada tools, depending on which government safety/reliability standard you’re trying to hit. There’s a DO-278 version; a DO-178B version (for avionics); and a MILS (multiple independent levels of security) version. Depending on the version you use, your Ada code may run on top of a normal operating system, or it may need a specially certified secure operating system. Just depends on what you’re trying to do.

Because GNAT is all open-source, you can keep the source code handy for code inspection or just as a safety net. And that adds a whole extra level of security.

Leave a Reply

featured blogs
Sep 21, 2021
Learn how our high-performance FPGA prototyping tools enable RTL debug for chip validation teams, eliminating simulation/emulation during hardware debugging. The post High Debug Productivity Is the FPGA Prototyping Game Changer: Part 1 appeared first on From Silicon To Softw...
Sep 20, 2021
As it seems to be becoming a (bad) habit, This Week in CFD is presented here as Last Week in CFD. But that doesn't make the news any less relevant. Great article on wind tunnels because they go... [[ Click on the title to access the full blog on the Cadence Community si...
Sep 18, 2021
Projects with a steampunk look-and-feel incorporate retro-futuristic technology and aesthetics inspired by 19th-century industrial steam-powered machinery....
Aug 5, 2021
Megh Computing's Video Analytics Solution (VAS) portfolio implements a flexible and scalable video analytics pipeline consisting of the following elements: Video Ingestion Video Transformation Object Detection and Inference Video Analytics Visualization   Because Megh's ...

featured video

Digital Design Technology Symposium

Sponsored by Synopsys

Are you an SoC designer or manager facing new design challenges driven by rapidly growing and emerging vertical segments for HPC, 5G, mobile, automotive and AI applications?

Join us at the Digital Design Technology Symposium.

featured paper

IPU-Based Cloud Infrastructure: The Fulcrum for Digital Business

Sponsored by Intel

As Cloud Service Providers consider their investment strategies and technology plans for the future, learn how IPUs can offer a path to accelerate and financially optimize cloud services.

Click to read more

featured chalk talk

Power Profiler II

Sponsored by Mouser Electronics and Nordic Semiconductor

If you are working on a low-power IoT design, you are going to face power issues that can get quite complicated. Addressing these issues earlier in your design process can save you a lot of time, effort, and frustration. In this episode of Chalk Talk, Amelia Dalton chats with Kristian Sæther from Nordic Semiconductor about the details of the new Nordic Power Profiler Kit II - including how it can measure actual current, help you configure the right design settings, and show you a visualized power profile for your next design.

Click here for more information about the Nordic Semiconductor Power Profiler Kit II (PPK2)