Contribution à la réalisation d'un serveur DHCP sur SOC

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.