Altran / Praxis and AdaCore.

Used in the software for e.g. French nuclear power plants and other safety-critical systems.

Hi, do you have a source for the French nuclear plant use? Some kind of paper? Really interested in real-world applications of Spark and had never heard of such. To me the nuclear world was walled off with very specific tech, different than the stuff from rail or avionics.

I've worked on railway systems, but I didn't use Spark. I've seen many mentions to Spark being used in nuclear power software during conferences and presentations. But I'm afraid open materials might not be available...

Here you can see some real uses of Spark listed: https://www.cse.chalmers.se/edu/year/2017/course/TDA294_Form...

Thanks! I know of some rail projects in spark some colleagues worked on (and some internal company recruiting efforts) but I guess it's quite recent and maybe not yet deployed.

I'll ask around about nuclear, thanks again!

Took a university course on it way back. Seemed about as pleasant to use as Pascal, though the ecosystem around ADA felt non existent. Probably better to use it for lower level logic when stability and correctness are the primary concerns.

On the bright side, at least there's an open source compiler available for it as a part of the GNU project: http://www.gnu.org/software/gnat/

Here's a quick intro to the actual language: https://learn.adacore.com/courses/intro-to-ada/index.html

Note that Ada is not an acronym - it's a person's name.

(Also, confusingly, SPARK was originally an acronym, but isn't anymore - yet it's still written in all-caps.)

It's just Ada, not the Americans with Disabilities Act (ADA) or the American Dodgeball Association or whatever else it is.

Ada is just a name, like Ada Lovelace, its namesake.

I have autocorrect because I worked on a cryptocurrency that’s coin was ADA so I need to manually change it

I've heard BAE uses ADA on their satellites.

Most air traffic management radars.

Airbus