Slimbob writes "About 2 years ago an Ariane 5 rocket malfunctioned and
left a very expensive Artemis satellite in an unusable orbit. Well, over
the course of 18 months, the European Space Agency actually managed to
push the satellite into a usable orbit using measly 15mN ion thrusters!
They managed the feat by reprogramming about 20% of the original control
software and uplinking the patches to the satellite! See the ESA press
release . Achievements include the first first major reprogramming of a
telecommunications satellite, the first orbital transfer to
geostationary orbit using ion propulsion, and the longest ever
operational drift orbit."

ESA's Artemis satellite reaches geostationary orbit - from total loss to
full recovery

 From google, I found a link mentionning the use of Ada in some control

Any teamer knows wether the thing was done in Ada?
Could someone forward this on comp.lang.ada (I can read but not post
right now)?

Laurent Guerby <[log in to unmask]>