[HN Gopher] Ada and SPARK enter the automotive ISO-26262 market ...
       ___________________________________________________________________
        
       Ada and SPARK enter the automotive ISO-26262 market with Nvidia
        
       Author : gneuromante
       Score  : 23 points
       Date   : 2025-06-04 19:59 UTC (3 hours ago)
        
 (HTM) web link (www.adacore.com)
 (TXT) w3m dump (www.adacore.com)
        
       | FirmwareBurner wrote:
       | But why? The US military abandoned Ada for the F-35 and moved to
       | C++ instead. Is it me or are they moving backwards?
        
         | gneuromante wrote:
         | It was the US military who moved backwards.
        
         | bb88 wrote:
         | SPARK formal verification is a big win. Ada is also simpler
         | than C++.
         | 
         | However, the tooling for Ada was never as good as C++ tooling.
        
         | johnnyjeans wrote:
         | you mean the plane plagued with software development
         | issues[1][2]? even ignoring the obnoxious yellow journalism,
         | i'm not sure it's a shining beacon of best practices. or that
         | replacing one ancient language with an even more ancient
         | language is "moving forwards."
         | 
         | particularly when the language you're replacing was explicitly
         | designed for your domain, and the language you're replacing it
         | with is an entropic event horizon from which no coherent
         | thoughtform can escape.
         | 
         | [1] -
         | https://www.dote.osd.mil/Portals/97/pub/reports/FY2024/other...
         | 
         | [2] - https://www.gao.gov/products/gao-24-107177
        
         | nabla9 wrote:
         | It was not for technical reasons. They needed more programmers
         | and C++ had larger user base.
         | 
         | Ada is technically better choice.
        
       ___________________________________________________________________
       (page generated 2025-06-04 23:00 UTC)