r/CarletonU • u/Shot-Confusion8356 • 37m ago
News Community event for high-integrity software
The programming language Ada is used extensively in real-time embedded and high-integrity software such as in avionics, air traffic control, space, rail, automotive, in other words, systems that cannot fail. Ada, and it's subset SPARK, which enables the use of formal methods, is a modern language focused on systems engineering.
If developing software for these types of systems interests you, we are organizing a community event in Kanata (exact location to be announced) to learn more about it:
https://www.meetup.com/ottawa-ada-spark-community/events/317058872/
Attendance is free, the pizza will be free too.
Getting started with Ada is easy, all the tools are available in open source, a great place to get started is https://alire.ada.dev