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.
- Dev Tools & OS
- Machine Learning
- Reference Designs
- Dev Kit Selector
- White Papers
- Webcasts & Events
- Product Search
- Parts Search
Home » Dev Tools and OS » Adacore discusses "Make with Ada" challenge and new product announcement at #ARM TechCon 2017
Subscribed! Look for 1st copy soon.
Error - something went wrong!
We also recommend:
Tool suite hastens medical-device development
LDRA tools help developers comply with IEC 62304
IAR Systems discussing safety and security at #ARM TechCon 2017
SANTA CLARA, CA -- Stefan Skarin, CEO at IAR Systems, talked to Rich Nass with Embedded Computing Design at ARM TechCon 2017 about safety and security. Stefan discusses code quality, security for deve
Upgraded ODBC Drivers with a Number of New Features
Devart released the updated versions of ODBC drivers with a number of new useful features
Virtual environments signal the end of the ICE era
Different types of verification IP target different methodologies of in-circuit emulation (ICE), and virtual and simulation acceleration.
Managing Internet connections on Linux devices with ConnMan
Connection Manager (ConnMan) is a connection management daemon (connmand) for managing Internet connections within devices running the Linux operating system.
LDRA Streamlines Automation for Software Safety and Security Compliance Management
LDRA tool suite's New Unprecedented Automation Unifies Compliance with Traceability and Test Management to Save Time and Cost
Simulation: Is it better than the real thing?
If a hardware design flaw is located late in the development process, it may be too late to fix it economically, so the only option is to accommodate the problem in software.
Want USB-C? Do it right!
USB-C is capable of delivering all USB performance levels – from 12 Mbps with USB 1.0 up to 10 Gbps with USB 3.1 Gen 2 – via a new symmetrical connector that is reversible.
BlueScope Chooses McObject's eXtremeDB Database Management System for its Plate Mill Control System
BlueScope turns to McObject's ultra-fast eXtremeDB database management system to upgrade its Plate Mill Information and Control System (PMICS) for teams across the Plate Mill facility at Port...
Three things that make you a superstar developer
Many people don’t know why they aren’t getting results at work. More often than not, it’s because they lack of the right kind of training. But what areas should you put your focus into?
The many uses of RTOS message queues
An application can have any number of message queues, each one having its own purpose.
Interfacing IoT with embedded using Node.js, part 5: Web interface
We've implemented a web server in Node.js that provides APIs for controlling GPIOs, sampling accelerometers, and reading ADC values. Now we tie it together with a web page that uses these services.
Digitizing inventory management
RTOS debugging, part 3: Chasing the jitter bug
The visible symptoms of jitter can be very similar to what you see in a system that suffers from CPU starvation, from general sluggishness to intermittent data loss or even malfunction.
Interfacing IoT with embedded using Node.js, part 3: Accelerometer
Cross-industry semantic interoperability, part five: Towards a common data format and API
Part four discussed the intersection of business and device ontologies, and how elements of both can improve scalability. Now we discuss how a common data format and API can leverage these ontologies.
Machine learning and Industrial IoT: Now and into the future
Traditional ML algorithms are useful when the amount of data to be processed is relatively small and the complexity of the problem is low. But what about larger problems with a lot more data?
Learn from your past: Commercial RTOS or roll your own
Should you purchase a commercial RTOS or write your own?
Oski Technology Growth of Formal Verification Business Leads to New Expanded Headquarters
Renowned Decoding Formal Club Meeting to be hosted September 26 at New Office
Identifying secure firmware update mechanisms and open source options for embedded Linux devices