Les logiciels embarqués dans les systèmes spatiaux (lanceurs, véhicules de transport, sondes interplanétaires, etc.) remplissent des missions diverses, de plus en plus complexes, et généralement de manière autonome : gestion des moteurs et des étages, navigation, guidage, pilotage, contrôle thermique, gestion de la puissance, des panneaux solaires, etc. Bien que soumis à des ambiances particulièrement contraignantes (chocs, températures, ambiance radiative), ce sont des logiciels temps réel critiques. Leur défaillance ou le plus infime retard dans leur exécution entraîneraient la perte irrévocable du système et pourrait dans certains cas avoir un impact catastrophique sur leur environnement et sur les populations : destruction du pas de tir, atteinte à la sécurité des équipages, retombée de débris sur les populations. Des standards officiels imposent ainsi au développement de tels logiciels des processus stricts de conception, de codage, de vérification et de validation. Des technologies spécifiques sont également mises en œuvre. En sortant de cette session, vous saurez tout sur les outils et méthodes qui permettent de créer des logiciels temps réel critiques.