\section{Semantic of Components}
\label{semantic_of_components}
We distinguish in Cheddar two types of components: hardware components 
and software components.

\subsection{Hardware Components}
\label{hardware_components}

(1) We define in this section the following hardware components: \cache, \core, 
\processor, \memory and \network.\\

(2) \cache which models a hardware cache unit.\\

(3) \core which models an entity providing a resource to sequentially 
run flow of controls. \\

(4) \processor which corresponds to the deployment unit for a software component. \\

(5) \memory which models an entity providing a physical memory unit.\\

(6) \network which models any entity allowing tasks located in different processors to exchange messages. \\