Cours de méthodologie particulièrement adapté aux systèmes embarqués temps réel