Il model-based design è una metodologia matematica con supporto grafico utilizzata per risolvere problemi relativi alla progettazione di sistemi di controllo complessi. Viene applicata in moltissimi ambiti: l’industria automobilistica, aerospaziale, ed in particolare nella progettazione del software embedded e consiste nell’applicazione formalizzata di modellistica per supportare l’intero processo di sviluppo di un prodotto: formalizzazione dei requisiti, progettazione del sistema, analisi, verifica e validazione del sistema integrato. Il model-based design permette una riduzione di tempo e costi grazie alla riduzione delle tempistiche di progettazione, evita la ri-progettazione, ed è ottimizzata e validata per la progettazione e sviluppo di sistemi meccanici, idraulici e di controllo embedded.