Sites Inria

Il y a 1 Résultats avec le mot clé : "systèmes critiques embarqués"

Cockpit Airbus A350 © Airbus

Méthodes formelles

Fiabilité des logiciels, pas uniquement pour les avions !

Françoise Breton - 20/06/2013

Tous les avions actuellement admirés au salon du Bourget sont équipés de systèmes embarqués critiques dont la qualité, la fiabilité et la sûreté reposent sur l’utilisation des méthodes formelles. Longtemps confinées à ce domaine et quelques autres comme le spatial, les circuits électroniques ou le nucléaire, les méthodes formelles intéressent un nombre croissant d’entreprises, notamment automobiles et médicales.

Mots-clés :

Accueil > Centre > Grenoble > Actualités > Fiabilité des logiciels, pas uniquement pour les avions !

Lire la suite

Haut de page

Suivez Inria