Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

Ada and SPARK enter the automotive ISO-26262 market with Nvidia

adacore.com

Post reply on HN
Print view View original

1–10 of 113 posts

Re: Ada and SPARK enter the automotive ISO-26262 market with Nvidia

#4

Post by bb88 »

FirmwareBurner wrote: post #2

But why? The US military abandoned Ada for the F-35 and moved to C++ instead. Is it me or are they moving backwards?

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.

Re: Ada and SPARK enter the automotive ISO-26262 market with Nvidia

#5

Post by johnnyjeans »

FirmwareBurner wrote: post #2

But why? The US military abandoned Ada for the F-35 and moved to C++ instead. Is it me or are they moving backwards?

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

Re: Ada and SPARK enter the automotive ISO-26262 market with Nvidia

#6

Post by nabla9 »

FirmwareBurner wrote: post #2

But why? The US military abandoned Ada for the F-35 and moved to C++ instead. Is it me or are they moving backwards?

It was not for technical reasons. They needed more programmers and C++ had larger user base.

Ada is technically better choice.

Re: Ada and SPARK enter the automotive ISO-26262 market with Nvidia

#7

Post by CivBase »

nabla9 wrote: post #6
FirmwareBurner wrote: post #2

But why? The US military abandoned Ada for the F-35 and moved to C++ instead. Is it me or are they moving backwards?

It was not for technical reasons. They needed more programmers and C++ had larger user base. Ada is technically better choice.

It has more to do with tooling than programmers. C++ is used everywhere so there are many commercial tools to support it. Not so much for Ada.

Ada's developmemt tools are fewer, less featued, and more costly due to low demand.

Re: Ada and SPARK enter the automotive ISO-26262 market with Nvidia

#8

Post by seabird »

FirmwareBurner wrote: post #2

But why? The US military abandoned Ada for the F-35 and moved to C++ instead. Is it me or are they moving backwards?

Everything I've heard about it was that it was pressure from contractors because they didn't like training or finding Ada talent.

I get that there's more tools for C++ but first class formal verification support and a language that's generally designed to save you from yourself seems like something you would stand your ground on. Ada is supremely good at killing people and/or keeping them un-killed, there's a reason you still see it kicking around in defense and aerospace despite the common perception that it's a bygone relic.

Re: Ada and SPARK enter the automotive ISO-26262 market with Nvidia

#10

Post by johnisgood »

CivBase wrote: post #7
nabla9 wrote: post #6

Earlier quoted context omitted.

It was not for technical reasons. They needed more programmers and C++ had larger user base. Ada is technically better choice.

It has more to do with tooling than programmers. C++ is used everywhere so there are many commercial tools to support it. Not so much for Ada. Ada's developmemt tools are fewer, less featued, and more costly due to low demand.

> Ada's developmemt tools are fewer, less featued

Such as?

Post reply on HN