Connaître les dernières avancées sur les logiciels critiques Les logiciels temps réel doivent respecter des contraintes extrêmement strictes en matière de réactivité à des demandes de calcul. Leur conception et leur vérification font donc appel à des techniques formelles que les industriels du domaine aéronautique mettent désormais en œuvre aujourd’hui pour développer et certifier les systèmes numériques les plus critiques pour le fonctionnement opérationnel d’un avion. Ces méthodes s’appliquent aussi à d’autres applications critiques dans le nucléaire, l’automobile, l’énergie ou le transport en général. |
FLUX RSS