Module de communication systèmes de contrôle pneumatiques-électroniques

Le but de ce projet de maîtrise est de concevoir et de réaliser le prototype d'un module de communication. Le module ainsi réalisé, peut contrôler à distance, par deux fils, deux ou plusieurs panneaux de contrôle pneumatique-électronique et de vérifier leur fonctionnement et leur performance d'une façon simple et adéquate. Le premier aspect à considérer pour le circuit électronique et la simplicité et l'efficacité. Le microcontrôleur Atmel constitue le coeur du module de communication. Il permet de gérer les données en utilisant une programmation dynamique des circuits d'entrée/sortie et du circuit de transmission/réception Maxim. La deuxième partie consiste à prouver la fonctionnalité du module à l'aide de l'émulateur et le simulateur par ordinateur. Une grande importance a été accordée à la minimisation des coûts de production et à la flexibilité de la conception. Ce nouveau module est essentiellement conçu pour une communication de haute qualité entre des stations de contrôle éloignées d'une distance qui peut atteindre 1500m

Proposition d'une méthode basée sur la création et l'utilisation d'artéfacts afin de résoudre des problèmes dans les cours d'introduction à la programmation

Nous pouvons voir le développement d'un logiciel selon deux perspectives. La première concerne le développement, par un programmeur ou une petite équipe de programmeurs, d'un petit logiciel, avec un utilisateur et un seul ordinateur. C'est ce qu'on appelle de la programmation à petite échelle (programming in the small). Ce genre de développement s'enseigne dans les cours de programmation en informatique (computer science). La deuxième perspective consiste à faire de la programmation à grande échelle avec plusieurs équipes de programmeurs, plusieurs fonctionnalités, plusieurs utilisateurs et même, parfois, plusieurs ordinateurs et serveurs. C'est ce qu'on appelle le génie logiciel (software engineering), qui s'enseigne dans des baccalauréats en génie logiciel. Même si beaucoup de progrès a été fait en génie logiciel, il reste qu'il existe encore des lacunes dans l'enseignement de cette discipline. Les difficultés se situent, entre autres, dans les cours d'introduction à la programmation. Il y a plusieurs façons d'enseigner le développement de logiciels. Cependant, peu importe celle qui est employée, la transition entre la programmation à petite échelle et la programmation à grande échelle n'est pas facile. Nous désirons donc créer une méthode qui favorise la résolution de problèmes, tout en facilitant la transition ultérieure vers les grands projets. Nous croyons également que la transition serait plus facile si ladite méthode de développement utilisait des principes de génie logiciel déjà utilisés et reconnus. C'est pourquoi nous avons tenu compte d'un corpus de connaissances en génie logiciel (Abran et aL, 2001) dans la construction de la méthode

Sécurité des réseaux et infrastructures critiques

Les infrastructures et réseaux critiques commencent à s'ouvrir vers des architectures, protocoles et applications vulnérables. Ainsi, non seulement il est question de sécuriser ces applications (e.g., contre les attaques potentielles), mais il faut également justifier notre confiance dans les mécanismes de sécurité déployés. Pour cela, nous présentons PolyOrBAC, un cadriciel basé sur le modèle de contrôle d'accès OrBAC, les mécanismes de services Web ainsi que les contrats électroniques. Ensuite, nous préconisons l'utilisation de la Programmation Logique par Contraintes (PLC) pour détecter et résoudre les conflits éventuels dans la politique de sécurité. Au niveau de la mise en œuvre, nous proposons le protocole Q-ESP, notre amélioration d'IPSec qui assure à la fois des besoins de sécurité et de QoS. Enfin, nous présentons nos modèles et résultats de test et d'évaluation d'outils de sécurité notamment les Systèmes de Détection d'Intrusions (IDS)

LabVIEW intègre et accélère les processus de développement en physique expérimentale

La physique expérimentale a massivement recours à la programmation d'instruments. Nous présentons deux réalisations LabVIEW du LPSC, pour les expériences GRAAL et PLANCK. En nous appuyant sur ces exemples nous dégagerons certaines qualités qui permetent à LabVIEW d'intégrer l'environnement et les méthodes de la recherche. Enfin nous examinerons des points de concordance profonds entre la technologie LabVIEW et les contraintes techniques de la programmation des expériences

Théorie et méthode de Tests des états logiques (TEL), preuve par les tests de logiciels ayant un comportement vectoriel

Programme, logiciel et cycle de vie -- Vérification, validation et tests -- Vérification des différentes phases du cycle de vie -- Transformation de l'énoncé du projet -- Erreurs -- Méthodes de vérification -- Tests -- Théorie des tests -- Tests en pratique -- Trois caractéristiques des programmes -- Théorie et méthode de "tests des états logiques " ou TEL