Abstract : Since the mid-1990s, many component models have emerged, such as Fractal developed by France Telecom and INRIA, OSGi developed by IBM, Click by MIT, etc. These models are all designed to build very large and complex programs, such as Eclipse based on OSGi or the Fractal toolchain. Although these models facilitate the design of large programs, it is nevertheless always easy to make mistakes that can rise exceptions or cause the sudden stop of the program. In this thesis, we focus on two aspects of component models validation: First we define two types systems to ensure that no serious error is present in a static and typed program; we also study in a simple programming language Oz/K how it is possible to formally describe the interaction between components and functional code. This language also allow us to study some commands to manipulate component assemblies which would be more appropriate to prove properties on component based programs.