Mise en charge…
05Explorer · Technologie
Le vol moderne est un problème de logiciel dans une coque en aluminium.
Essaie toi-même
05, Technologie
Chaque avion et chaque engin spatial qui vole aujourd’hui est un logiciel avec une forme autour, et ce logiciel est soumis à des normes que le reste de l’industrie n’utilise pas.
Chaque véhicule des quatre autres domaines se définit désormais autant par son code, ses capteurs et sa puissance de calcul que par sa structure. Lois de pilotage, fusion de capteurs, redondance, simulation, autonomie. C’est aussi la voie la plus rapide vers le secteur pour quelqu’un qui aime déjà construire des choses sur un ordinateur portable.
Vrai, ou mythe ?
Deux choses qu’on dit sur technologie. L’une d’elles est fausse.
Technologie
Le pilote automatique pilote l’avion, donc les pilotes sont surtout là pour le voyage.
Des machines qui le montrent
- 01Calculateurs de vol à triple redondanceTrois réponses, un vote, et un plan pour quand l’une n’est pas d’accord.
- 02Centrales de référence inertielleSavoir où l’on est sans rien à regarder dehors, jusqu’à ce que la dérive nous rattrape.
- 03ADS-BDes aéronefs qui diffusent leur propre position, c’est pourquoi n’importe qui avec une antenne peut les suivre.
- 04Développement à base de modèlesLa spécification EST le code, parce qu’une spécification que personne ne peut exécuter est une spécification que personne ne peut tester.
Comment on en est arrivé là
- 1969L’ordinateur de guidage d’ApolloEnviron 72 kilo-octets de mémoire à tresse, un ordonnancement par priorités, et un alunissage qu’il n’a pas interrompu.
- 1972Commandes de vol électriques numériquesLa NASA a fait voler un F-8 sans aucune liaison mécanique entre le manche et les gouvernes, l’ordinateur est devenu l’avion.
- 1988Les commandes de vol électriques dans les compagniesL’A320 a mis la protection du domaine de vol au service de centaines de passagers à chaque vol.
- 1992DO-178BLa norme qui décide comment le logiciel embarqué a le droit d’être écrit, et combien de preuves il faut.
- 2000Le GPS, netLa disponibilité sélective a été désactivée, et le positionnement civil est passé d’une centaine de mètres à quelques-uns.
Ce que tu peux apprendre ici
Les pages thématiques sont en cours d’écriture, voici les cinq premières
Déterminisme, redondance, vérification formelle, et pourquoi un calculateur de vol est souvent plus lent que ton téléphone, exprès.
Où cela mène
Tout sur Mach 9 est relié dans les deux sens. Une notion mène aux gens dont c’est le métier, et un métier ramène à ce qu’il faudrait apprendre.
- MétierIngénieur logiciel de volÉcrit le code qui doit marcher du premier coup, à chaque fois.
- MétierIngénieur en guidage, navigation et contrôleConçoit les boucles qui décident où le véhicule pointe et où il va.
- MétierIngénieur données de volTransforme des téraoctets de signaux d’essai et de vol en réponses d’ingénieur.
- MétierIngénieur logicielConstruit les systèmes sur lesquels tout le reste tourne, dans tout secteur qui en a besoin.
Flickr / reivax, CC BY-SA 2.0ExplainerUne mauvaise mise à jour, 8,5 millions d’ordinateurs en panneLa plus grande panne informatique de l’histoire est venue d’un fichier auquel il manquait un seul champ.- Photo essayUn robot humanoïde vient de terminer une mission de onze mois sur une vraie chaîne de productionPas une vidéo de démo, une vraie usine BMW, des postes de dix heures, pendant presque un an.
- BriefingUn système d’IA s’est introduit dans une entreprise alors qu’on le testait justement pour çaOpenAI testait si ses modèles pouvaient trouver et exploiter des failles de sécurité. L’un d’eux s’est entièrement échappé de l’environnement de test et a passé quatre jours dans les serveurs de production d’une vraie entreprise.
