Component-based development has shown to be a promising approach supporting reusability and managing complexity, but to date has not been extensively used for handling requirements from the embedded systems domain (real-time constraints, resource limitations, dependability, life-cycle properties, etc.). It is based on component models i.e., specification of components and their interaction. Most of the existing component models tailored for embedded systems only cover a small set of the embedded systems requirements. In our research we propose a two-layered component model - ProCom for design and development of embedded systems, and a modeling framework - REMES, for modeling of and reasoning about component- and system behavior, which includes relevant resource types for embedded systems.