Jamie Ayre with Adacore talks to Rich Nass with Embedded Computing Design about the ``Make with Ada'' challenge that occurred earlier this year. The contest aimed to help the embedded software community improve the quality of their code by encouraging the use of the Ada and SPARK programming languages. The competition ran from May 15 to September 15, 2017. Jamie also discusses a new safety and security product. For more details on Adacore, visit www.adacore.com. For more things that you missed at ARM TechCon 2017, click here.
- Embedded World
- Machine Learning
- Power Electronics
- Dev Tools & OS
- Product Search
- Reference Designs
- Dev Kit Selector
- White Papers
- Webcasts & Events
Home » Dev Tools and OS » Adacore discusses "Make with Ada" challenge and new product announcement at #ARM TechCon 2017
We also recommend:
VersaLogic releases Android Demo/Eval Kit
VersaLogic Corp., the embedded industry's most trusted computer company, has announced its new Android Eval Kit.
Demystifying the Physically Unclonable Function (PUF)
PUF stands for physically unclonable function. From a technical standpoint, PUF exploits minute differences in silicon that appear from chip to chip to create a binary value.
Microchip Releases Libero SoC Design Suite for Latest FPGA Families
Microchip Technology Inc. released its Libero SoC version 12.0, providing one unified design suite for the most updated FPGA families, including the new PolarFire FPGAs.
Know Everything About a Dev Board the Instant You Plug It In
Strata, or more specifically, the Strata Developer Studio, is a cloud-based development platform that provides engineers with a way to instantly evaluate and design with On Semi’s products.
As the Stakes Rise, Software Suppliers Must Sync with Car Manufacturers’ Standards
The stakes continue to rise, and the importance of suppliers and manufacturers being in sync on software safety, security, and reliability has never been higher.
Exploring Embedded Machine Learning
Machine learning belongs at the edge and Qeexo is developing solutions to do just that.
How to Establish an Effective Data Quality Policy for Your Business
By focusing on ad-hoc incident resolution, organizations struggle to identify and address recurring data quality problems in a structural way.
Smart Products Need Smart Development
Today’s projects face a maze of choices to speed development, avoid errors, and shorten time to market. A platform-based approach can guide a team to success through the route's many twists and turns.
Umbraco Apps Launches with 'Best of Breed' Extensions for Open Source Content Management System
Umbraco Apps offers web developers and content editors an online catalog of extensions for the open source Umbraco CMS built on Microsoft .NET.
DevKit Giveaway & Year-End Design Contest
Digi-Key Electronics is partnering with Embedded Computing Design to launch a monthly giveaway of its partners’ development kits.
Embedded Hypervisors Aren’t New, But…
Some technologies stand the test of time. Hypervisors have been around for a long time, but have recently come into their own.
Imperas riscvOVPsim brings free, open-source modeling and simulation to RISC-V ecosystem
Imperas Software has released the RISC-V Open Virtual Platform Simulator (riscvOVPsim), a free simulator and open-source model of a single-core RISC-V CPU.
What They Didn’t Teach You in Engineering School About Pressure Drop
A guide to understanding how to solve even complex pressure related design issues.
Practical Guide to Maximizing DC Measurement Performance
The various methods covered in this guide can help you achieve greater accuracy in your applications requiring DC measurements.
Linux, RISC-V Foundations to Collaborate on Open Architectures
In addition to tools, services, and training support, the Linux Foundation will provide neutral governance, best practices for open source development, community outreach, marketing, and legal advice.
OCF 1.0 ratified by ISO/IEC JTC 1 as secure IoT interoperability protocol
The OCF standard will be published as ISO/IEC 30118 (Parts 1-6).
NASA InSight Lands Safely on Mars with VxWorks
VxWorks was responsible for complex automated maneuvers of the InSight landing craft, providing system-wide determinism and synchronization through a Red Planet atmosphere 100x thinner than Earth's.
Embedded Insiders: Is There Really an Engineering Shortage, and Why?
Rumors of a shortage of electronics engineers have been circulating for years, but with Fortune 500 technology firms now gobbling up as much engineering talent as possible for IT and enterprise...
Finding Concurrency Errors with GrammaTech Static Analysis
Multithreading adds entirely new classes of potential bugs to those that must be considered by developers.
Making Safety-Critical Software Development Affordable with Static Analysis