|
|
|
|
|
|
Ce cours présente les représentations
mathématiques et logiques de base pour la modélisation
des systèmes dynamiques et discrets. |
|
-
Systèmes dynamiques et discrets : présentation
(réactivité, ressources), modèles de
Kripke.
- Logiques
temporelles : CTL, LTL, CTL*
-
Applications : modélisation, vérification de
propriétés temporelles, utilisation de
model-checker.
-
Réseaux de Pétri : modèles,
représentation matricielle, graphe de marquage,
traces.
-
Vérification : séquence de franchissement,
bornitude, vivacité
|
|
|
|
|
|
|
|
Cet enseignement de réseaux a pour but de
présenter les principes de base du modèle OSI et surtout
la famille des protocoles TCP/IP régissant le réseau
Internet. |
|
-
Introduction : historique, services réseaux, types de
réseaux
-
Architecture en couche : le modèle OSI
- La
couche physique (supports physiques et leurs
propriétés)
- La
couche liaison de données (correction/détection
d'erreurs)
- La
couche réseau (routage)
- La
couche transport (contrôle de congestion)
- Les
autres couches
- Une mise
en oeuvre : le modèle "Internet"
- Les
protocoles liaison : Ethernet, PPP, SLIP
- Le
protocole réseau : IPv4, IPv6
- Les
protocoles transport : TCP, UDP
- Les
applications : ping, traceroute, ftp, NetBios, DNS, DHCP
|
|
|
|
|
|
|
|
1. Semestre 5
