Il est humainement impossible d'écrire un logiciel complet sans aucune erreur, et une bonne partie du génie logiciel vise donc à détecter ces erreurs. Il en va de même pour la spécification des systèmes : l'expérience montre qu'elle contient presque toujours des défauts rédhibitoires qui ne sont révélés que tard dans le processus de développement, voire même en exploitation, avec des conséquences parfois catastrophiques. Avec la méthode BASAALT (Behaviour Analysis and Simulation All Along systems Life Time), la formalisation des exigences ne vise pas seulement à fournir une référence rigoureusement définie à la conception et la réalisation, mais aussi et surtout à détecter et corriger au plus tôt les défauts de forme et de fond de la spécification. Le but de la présentation est de montrer l'application de BASAALT à un cas public proposé par l'ONERA., la spécification du logiciel de contrôle d'un LGS (Landing gear System).