Langages et Atelier Int�gr� pour le D�veloppementde Composants Embarqu�s S�rs Ce projet est une ACI "S�curit� & Informatique"