Development of critical software embedded on the various computers of aircraft.
Languages C or ADA in real-time embedded environment, DO178B standard.
