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

21–30 of 113 posts

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

#21

Post by cashsterling »

atlgator wrote: post #16

Wow. I developed in Ada in aerospace 17 years ago. I thought the industry would move toward Rust.

Yeah... my intro CS class was in C and Ada95 (I'm not a CS guy btw, just took the class). I actually preferred Ada over C... but continued to program in C for other classes because of compiler availability; I had to do all my Ada programming on Sparc workstations at school.

I personally think that AdaCore, and friends, missed an opportunity in the early 2000's to fully embrace open source... they left a big gap which Rust has filled nicely.

I still think Ada is a great programming language. When a question comes up along the lines of: "what's the best programming language nobody's heard of?", or "what's the best programming language that is under used?" Ada is usually my first answer. I think other good answers include F#, , Odin, Prolog, Haxe, and Futhark (if you're into that sort of thing).

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

#22

Post by cjbgkagh »

cjbgkagh wrote: post #15
dardeaup wrote: post #13

Earlier quoted context omitted.

Regarding the number of options, C++ has quite a few IDEs: Visual Studio, Xcode, VSCode, CLion, and probably more (Oracle probably still sells the one they had for Solaris). For command-line compilers, C++ has: Visual Studio, Xcode, g++, clang++, IBM C++ compilers for their OSs, Oracle compilers for Solaris, etc. For Ada, is there anything other than AdaCore? Is that the same as GNATStudio? Edit* - fixed Ada capitali…

I think IBM Rational Ada was a thing back then. Never used it but heard stories about it.

I should add, what I was told is that they were amazing, especially the pre-IBM Rational stuff. Rational was acquired by IBM in 2003. I was working on tech adjacent to the JSF (F35). I was told by a guy working on the JSF that the extra bugs from C++ would mean better job security and he was 100% right. It’s pretty much that conversation that triggered my move into high tech and away from military. I think it’s a shame that IBM happened to Rational, a lot of nascent good ideas pretty much disappeared or were mangled beyond recognition.

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

#24

Post by marze »

pfdietz wrote: post #23

Are auto companies going with error correction in memory? I'm thinking of the Toyota unintended acceleration problem. https://www.slideshare.net/slideshow/toyota-unintended-accel...

Wasn't a correlation with elderly drivers and the unintended accretion found in the Toyota cases?

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

#25

Post by pfdietz »

marze wrote: post #24
pfdietz wrote: post #23

Are auto companies going with error correction in memory? I'm thinking of the Toyota unintended acceleration problem. https://www.slideshare.net/slideshow/toyota-unintended-accel...

Wasn't a correlation with elderly drivers and the unintended accretion found in the Toyota cases?

How about a difference between Toyotas and non-Toyotas? It's not like elderly drivers are unique to Toyotas.

Also, unintended acceleration seems to have gone away. The control hardware has been changed; driver age, not so much.

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

#26

Post by nickpsecurity »

marze wrote: post #24
pfdietz wrote: post #23

Are auto companies going with error correction in memory? I'm thinking of the Toyota unintended acceleration problem. https://www.slideshare.net/slideshow/toyota-unintended-accel...

Wasn't a correlation with elderly drivers and the unintended accretion found in the Toyota cases?

It happened to me. I sure wasn't elderly. The only thing that stopped a crash was shifting into neutral and hitting the brakes.

Then, I was sitting there with the engine revving loudly for no reason. Car behind me started backing up. I decided to just shut it off and turn it back on. It went away.

Scary stuff. Especially since I had no idea why it happened.

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

#27

Post by f1shy »

marze wrote: post #24
pfdietz wrote: post #23

Are auto companies going with error correction in memory? I'm thinking of the Toyota unintended acceleration problem. https://www.slideshare.net/slideshow/toyota-unintended-accel...

Wasn't a correlation with elderly drivers and the unintended accretion found in the Toyota cases?

Just because they could not handle it. It happened to many people, young people hndled that better.

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

#29

Post by pjmlp »

atlgator wrote: post #16

Wow. I developed in Ada in aerospace 17 years ago. I thought the industry would move toward Rust.

5 years ago NVidia did not consider Rust mature enough for their use cases.

This is the original announcement from 2020,

"SPARK/Ada Journey to Adoption"

https://youtu.be/DZSSyWlsb28?si=vh4gO-LT2N3Skaql

Also we are now on Ada 202x already, quite different from Ada83, that some Rust folks keep comparing their favourite language with.

You get all the niceties of a language more in line with Object Pascal productivity, formal proofs, a RAII approach safer than C++ (controlled types, automatic stack types, unbound collection types), industry baremetal profiles like Ravenscar, and the recent versions are in the process of having affine types as well (aka borrow checker).

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

#30

Post by pjmlp »

cashsterling wrote: post #21
atlgator wrote: post #16

Wow. I developed in Ada in aerospace 17 years ago. I thought the industry would move toward Rust.

Yeah... my intro CS class was in C and Ada95 (I'm not a CS guy btw, just took the class). I actually preferred Ada over C... but continued to program in C for other classes because of compiler availability; I had to do all my Ada programming on Sparc workstations at school. I personally think that AdaCore, and friends, missed an opportunity in the early 2000's to fully embrace open source... they left a big gap which…

We are on Ada 202x nowadays being discussed, and in a world where FOSS tool makers have problems making a sustainable business, always changing licenses, there are still 7 Ada vendors selling compilers.
Post reply on HN