Learning About Ada and SPARK

Check out tools and projects done with the Ada and SPARK programming languages
Sept. 12, 2024
Add Us On Google
6705d261a9996b5303bfd591 Ada2012projectpromo

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

AdaCore’s "learn.adacore.com" site teaches Ada and SPARK programming using interactive sessions.
Technology Editor Bill Wong recently judged the “Make with Ada” competition and found some interesting feedback that will intrigue embedded developers.
Ada and SPARK are often used to develop applications that require high reliability and no bugs.

Hands-On Projects Using Ada and SPARK

Senior Content Director Bill Wong tries his hand at a Texas Instruments MSP432 board support package for Ada and SPARK.
The latest open-source Ada 2012 system from AdaCore, running on STMicroelectronics’ STM32 F4 Discovery board, is based on ARM’s Cortex-M4 microcontroller.
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.
Technology Editor Bill Wong targets Texas Instrument's BeagleBone Black using AdaCore's GNAT Programming Studio and Ada 2012.

More Articles About Ada and SPARK

Ada and SPARK are often used to develop applications that require high reliability and no bugs.
The new Ada 2012 standard was recently approved by ISO. It incorporates contracts that will have a major impact on application design.
Sign up for our eNewsletters
Get the latest news and updates

Related

Comment About the Article

To join the conversation, and become an exclusive member of Electronic Design, create an account today!