4 ms·
Anyone here using ADA? Seems really interesting
by exdsq 5y ago
Anyone here using ADA? Seems really interesting
- rvnx 5y agoAirbus
- nextos 5y agoAltran / Praxis and AdaCore. Used in the software for e.g. French nuclear power plants and other safety-critical systems.
- touisteur 5y agoHi, 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.
- nextos 5y agoI'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_Formal_Methods_for_Software_Development/Lectures/Files/aw_altran_spark_slides_sept_2017.pdf https://www.cse.chalmers.se/edu/year/2017/course/TDA294_Form...
- touisteur 5y agoThanks! 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!
- VygmraMGVl 5y agoI've heard BAE uses ADA on their satellites.
- deleted 5y ago[deleted]
- butterisgood 5y agoIt'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.
- exdsq 5y agoI have autocorrect because I worked on a cryptocurrency that’s coin was ADA so I need to manually change it
- touisteur 5y agoMost air traffic management radars.
- KronisLV 5y agoTook 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/ 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 https://learn.adacore.com/courses/intro-to-ada/index.html
- int_19h 5y agoNote 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.)