L'ing nierie des lignes de produits logiciels est une discipline r cente en g nie logiciel. C'est une adaptation du principe des cha nes de production au d veloppement d'applications informatiques. L'apport majeur de ce paradigme est l'introduction d'une architecture de r f rence permettant la gestion de la variabilit . Cette discipline a connu un grand succ s en terme de productivit , mais des efforts cons quents li s la gestion de la diversit doivent tre envisag s. Dans le cadre de cet ouvrage, nous nous int ressons particuli rement l'analyse automatique des mod les FD et FTS. Le diagramme FD est un formalisme largement utilis pour la sp cification structurelle des produits. Il s'agit d'un arbre sp cifiant les caract ristiques et leurs d pendances. Le formalisme FTS est utilis pour la sp cification comportementale. C'est un syst me de transitions param tr dans lequel ces transitions sont tiquet es avec les caract ristiques d'un diagramme FD en plus d' tre marqu es avec des actions. Il est instanci diff remment pour chaque produit selon les caract ristiques requises.