Co-progettazione embedded per il sistema operativo in tempo reale