Ingénierie de Systèmes Informatiques Complexes

Il s'agit d'une option du Laboratoire en Processus Intelligents (LAPI), orientée vers l'informatique théorique.

Elle vise à donner à l'Elève-Ingénieur, à travers une multitude de situations, la capacité d'utiliser l'informatique comme médiateur et comme outil pour la résolution des problèmes.

Matériel : Machines parallèles, processeurs programmables et architecture client-serveur.

Méthodes : Réseaux de neurones, Algorithmes génétiques, Algorithmes d'évolution, Problèmes inverses, Automates cellulaires, Systèmes dynamiques chaotiques, Exploration de données, Agents intelligents, Calcul DNA, Calcul quantique.

Systèmes d'exploitation Temps Réel 40h Conception de système embarqués 40h Télécommunications 40h Automates et logique temporelle 20h Méthode de spécification Z 20h Test de logiciel avec PROMELA 20h Vérification du logiciel 20h Programmation par contraintes 16h Fouille de Données 28h Agents Intellignets 32h Machines à support vectoriel 24h Java temps réel 28h ADA 32h