3 ms·
What is the biggest Ada-based project currently in use? Does anyone know? Is Ada more for DoD-type backend-stuff, where Fortran or C would be used, or something
by amilios 4y ago
What is the biggest Ada-based project currently in use? Does anyone know? Is Ada more for DoD-type backend-stuff, where Fortran or C would be used, or something else? What is Ada for?
- topdancing 4y agohttps://blogs.nvidia.com/blog/2019/02/05/adacore-secure-autonomous-driving/ https://blogs.nvidia.com/blog/2019/02/05/adacore-secure-auto... And there's a whole new Paris metro line that runs on Ada: https://www.adahome.com/Ammo/Success/subway.html https://www.adahome.com/Ammo/Success/subway.html
- csande17 4y agoI don't know about specific projects, but the main Ada use case I've heard about is safety-critical embedded systems in heavily regulated industries. The same sort of places you might use NASA JPL's famously strict rules for C code--things like control loops for jet engines. (One of the most compelling reasons to use Ada is SPARK, a theorem prover bolted onto the compiler that can formally verify your program doesn't violate any assertions or trigger any runtime errors.)
- jayp1418 4y agoNvidia, Boeing, many satellite programmes, Raven Ports http://www.ravenports.com/ http://www.ravenports.com/
- kjs3 4y agoOne example would be the Boeing 777 flight control software.