Live data from Hacker News

Ada holding up F-22 Raptor upgrades

defensenews.com

21–30 of 38 posts

Re: Ada holding up F-22 Raptor upgrades

#21
post #2

OK, everyone here who codes in ADA, raise your hand. Atlas?

I've played with it, it's a nice language. Don't see why people hate on it, it's not especially verbose, and the static types are actually helpful (like, you can cleanly loop over the extent of an enumerated type, for example) as well as more than usually protective (like, you can type define "inches" and "centimeters" as kinds of integer, and it won't let you mix them by accident).

Re: Ada holding up F-22 Raptor upgrades

#24
post #7

Earlier quoted context omitted.

I have no idea about their overall code quality but there was a famous F-22 bug found a few years ago where it lost all navigation systems when crossing the international date line. http://www.defenseindustrydaily.com/f22-squadron-shot-down-b...

Date/Time code is notorious. It always seems simpler than it actually is. There are always corner cases you forgot about. None of it is rocket science. Instead, it's the stupid arbitrariness of it that gets you. (Commodity trading is often the same.)

Stealing a joke from a co-worker, I think that should be called an epoch fail.

Re: Ada holding up F-22 Raptor upgrades

#25
post #13

Earlier quoted context omitted.

> I'll bet that the F22 software is not actually that much more complicated than that controlling a modern car, yet Ford or whoever can spread the cost over a million units. I'll bet it is. A car is significantly simpler than a fighter plane (at all levels of resolution), even when you discount weapons and detection systems. Which you can't discount when you're building software for a plane. Furthermore, the risks in…

We've had self-landing planes and autopilots for a long time. Self-driving cars are still a long way off. So I would say that don't underestimate what software you need in a car. And even if the F22 is 10x as complex, Ford still has 100,000 cars to spread the cost across.

Fly-by-wire avionics go beyond "just" self-landing and auto-pilot (and these are no small accomplishments!). In fly-by-wire aircraft, when the flight controls are moved, it's the software that calculates how to move the control surfaces to achieve the desired result. Also, modern fighters are often designed to be inherently unstable, to achieve greater maneuverability. So even in level flight, the software must calculate and order constant tiny movements to maintain stability. These movements happen dozens to hundreds of times a second, and must take into account factors such as current speed, attitude, air flow across the aircraft, etc.

Re: Ada holding up F-22 Raptor upgrades

#26
post #13

Earlier quoted context omitted.

> I'll bet that the F22 software is not actually that much more complicated than that controlling a modern car, yet Ford or whoever can spread the cost over a million units. I'll bet it is. A car is significantly simpler than a fighter plane (at all levels of resolution), even when you discount weapons and detection systems. Which you can't discount when you're building software for a plane. Furthermore, the risks in…

We've had self-landing planes and autopilots for a long time. Self-driving cars are still a long way off. So I would say that don't underestimate what software you need in a car. And even if the F22 is 10x as complex, Ford still has 100,000 cars to spread the cost across.

That's the result of a combination of two things: aircraft don't often have one of the major problems that cars have (dense traffic and other obstacles), and that the problem of dissimilar surfaces was solved, for aircraft, by making the surfaces more similar. Cars instead have to be able to negotiate a variety of terrain.

So, safely automating cars is a harder problem, but not because the car itself is a more complex vehicle.

Re: Ada holding up F-22 Raptor upgrades

#28
post #9

Earlier quoted context omitted.

The article actually nails the real reason: the USAF bought far fewer F22s than it originally planned, so things like this that apply equally to 1 or 1000 have to have their cost spread over far fewer individual units. I'll bet that the F22 software is not actually that much more complicated than that controlling a modern car, yet Ford or whoever can spread the cost over a million units.

> I'll bet that the F22 software is not actually that much more complicated than that controlling a modern car, yet Ford or whoever can spread the cost over a million units. I'll bet it is. A car is significantly simpler than a fighter plane (at all levels of resolution), even when you discount weapons and detection systems. Which you can't discount when you're building software for a plane. Furthermore, the risks in…

It's true there are no end-to-end 100% drive-by-wire cars. But there are certain drive-by-wire systems in many modern cars. Electronic throttle control[1] is widespread (or universal?) and brake-by-wire[2] is already used by Mercedes and Toyota.

1. http://en.wikipedia.org/wiki/Electronic_throttle_control 2. http://en.wikipedia.org/wiki/Brake-by-wire

Re: Ada holding up F-22 Raptor upgrades

#29
post #2

OK, everyone here who codes in ADA, raise your hand. Atlas?

I've played with it, it's a nice language. Don't see why people hate on it, it's not especially verbose, and the static types are actually helpful (like, you can cleanly loop over the extent of an enumerated type, for example) as well as more than usually protective (like, you can type define "inches" and "centimeters" as kinds of integer, and it won't let you mix them by accident).

F# has units of measure too.

Re: Ada holding up F-22 Raptor upgrades

#30
post #13

Earlier quoted context omitted.

We've had self-landing planes and autopilots for a long time. Self-driving cars are still a long way off. So I would say that don't underestimate what software you need in a car. And even if the F22 is 10x as complex, Ford still has 100,000 cars to spread the cost across.

That's the result of a combination of two things: aircraft don't often have one of the major problems that cars have (dense traffic and other obstacles), and that the problem of dissimilar surfaces was solved, for aircraft, by making the surfaces more similar. Cars instead have to be able to negotiate a variety of terrain. So, safely automating cars is a harder problem, but not because the car itself is a more comple…

A harder problem requires more complex software, no? The complexity of the vehicle itself is actually not a factor.
Post reply on HN