L'organisation de ce parcours se résume ainsi:
| Anglais obligatoire en première période (3 ECTS) | |||
| Première période | (15 ECTS) | Deuxième période | (18 ECTS) |
| Cours obligatoires | Cours obligatoires | ||
| Modélisation et spécification | (3 ECTS) | Model-Checking | (3 ECTS) |
| Programmation synchrone | (3 ECTS) | Analyse statique de programmes | (3 ECTS) |
| Conception et programmation avancée | (3 ECTS) | Preuve de programmes | (3 ECTS) |
| Méthodes de test | (3 ECTS) | ||
| Cours optionnels | Cours optionnels | ||
| Sécurité | (3 ECTS) | Vérification de la Sécurité | (3 ECTS) |
| Ingénérie des protocoles | (3 ECTS) | Contrôle et ordonnancement | (3 ECTS) |
| Protocoles des Services Internet | (3 ECTS) | Systèmes modulaires, embarqués et temps-réel | (3 ECTS) |
| Troisième période | Quatrième période | ||
| Projets | Stage en entreprise | (21 ECTS) | |