TechXchange: Learning About Ada and SPARK

Learning a new programming language can be fun and interesting. Ada and SPARK, a version of Ada that allows static proof of a program's operation, are very useful for developing high quality software. This TechXchange includes articles with learning resources and projects that you may find useful.

Ada and SPARK Learning Resources

Embedded

You Can Now Learn SPARK and Ada Online

AdaCore’s "learn.adacore.com" site teaches Ada and SPARK programming using interactive sessions.

Automotive

Learning from an Ada Neophyte

Technology Editor Bill Wong recently judged the “Make with Ada” competition and found some interesting feedback that will intrigue embedded developers.

TechXchange

All About Ada and SPARK Programming

Ada and SPARK are often used to develop applications that require high reliability and no bugs.

Hands-On Projects Using Ada and SPARK

Embedded

Using the MSP432 DriverLib ROM with Ada and SPARK

Senior Content Director Bill Wong tries his hand at a Texas Instruments MSP432 board support package for Ada and SPARK.

Blogs

Running Ada 2012 On The Cortex-M4

The latest open-source Ada 2012 system from AdaCore, running on STMicroelectronics’ STM32 F4 Discovery board, is based on ARM’s Cortex-M4 microcontroller.

1 The Crazyflie weighs only 19 g and has a 72 MHz CortexM3 processor Another Cortex core is found on the wireless chip Image courtesy of Bitcraze

Software

Ada/SPARK Fixes Crazyflie Nano Quadrotor

Crazyflie quadrotor is an open-source project including the hardware. I tried out a project where the control software was rewritten in SPARK, a subset of Ada.