L’aumento della complessità dei sistemi d’automazione più moderni richiede una profonda revisione delle tecniche di progetto e sviluppo. In particolare si rende necessario, a causa della moltitudine di dispositivi eterogenei che si trovano a coesistere, definire un metodo formale basato su modelli in grado di astrarre la fase di progetto da quella di implementazione. Questo articolo presenta i risultati ottenuti nel campo della progettazione model-based per sistemi embedded, introducendo i modelli ed i concetti definiti dal gruppo di ricerca del progetto europeo Medeia.