Abstract:
Ce projet de fin d'études à pour thème la contribution à l'implémentation du serveur DHCP (Dynamic Host Configuration Protocol) sur puce.
En se basant sur les RFC (Request For Comments) définissant le protocole DHCP, une description formelle de ce service a été faite grâce au langage SDL (Specification and Description Language), sous l'environnement de développement TauSDL.
La génération d'un code C à partir de la modélisation a permis la création d'un exécutable validant le modèle établi.
