La notion d'architecture logicielle est apparue aux alentours des années 1990 et est maintenant présentée comme le coeur d'une discipline à part entière. De nombreux langages de description d'architecture (ADLs) ont été proposés dans la littérature. Ils offrent des capacités complémentaires pour le développement et l'analyse architecturale d'un système logiciel. Comme l'objectif principal d'un ADL est de fournir les moyens pour une spécification explicite, plusieurs caractéristiques pour les composants et les connecteurs sont souhaitables. Parmi ces caractéristiques, les propriétés non fonctionnelles spécifiant les besoins des utilisateurs, sont très importantes et favorisent une implantation correcte du logiciel. SADL est un langage de description d'architecture dont la vocation n'étant pas l'analyse, nous l'avons alors étendu pour prendre en compte les spécifications non fonctionnelles des systèmes architecturaux. Nous proposons dans cet article, un cadre formel, basé logique de réécriture, permettant la description des propriétés non fonctionnelles des composants et des connecteurs du langage SADL ainsi que l'analyse d'une application architecturale garantissant ces propriétés.