Les méthodes formelles bénéficient d’un intérêt grandissant dans les domaines de la conception et de la vérification des systèmes critiques complexes. Pour maîtriser cette complexité, les concepteurs utilisent des approches par vues orientées métier pour la conception et l’analyse. Le besoin d’un cadre fédérateur, dans lequel le développement et l’exploitation concertée de résultats d’analyses multivues seraient décrits formellement, se fait à présent sentir. Cet article présente un cadre orienté composant dédié à la spécification multivue de systèmes embarqués, dans le domaine aéronautique, tentant de répondre à ces besoins. Un composant est une entité formelle possédant trois couches internes (matérielle, opératoire, fonctionnelle), ainsi qu’une collection de modèles dans différentes vues orientées métier. Le cadre théorique dans lequel prend place le développement est bâti à partir d’éléments formels empruntés à la littérature de la théorie des catégories et des institutions. Ce cadre permet de représenter de manière homogène le calcul de composants ainsi que les différents modèles formels utilisés pour l’analyse du système. Notre propos est illustré par les résultats obtenus sur une étude de cas.