Enseignements dispensés à l'INSA de Lyon entre 1997 et 2008

• Les systèmes embarqués (ici)
• La spécification SA-RT (ici)
• La conception multitâche (ici)
• Les exécutif temps réel (ici)
• Les suports d´exécution (ici)
• La carte à puce (JavaCard) (ici)
• Le robot Lego® RCX et son langage NQC (ici)
• Le robot Lego® NXT et son langage NXC (ici)

• La communication
• Le langage de modélisation SDL (ici)
• Les pilotes de périphériques (ici)
• Les protocoles de communication pour l´embarqué (ici)

• Vérification et validation
• L´ordonnancement temps réel (ici)
• Les techniques formelles à base d´automates temporisés (à venir)

Avertissement : les fichiers téléchargeables sont des copies de transparents servant de support aux cours (sans évidemment les commentaires nécessaires à leur compréhension). Ces supports sont libres d´utilisation. Si vous les réutilisez pour faire un cours ou une présentation, ayez l´amabilité de citer l´auteur. Et surtout, si vous trouvez des erreurs, des coquilles ou si vous voyez des améliorations possibles, n´hésitez pas à m´en faire part. Je suis aussi intéressé par récupérer des cours sur le domaine des systèmes embarqués communicants.

mis à jour en Octobre 2008