Contenu du cours et Planning
|
|
- Solange St-Georges
- il y a 8 ans
- Total affichages :
Transcription
1 Langages synchrones M2 SAR/SESI/STL LS Jérôme Hugues (ex ENST) Emmanuelle Encrenaz-Tiphène V3.2, septembre 2013 Contenu du cours et Planning 3 Introduction aux langages synchrones Systèmes réactifs Différences autres paradigmes prog Hypothèses synchrones Modèle sous-jacent Deux langages synchrones Modèle «flot de données»: Lustre Modèle «impératif»: Esterel Compilation et analyses statiques Causalité, calcul d horloges Code séquentiel, Compilation en circuit Vérification de propriétés de sûreté Observation Equivalences, minimisation Réduction et abstraction Extensions Extensions de Lustre, liens avec les langages fonctionnels Répartition, GALS Autres langages Lien vers les TP: Cours: UPMC, amphi 25 16/09: 4h, Introduction, modèle sous-jacent 23/09: 4h, Lustre 30/09: 4h, TP Lustre 07/10: 4h, Esterel 14/10: 4h, Analyse statique 21/10: 4h, Vérification sûreté 28/10: 4h, TP Extensions Lustre 21/11: Examen Page 1
2 Quelques références utiles 4 Articles scientifiques (fournis avec le support de cours) The Synchronous Languages 12 Years Later. Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic, and Robert de Simone. Proceedings of the IEEE 91(1):64-83, January A Synchronous Language at Work: the Story of Lustre. Nicolas Halbwachs. Third ACM- IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE'2005, Verona, Italy, July Livres Synchronous programming of reactive systems. Nicolas Halbwachs, Kluwer Academic Pub (bibliothèques IR, IE) The constructive Semantics of Pure Esterel. Gerard Berry 1. Introduction aux langages synchrones M2 SAR/SESI/STL LS a) Ingénierie des systèmes critiques b) Problèmes liés à la construction de systèmes critiques c) Définition de l approche synchrone a) Système réactif synchrone b) Modèle sous forme d automate d) Différents langages et utilisation industrielle Page 2
3 a) Ingénierie des systèmes critiques M2 SAR/SESI/STL LS Syst. temps-réel, embarqués, critiques 7 Temps-réel Temps de chaque traitement connu ou borné dans un intervalle Temps réel dur : contraintes temporelles à respecter impérativement Embarqué Dispositif logiciel + matériel «portable» (automobile, avion, humain) Consommation, poids, surchauffe sont des contraintes importantes Critique Défaillance d une partie du système a des conséquences importantes (humaines, environnementales, sociétales, économiques, ) Trois domaines fortement liés: Temps-réel et embarqué: horloges, alarmes,.. Embarqué et critique: systèmes de pilotage, robots chirurgiens, etc. Objectifs de ce cours: étudier l approche synchrone Les modules ETER et FSET complètent le panorama des solutions existantes Page 3
4 Explosion des systèmes critiques 8 Loi de Moore: «la puissance de calcul augmente tous les 18 mois» Corollaire: plus de puissance CPU pour moins d encombrement Majorité des processeurs utilisés dans un contexte embarqué, éventuellement communicants PDAs, téléphones portables, téléviseurs, imprimantes, Voitures, portails, etc. Toujours plus de puissance et de fonctionnalités Interactions Avec l utilisateur: GUI, entrées/sorties Avec d autres sous-composants: chaîne de capteurs / actionneurs Comment concevoir de tels systèmes? Systèmes, Domaines et Contraintes Contraintes de conception d un système dépendent : 9 du domaine d applications (vocabulaire, techniques, normes) de types de contraintes à respecter : fiabilité, maintenabilité, sécurité, intégrité, testabilité Domaine d applications Applications Criticité Types de contraintes Respect des Contraintes Avionique Pilotage, frein, distribution électrique Safety-critical Fiabilité, déterminisme Certifications Spatial Contrôle de trajectoires, altitude, imagerie, transmission Mission-critical Fiabilité, intégrité, déterminisme Qualité de code Grand public Imagerie, informatique Business-critical Time to market Tests Médical Pace-maker, robots chirurgiens Life-critical Fiabilité, déterminisme Certifications Page 4
5 Particularités des systèmes critiques 10 Fontionnement permanent Durée de vie : mois / années / décennies Interactions fortes Avec l environnement : Capteurs, horloges, utilisateur, environnement physique, [variables discrètes ou continues] Avec d autres entités du système : Un élément d une chaîne: centrale inertielle d un lanceur Ariane V Contraintes de performances Temps d exécution, consommation, poids Robustesse / résilience aux erreurs Nécessaire gestion des entrées erronées Entrées-sorties erronées Erreurs dues à l environnement; bit-flip du aux radiations solaires Recours à des méthodes de conception spécifiquement adaptées Exemple: l automobile Clim Badge de péage Audio & vidéo Contrôle moteur Vitesses Embrayage Direction Suspension 11 Lumières ABS Surveillance Tableau de bord Détecteur de sommeil GPS Airbag Siège Anticollision Coordination globale, >30 CPU Page 5
6 Types de traitements 12 CC : contrôle continu, traitement du signal Résolution d'équations différentielles, filtrage numérique Spécifications et simulation en Matlab/Scilab, code manuel ou automatique FSM : automates finis, graphes de transition Contrôle discret, protocoles, sécurité, etc. Automates plats ou hiérarchiques, code manuel ou automatique Calc : calcul intensif Navigation, cryptage, etc. C, manuel + librairies Web : navigation, audio / vidéo Interaction graphique / audio / vidéo Réseaux flots de données, Java Exemple: l automobile (2) 13 FSM Web + Calc +FSM CC+FSM FSM CC+FSM CC+FSM CC+FSM+Calc CC+FSM CC+FSM Calc+FSM CC+FSM CC+FSM FSM CC+FSM+Calc CC CC CC+FSM Coordination globale??? Page 6
7 Environnements de développement 14 Circuits IPs : blocs réutilisables, programmés en HDL (Hardware Description Language) Ex: Verilog, VHDL, SystemC Connectés par bus et réseaux (eux même des IP) Standardisation et réutilisation => SoC, System on Chip Logiciels C/C++, Java, Ada, Système d exploitation, exécutif assure la coordination Standardisation et réutilisation => bibliothèques Modèles à base de composants et environnement de déploiement [Fractal, BIP] Logiciel/matériel Plate-forme de conception mixte logiciel/matériel : Modèles d architecture multiprocesseurs + noyau système + code applicatif UML-Marte / SysML, AADL, Dysident, plateforme SOCLIB (Lip6) b) Problèmes liés à la construction de systèmes critiques M2 SAR/SESI/STL LS Page 7
8 Contraintes de conception 16 Certification : délivrance d une assurance écrite (certificat) d un organisme extérieur indépendant qui audite le système de conception et vérifie qu il est conforme aux exigences spécifiées dans la norme Accréditation : reconnaissance formelle (par un organisme d accréditation) qu un organisme de certification est compétent Sécurité des systèmes d information Critères communs : standard international (ISO/CEI 15408) Niveaux d évaluation (Evaluation Assurance Level) : EAL1 : testé fonctionnellement EAL2 : testé structurellement EAL3 : testé et vérifié méthodiquement EAL4 : conçu, testé et vérifié méthodiquement EAL5 : concç de façon semi-formelle et testé EAL6 : conception vérifiée de façon semi-formelle et testée EAL7 : conception vérifiée de façon formelle et testée Contraintes de conception 17 Validation : opération destinée à démontrer, documents à l appui, qu une procédure, un procédé ou une activité conduit aux résultats escomptés. Elle comprend la qualification des systèmes et des équipements. Documentation des composants : interface/fonctionnement Traçabilité : des spécifications fonctionnelles à la mise en œuvre du système Restrictions : limitation des pratiques dangereuses (alloc dyanmique, proc récursives) Outils de développement et de vérifications sûrs Vérification : utilisation de méthodes formelles pour vérifier du code informatique et du code décrivant des circuits électroniques Test : essais du système dans un grand nombre de configurations couvrant au maximum les points et chemins de fonctionnement. Plans de tests : tests unitaires / tests d intégration Mesures de couverture des tests. Page 8
9 Complexité croissante des systèmes 18 Complexité croissante des applications Interfaces analogique/digital Algorithmique embarquée: signal, graphique, alarmes, Choix des architectures: µp, DSP, ASIC, FPGA, Performance augmente la complexité Contrôle de la puissance pour éviter parasites (tél. portables), Optimiser les ressources batteries vs services Complexité impacte la vérification Réutilisation bute sur l absence de *vraies* spécifications Difficulté de tester l interaction entre composants Problème #1: erreurs de conception 19 Therac 25, thérapie par irradiation, 6 accidents entre 1985 et 1987 «An Investigation of the Therac 25 Accidents», N. Leveson et al. Accès concurrent à des variables non protégées => irradiation trop forte Ariane V Réutilisation d une portion de code de Ariane IV sans vérification du respect d hypothèses de conception => overflow et destruction de la fusée Mars Polar Lander Vibrations lors de la phase de descente ont induit en erreur le dispositif détectant le contact avec le sol, entraînant l extinction des moteurs, d où une chute de la sonde. Bug du FPU du Pentium I Erreur dans l écriture de tables stockant des valeurs précalculées Contrôleurs de vitesse des voitures Page 9
10 À méditer.. 20 As soon as we started programming, we found to our surprise that it wasn t as easy to get programs right as we had thought. Debugging had to be discovered. I can remember the exact instant when I realized that a large part of my life from then on was going to be spent in finding mistakes in my own programs. Maurice Wilkes, 1949, Pionnier de l informatique Réduire les erreurs de conception Améliorer les procédures de test Coût prohibitif, pouvant atteindre 60% du budget du projet 21 Améliorer les techniques de conception, adaptées au niveau de certification visé Spécification des besoins Identification d une architecture matérielle logicielle Spécification fonctionnelle des différentes entités + contraintes spcéifiques (non fonctionnelles) S assurer de la cohérence et complétude de la spécification : fiable et réutilisable Modèle de calcul simple, apte à l analyse Réduire la distance architecte/concepteur/utilisateur, matériel/logiciel Intégration matériel/logiciel dans un même environnement, avec des modèles formels communs ou compatibles Besoin d outils : Modèles de haut niveau, spécifications formelles Vérification automatique ou guidée de propriétés Bibliothèques, compilateurs certifiés Page 10
11 Positionnement des langages synchrones 22 Les langages synchrones permettent de décrire, simuler, vérifier des systèmes réactifs, et de compiler du code ou du matériel garantissant le même comportement que le système décrit, si l hypothèse synchrone est vérifiée c) Définition de l approche synchrone M2 SAR/SESI/STL LS Page 11
12 d) Différents langages et utilisation industrielle M2 SAR/SESI/STL LS Modèle d un composant réactif synchrone 39 Modèle sous-jacent d un système synchrone : une Machine de Mealy Déterministe M = < S, I, O, T, G, S 0 > S = ensemble fini d états (états de contrôle) I = ensemble fini des signaux d entrée O = ensemble fini des signaux de sortie T = fonction de transition : S 2 I S G = fonction de génération : S 2 I 2 O I T S G O S 0 = état initial Un événement d entrée (resp. de sortie) : un élément de 2 I (resp. 2 O ) Machine déterministe et complète : T et G sont des fonctions (et non pas des relations) totales Un état initial et une séquence d événements d entrée donnés définissent un unique état de contrôle et un unique événement de sortie. Page 12
13 Composition 44 La mise en parallèle de modules synchrones correspond à la composition synchrone des machines de Mealy équivalentes. M1 M2 = M3 est une machine de Mealy sous hypothèses : analyse de causalité rejet des programmes ne respectant pas ces hypothèses Description modulaire Réutilisabilité / remplacement Vérification formelle à partir du modèle en Machine de Mealy Modèle basé flot de données 45 Le traitement des donnée est constant au cours du temps, les données passent à travers un réseau d opérateurs à un rythme pré-établi Chemins de données, contrôle continu, traitement du signal Lustre/SCADE: langages fonctionnels d équation séquentielles Cf Simulink (Matlab), Ptolemy, Y t = sin(x t ) * cos(y t-1 ) X sin * Y Y = sin(x) * cos(pre(y)) cos pre boîtes = opérateurs flèches = flots de données Page 13
14 Modèle basé flot de contrôle 46 Le comportement change fréquemment (et en fonction des données), peu de données Protocoles, IHM, mode de fonctionnement, contrôle mémoire Esterel/SyncCharts: impératif + hiérarchie Cf. aussi StateCharts, StateFlow, abort sustain DMAReq when DMAOk; abort abort every ByteIn do emit ByteOut (?ByteIn) end every when DMAEnd when 10 MilliSecond do emit TimeOut end abort boîtes = états flèches = transitions noms = signaux hiérarchie = préemption Sémantique formelle 47 Flots de données Équation de flots + calcul d horloge (Lustre, Signal) Équilibrage d équations (Ptolemy) Intégration (Haskell) Flots de contrôle Systèmes de transitions Logique constructive Les systèmes font exactement ce qu ils disent Déterminisme acquis Permet vérification formelle Page 14
15 Langages synchrones et industrie 49 Créés dans les années 1980 Esterel: Ecole des Mines/INRIA, SyncCharts: U. de Nice Lustre: IMAG (Grenoble), Signal: INRIA Rennes Ptolemy (Berkeley), TCCP (Xerox), Lava (Chalmers), Utilisation industrielles dès les années 1990 Lustre/SCADE: nucléaire (Schneider), avionique (Airbus) Esterel; avionique (Dassault), telecom Signal/SILDEX; contrôle continu Développement se poursuit Avionique; Airbus, Dassault, Eurocopter, SNECMA, Thales, Automobile: GM, PSA, Outils pour l industrie 50 Importance des outils pour valider et utiliser l approche Éviter de fournir une théorie inutilisable par l ingénieur Outils de spécification: Modèles de référence (golden models), réutilisables Contrats formels entre parties, facilite l intégration Synthèse: suppression d écriture de code Vérification: explorer espace d états Concepteurs perçoivent les apports des méthodes formelles Même cheminement que UML, mais plus lent Car plus complexe, plus coûteux Page 15
16 Compilation 51 Flot de données => logiciel Expansion, tri topologique (SCADE, signal) Optimisation: allocation mémoire, localité des données Flot de contrôle => matériel Traduction en ensemble de portes logiques + optimisation (Esterel v7) Graphe de dépendances + codage (Columbia Esterel) Flot de contrôle => Esterel Simulation de circuits (Esterel v5/v7) Ordonnancement statique de flots de contrôle (Synopsys Esterel) Ordonnancement et agrégation de blocs (FT R&D, INRIA, Columbia) Recherche d ordonnancements *statiques* efficaces Vérification 52 Calculer sur les programmes Propriétés de sûreté: rien de «mauvais» ne peut arriver À définir et documenter dès la phase de spécification! Équivalence de programmes Repose sur le modèle formel Techniques: travaux de vérification Contrôler explosion combinatoire Recherche rapide de contre-exemple (rapide) Montrer qu il n y a pas de contre-exemple (coûteux) Progrès constants dans ces techniques cf. modules : vérification formelle de SAR, vérification des systèmes matériels de SESI Page 16
17 Flot de conception d un logiciel embarqué 53 Spécifications informelles Modèles Matlab / Simulink Simulation Animation SCADE data flow FSMs Vérification formelle SAT + numérique (Prover plug-in) Compilateur certifié DO 178B Code C / Ada embarqué Autorise l échange de spécifications formelles Le flot circuits Esterel v7 Spécifications papier 54 Esterel v7 (référence unique) simulation C System C FPGA proto. matériel : VHDL, Verilog logiciel: C, C++ Vérification formelle Génération de tests La sémantique est exactement la même pour le matériel et le logiciel Page 17
18 UART with OPB Interface (Xilinx) 55 Mélange libre de textes et dessins, sémantique claire Conclusion Systèmes embarqués: un domaine en explosion Besoins applicatifs nombreux: grand public, défense, médical, transport, Domaine techniques: automatique, informatique, circuits 56 Fortes contraintes de qualités Coût de bugs, des tests, de la validation, de la certification Besoin de techniques spécifiques de conception et vérification Prise en compte du parallélisme et déterminisme Définition du modèle synchrone Langage et outils spécifiques Sémantique mathématique complète Compilation vers logiciel et électronique Synthèse et vérification formelle Bases mathématiques Page 18
19 Conclusion (2) 57 Les langages synchrones et leurs outils fournissent une base solide pour la construction de systèmes critiques Lustre/SCADE: générateur de code certifié Utilisé quotidiennement dans de nombreuses applications MAIS, ce ne sont QUE des outils, pas LA solution à tous les problèmes Nécessité de raisonner sur le système dans sa globalité Noyau réactif vs code fonctionnel vs partie physique Attention: ce n est pas parce que l outil dit OK que tout est correct, des erreurs de spécifications à haut niveau peuvent subsister Incomplétude du langage naturel, hypothèses implicites Influence du code, de la physique, Extra slides 58 Composition de deux machines de Mealy connectées séquentiellement (sans boucle) Page 19
20 Composition synchrone 59 Definitions / notations Extraction d une composante dans une configuration Soient e i une configuration sur I (e i 2 I ) et k un élément de I On note proj(e i,k) la projection de e i sur sa composante k proj(e i,k) indique la valeur de la composante k dans la configuration e i L extension à une sous configuration est immédiate Composition de fonction multi-variable Soit f une fonction multi-variable de variables x, y, z, la composition d une fonction g de variable t selon la variable y s écrit : f[y \ g(t)] = f(x,g(t),z, ) L expression g(t) est substituée à y dans l expression de f Composition synchrone 60 Soient deux machines de Mealy à composer comme suit : M1 M2 M 1 = < S 1, I 1, O 1, T 1, G 1, S 01 > et M 2 = < S 2, I 2, O 2, T 2, G 2, S 02 > Connexions I 1 I 2 : les entrées communes à M 1 et M 2 O 1 I 2 : les sorties de M 1 également entrées de M 2 Page 20
21 Composition synchrone 61 M1 M2 = M = < S, I, O, T, G, S 0 > tq : S S 1 S 2 et S 0 = (S 01, S 02 ) I = I 1 I 2 \ (O 1 I 2 ) O = O 1 O 2 \ (O 1 I 2 ) T : S 2 I S soit T 1 (s 1,e i1 ) = s 1 et T 2 (s 2,e i2 )=s 2, alors T(s,e i )=s avec s=(s 1,s 2 ), s = (s 1,s 2 ) et e i définie telle que pour tout k I 1, proj(e i,k) = proj(e i1,k) pour tout k I 2 \ O 1, proj(e i,k) = proj(e i2,k) pour tout l I 2 O 1 proj(e i2,l) = proj(g 1 (s 1,e i1 ),l) G : S 2 I 2 O soit G 1 (s 1,e i1 ) = e o1 et G 2 (s 2,e i2 )=e o2, alors G(s,e i )=e o avec G définie telle que: pour tout o O 1 \ I 2, proj(g(s,e i ),o) = proj(g 1 (s 1,e i1 ),o) pour tout o O 2, proj(g(s,e i ),o) = proj(g 2 (s 2,e i2 [j\proj(g 1 (s 1,e i1 )],j) j I2 O1 ),o) Page 21
Introduction aux systèmes temps réel. Iulian Ober IRIT ober@iut-blagnac.fr
Introduction aux systèmes temps réel Iulian Ober IRIT ober@iut-blagnac.fr Définition Systèmes dont la correction ne dépend pas seulement des valeurs des résultats produits mais également des délais dans
Plus en détailJOURNEES SYSTEMES & LOGICIELS CRITIQUES le 14/11/2000. Mise en Œuvre des techniques synchrones pour des applications industrielles
JOURNEES SYSTEMES & LOGICIELS CRITIQUES le 14/11/2000 Mise en Œuvre des techniques synchrones pour des applications industrielles Mise en œuvre des techniques synchrones pour des applications industrielles
Plus en détailLes systèmes embarqués Introduction. Richard Grisel Professeur des Universités Université de Rouen Nacer Abouchi Professeur ESCPE Lyon
Les systèmes embarqués Introduction Richard Grisel Professeur des Universités Université de Rouen Nacer Abouchi Professeur ESCPE Lyon Introduction aux systèmes embarqués Définition. Caractéristiques d
Plus en détailÉvaluation et implémentation des langages
Évaluation et implémentation des langages Les langages de programmation et le processus de programmation Critères de conception et d évaluation des langages de programmation Les fondations de l implémentation
Plus en détailIntroduction à l informatique temps réel Pierre-Yves Duval (cppm)
Introduction à l informatique temps réel Pierre-Yves Duval (cppm) Ecole d informatique temps réel - La Londes les Maures 7-11 Octobre 2002 -Définition et problématique - Illustration par des exemples -Automatisme:
Plus en détailTest et Validation du Logiciel
Test et Validation du Logiciel McInfo4_ASR Tests Janvier 2009 Patrick FELIX patrick.felix@labri.fr IUT Bordeaux 1 Plan Introduction : Pourquoi de la VVT? 1 Introduction au test de logiciels 2 Le test fonctionnel
Plus en détailConception des systèmes répartis
Conception des systèmes répartis Principes et concepts Gérard Padiou Département Informatique et Mathématiques appliquées ENSEEIHT Octobre 2012 Gérard Padiou Conception des systèmes répartis 1 / 37 plan
Plus en détailInformatique industrielle A7-19571 Systèmes temps-réel J.F.Peyre. Partie I : Introduction
Informatique industrielle A7-19571 Systèmes temps-réel J.F.Peyre Partie I : Introduction Plan de la première partie Quelques définitions Caractéristiques communes des applications temps-réel Exemples d
Plus en détailProfil UML pour TLM: contribution à la formalisation et à l automatisation du flot de conception et vérification des systèmes-sur-puce.
INSTITUT NATIONAL POLYTECHNIQUE DE GRENOBLE N attribué par la bibliothèque T H È S E pour obtenir le grade de DOCTEUR DE L INPG Spécialité : «Micro et Nano Électronique» préparée au laboratoire CEA LIST/DTSI/SOL/LISE
Plus en détail2015 // 2016. des formations. programme. Retrouvez toutes ces informations sur enseirb-matmeca.bordeaux-inp.fr
programme des formations Filière Électronique...2 Filière Informatique...3 Filière Mathématique et Mécanique...4 Filière Télécommunications...5 Filière Réseaux et Systèmes d Information...6 Filière Systèmes
Plus en détailORDONNANCEMENT CONJOINT DE TÂCHES ET DE MESSAGES DANS LES RÉSEAUX TEMPS RÉELS 4. QUELQUES EXEMPLES DU DYNAMISME ACTUEL DU TEMPS RÉEL
i LE TEMPS RÉEL 1. PRÉSENTATION DU TEMPS RÉEL 1.1. APPLICATIONS TEMPS RÉEL 1.2. CONTRAINTES DE TEMPS RÉEL 2. STRUCTURES D'ACCUEIL POUR LE TEMPS RÉEL 2.1. EXÉCUTIFS TEMPS RÉEL 2.2. RÉSEAUX LOCAUX TEMPS
Plus en détailConception et Intégration de Systèmes Critiques
Conception et Intégration de Systèmes Critiques 15 12 18 Non 50 et S initier aux méthodes le développement de projet (plan de développement, intégration, gestion de configuration, agilité) Criticité temporelle
Plus en détailIntroduction au temps réel
Introduction au temps réel Laurent.Pautet@enst.fr Version 2.0 Définition d un système temps réel Un système temps réel se compose d'un ou plusieurs sous-systèmes devant répondre en un temps fini et spécifié
Plus en détailExtrait des Exploitations Pédagogiques
Pédagogiques Module : Compétitivité et créativité CI Première : Compétitivité et créativité CI institutionnel : Développement durable et compétitivité des produits Support : Robot - O : Caractériser les
Plus en détailbasée sur le cours de Bertrand Legal, maître de conférences à l ENSEIRB www.enseirb.fr/~legal Olivier Augereau Formation UML
basée sur le cours de Bertrand Legal, maître de conférences à l ENSEIRB www.enseirb.fr/~legal Olivier Augereau Formation UML http://olivier-augereau.com Sommaire Introduction I) Les bases II) Les diagrammes
Plus en détailLogiciels et Systèmes Embarqués :
Logiciels et Systèmes Embarqués : Enjeux Economiques Défis Scientifiques et Directions de Travail Joseph Sifakis Laboratoire Verimag novembre 2002 plan Les Systèmes Embarqués L approche Centrée Système
Plus en détailLes diagrammes de modélisation
L approche Orientée Objet et UML 1 Plan du cours Introduction au Génie Logiciel L approche Orientée Objet et Notation UML Les diagrammes de modélisation Relations entre les différents diagrammes De l analyse
Plus en détailGrandes lignes ASTRÉE. Logiciels critiques. Outils de certification classiques. Inspection manuelle. Definition. Test
Grandes lignes Analyseur Statique de logiciels Temps RÉel Embarqués École Polytechnique École Normale Supérieure Mercredi 18 juillet 2005 1 Présentation d 2 Cadre théorique de l interprétation abstraite
Plus en détailLa Certification de la Sécurité des Automatismes de METEOR
1 La Certification de la Sécurité des Automatismes de METEOR 2 un mot sur METEOR 3 Le projet METEOR, c'est... un système automatique complexe fortement intégré matériel roulant, équipements électriques,
Plus en détailImplémentation Matérielle des Services d un RTOS sur Circuit Reconfigurable
Implémentation Matérielle des Services d un RTOS sur Circuit Reconfigurable Pierre Olivier*, Jalil Boukhobza*, Jean-Philippe Babau +, Damien Picard +, Stéphane Rubini + *Lab-STICC, + LISyC, Université
Plus en détailEvaluation, Certification Axes de R&D en protection
2009 Evaluation, Certification Axes de R&D en protection Dr CEA/LETI Alain.merle@cea.fr 1 Evaluation, Certification, Axes de R&D en protection Evaluation / Certification Le Schéma Français de Certification
Plus en détailCoopération de modèles de temps
Coopération de modèles de temps Gérard Berry Collège de France Chaire Algorithmes, machines et langages http://www.college-de-france.fr/site/gerard-berry gerard.berry@college-de-france.fr Cours 6, 19 mars
Plus en détailRTDS G3. Emmanuel Gaudin emmanuel.gaudin@pragmadev.com
RTDS G3 Emmanuel Gaudin emmanuel.gaudin@pragmadev.com PragmaDev Dédiée au développement d un AGL pour le développement des applications temps réel et embarquées. Réseau de partenaires: Formations, Service,
Plus en détailThème 3 Conception et vérification d architectures de systèmes sur puce
Thème 3 Conception et vérification d architectures de systèmes sur puce Conception et simulation Frédéric Pétrot Vérification Laurence Pierre Conception et vérification d architectures de systèmes sur
Plus en détailUNIVERSITE D'ORLEANS ISSOUDUN CHATEAUROUX
UNIVERSITE D'ORLEANS ISSOUDUN CHATEAUROUX PLAN
Plus en détailAXES DE RECHERCHE - DOMAINE D'INTERET MAJEUR LOGICIELS ET SYSTEMES COMPLEXES
1 AXES DE RECHERCHE - DOMAINE D'INTERET MAJEUR LOGICIELS ET SYSTEMES COMPLEXES 2 Axes de recherche L activité du DIM LSC concerne la méthodologie de la conception et le développement de systèmes à forte
Plus en détailEléments de spécification des systèmes temps réel Pierre-Yves Duval (cppm)
Eléments de spécification des systèmes temps réel Pierre-Yves Duval (cppm) Ecole d informatique temps réel - La Londes les Maures 7-11 Octobre 2002 - Evénements et architectures - Spécifications de performances
Plus en détailAnalyse,, Conception des Systèmes Informatiques
Analyse,, Conception des Systèmes Informatiques Méthode Analyse Conception Introduction à UML Génie logiciel Définition «Ensemble de méthodes, techniques et outils pour la production et la maintenance
Plus en détailMaster (filière Réseau) Parcours Recherche: Systèmes Informatiques et Réseaux (RTS)
Master (filière Réseau) Parcours Recherche: Systèmes Informatiques et Réseaux (RTS) Responsables: Tanguy Risset & Marine Minier Tanguy.Risset@insa-lyon.fr Marine.minier@insa-lyon.fr http://master-info.univ-lyon1.fr/m2rts/
Plus en détailMaster Informatique Aix-Marseille Université
Aix-Marseille Université http://masterinfo.univ-mrs.fr/ Département Informatique et Interactions UFR Sciences Laboratoire d Informatique Fondamentale Laboratoire des Sciences de l Information et des Systèmes
Plus en détailChapitre 1 : Introduction aux méthodologies de conception et de vérification pour SE
Chapitre 1 : Introduction aux méthodologies de conception et de vérification pour SE 1. Rappel de ce qu est un SE 2. Conception au niveau système (ESL) Méthodologie de conception (codesign logiciel/matériel)
Plus en détailIFT1215 Introduction aux systèmes informatiques
Introduction aux circuits logiques de base IFT25 Architecture en couches Niveau 5 Niveau 4 Niveau 3 Niveau 2 Niveau Niveau Couche des langages d application Traduction (compilateur) Couche du langage d
Plus en détailQualité du logiciel: Méthodes de test
Qualité du logiciel: Méthodes de test Matthieu Amiguet 2004 2005 Analyse statique de code Analyse statique de code Étudier le programme source sans exécution Généralement réalisée avant les tests d exécution
Plus en détailGL - 2 2.1 Le Génie Logiciel
GL - 2 2.1 Le Génie Logiciel Lydie du Bousquet Lydie.du-bousquet@imag.fr En collaboration avec J.-M. Favre, I. Parissis, Ph. Lalanda 1 Rappels La production logicielle est une activité complexe de façon
Plus en détailmodèles génériques applicables à la synthèse de contrôleurs discrets pour l Internet des Objets
modèles génériques applicables à la synthèse de contrôleurs discrets pour l Internet des Objets Mengxuan Zhao, Gilles Privat, Orange Labs, Grenoble, France Eric Rutten, INRIA, Grenoble, France Hassane
Plus en détailProcessus d Informatisation
Processus d Informatisation Cheminement de la naissance d un projet jusqu à son terme, deux grandes étapes : Recherche ou étude de faisabilité (en amont) L utilisateur a une idée (plus ou moins) floue
Plus en détailMachines virtuelles Cours 1 : Introduction
Machines virtuelles Cours 1 : Introduction Pierre Letouzey 1 pierre.letouzey@inria.fr PPS - Université Denis Diderot Paris 7 janvier 2012 1. Merci à Y. Régis-Gianas pour les transparents Qu est-ce qu une
Plus en détailLe Collège de France crée une chaire pérenne d Informatique, Algorithmes, machines et langages, et nomme le Pr Gérard BERRY titulaire
Communiquédepresse Mars2013 LeCollègedeFrancecréeunechairepérenned Informatique, Algorithmes,machinesetlangages, etnommeleprgérardberrytitulaire Leçoninauguralele28mars2013 2009avait marquéunpas importantdans
Plus en détailSystème à enseigner : Robot M.I.M.I. MultipodeIntelligent à Mobilité Interactive. Version 1.0
Système à enseigner : Robot M.I.M.I. MultipodeIntelligent à Mobilité Interactive Sommaire - Le Robot M.I.M.I. (Multipode Intelligent à Mobilité Interactive) - Présentation du Système à Enseigner. - Composition
Plus en détailMétiers d études, recherche & développement dans l industrie
Les fiches Métiers de l Observatoire du Travail Temporaire Emploi, compétences et trajectoires d intérimaires cadres Métiers d études, recherche & développement dans l industrie R&D Production Ingénieur
Plus en détailQuoi de neuf en LabVIEW FPGA 2010?
Quoi de neuf en LabVIEW FPGA 2010? Yannick DEGLA Ingénieur d Application Fonctionnalités de LabVIEW FPGA 2010 Nœud d intégration d IP - Importer directement des fichiers.xco de Xilinx ou vos propres VHDL
Plus en détailRésumé CONCEPTEUR, INTEGRATEUR, OPERATEUR DE SYSTEMES CRITIQUES
Aristote ----- Cloud Interopérabilité Retour d'expérience L A F O R C E D E L I N N O V A T I O N Résumé Les systèmes d'information logistique (SIL) sont des outils qui amènent des gains de productivité
Plus en détailCours de Java. Sciences-U Lyon. Java - Introduction Java - Fondamentaux Java Avancé. http://www.rzo.free.fr
Cours de Java Sciences-U Lyon Java - Introduction Java - Fondamentaux Java Avancé http://www.rzo.free.fr Pierre PARREND 1 Octobre 2004 Sommaire Java Introduction Java Fondamentaux Histoire de Java Machine
Plus en détailPROGRAMME DU CONCOURS DE RÉDACTEUR INFORMATICIEN
PROGRAMME DU CONCOURS DE RÉDACTEUR INFORMATICIEN 1. DÉVELOPPEMENT D'APPLICATION (CONCEPTEUR ANALYSTE) 1.1 ARCHITECTURE MATÉRIELLE DU SYSTÈME INFORMATIQUE 1.1.1 Architecture d'un ordinateur Processeur,
Plus en détailMASTER 2 PROFESSIONNEL. Génie Logiciel, Logiciels Répartis et Embarqués
MASTER 2 PROFESSIONNEL INFORMATIQUE Génie Logiciel, Logiciels Répartis et Embarqués Secrétariat Pédagogique Téléphone :(+33)(0)561558639 Brigitte BÉCHU Email : secm2info@adm.ups-tlse.fr Bât 1TP1 - B6 bis
Plus en détailObjectif : Passer de l analyse métier et fonctionnelle à la définition des applications qui
Formation PARTIE 1 : ARCHITECTURE APPLICATIVE DUREE : 5 h Objectif : Passer de l analyse métier et fonctionnelle à la définition des applications qui automatisent les fonctions Définir une architecture
Plus en détailJulien MATHEVET Alexandre BOISSY GSID 4. Rapport RE09. Load Balancing et migration
Julien MATHEVET Alexandre BOISSY GSID 4 Rapport Load Balancing et migration Printemps 2001 SOMMAIRE INTRODUCTION... 3 SYNTHESE CONCERNANT LE LOAD BALANCING ET LA MIGRATION... 4 POURQUOI FAIRE DU LOAD BALANCING?...
Plus en détailLes solutions National Instruments pour le Model In-The-Loop (MIL) et le prototypage rapide (RCP)
Les solutions National Instruments pour le Model In-The-Loop (MIL) et le prototypage rapide (RCP) Karine Rouelle Business Development Manager Real-Time Testing Au programme Mise en œuvre du Model-In-the-Loop
Plus en détailIntroduction au génie logiciel
Introduction au génie logiciel Guillaume Laurent ENSMM 2007 G. Laurent (ENSMM) Introduction au génie logiciel 2007 1 / 36 Plan du cours 1 Problématique du génie logiciel 2 Méthodes de développement logiciel
Plus en détailCertification de l assemblage de composants dans le développement de logiciels critiques
Certification de l assemblage de composants dans le développement de logiciels critiques Philippe Baufreton 1, Emmanuel Chailloux 2, Jean-Louis Dufour 1, Grégoire Henry 3, Pascal Manoury 3, Etienne Millon
Plus en détailOrganisation du parcours M2 IR Les unités d enseignements (UE) affichées dans la partie tronc commun sont toutes obligatoires, ainsi que le stage et
Organisation du parcours M2 IR Les unités d enseignements (UE) affichées dans la partie tronc commun sont toutes obligatoires, ainsi que le stage et l'anglais. L'étudiant a le choix entre deux filières
Plus en détailCycle de vie du logiciel. Unified Modeling Language UML. UML: définition. Développement Logiciel. Salima Hassas. Unified Modeling Language
Unified Modeling Language UML Salima Hassas Version Cycle de vie du logiciel Client Besoins Déploiement Analyse Test Conception Cours sur la base des transparents de : Gioavanna Di Marzo Serugendo et Frédéric
Plus en détailProgrammation temps-réel Cours 1 et 2 Introduction et ordonnancement
Master 2 pro Programmation temps-réel Cours 1 et 2 Introduction et ordonnancement Isabelle PUAUT / Rémi COZOT Université de Rennes I 1 Applications temps-réel embarquées Systèmes en interaction avec l
Plus en détailIntroduction aux systèmes temps réel
Introduction aux systèmes temps réel Frank Singhoff Bureau C-203 Université de Brest, France LISyC/EA 3883 singhoff@univ-brest.fr UE applications de l informatique, Université de Brest Page 1/22 Plan du
Plus en détailCours 1 : Qu est-ce que la programmation?
1/65 Introduction à la programmation Cours 1 : Qu est-ce que la programmation? Yann Régis-Gianas yrg@pps.univ-paris-diderot.fr Université Paris Diderot Paris 7 2/65 1. Sortez un appareil qui peut se rendre
Plus en détailInformation. BASES LITTERAIRES Etre capable de répondre à une question du type «la valeur trouvée respecte t-elle le cahier des charges?
Compétences générales Avoir des piles neuves, ou récentes dans sa machine à calculer. Etre capable de retrouver instantanément une info dans sa machine. Prendre une bouteille d eau. Prendre CNI + convocation.
Plus en détailMODELISATION UN ATELIER DE MODELISATION «RATIONAL ROSE»
MODELISATION UN ATELIER DE MODELISATION «RATIONAL ROSE» Du cours Modélisation Semi -Formelle de Système d Information Du Professeur Jean-Pierre GIRAUDIN Décembre. 2002 1 Table de matière Partie 1...2 1.1
Plus en détailDESCRIPTIF DES PROJETS 3EME ANNEE QUI SERONT PRESENTES LORS DE LA JOURNEE DE PROJET DE FIN D ETUDE LE 26/01/2012
DA Télémédecine et SI de Santé DESCRIPTIF DES PROJETS 3EME ANNEE QUI SERONT PRESENTES LORS DE LA JOURNEE DE PROJET DE FIN D ETUDE LE 26/01/2012 PROJET N 1 : IMPLEMENTATION D'UNE INTERFACE SWEETHOME DEDIEE
Plus en détailVérifier la qualité de vos applications logicielle de manière continue
IBM Software Group Vérifier la qualité de vos applications logicielle de manière continue Arnaud Bouzy Kamel Moulaoui 2004 IBM Corporation Agenda Analyse de code Test Fonctionnel Test de Performance Questions
Plus en détailGrid Technology. ActiveMQ pour le grand collisionneur de hadrons (LHC) Lionel Cons Grid Technology Group Information Technology Department
DB GT CF Grid ActiveMQ pour le grand collisionneur de hadrons (LHC) Lionel Cons Grid Group Information Department Journée de la communauté FUSE, Paris, 2010 CERN IT Department CH-1211 Geneva 23 Switzerland
Plus en détailExclusion Mutuelle. Arnaud Labourel Courriel : arnaud.labourel@lif.univ-mrs.fr. Université de Provence. 9 février 2011
Arnaud Labourel Courriel : arnaud.labourel@lif.univ-mrs.fr Université de Provence 9 février 2011 Arnaud Labourel (Université de Provence) Exclusion Mutuelle 9 février 2011 1 / 53 Contexte Epistémologique
Plus en détail4.2 Unités d enseignement du M1
88 CHAPITRE 4. DESCRIPTION DES UNITÉS D ENSEIGNEMENT 4.2 Unités d enseignement du M1 Tous les cours sont de 6 ECTS. Modélisation, optimisation et complexité des algorithmes (code RCP106) Objectif : Présenter
Plus en détailNFP111 Systèmes et Applications Réparties
NFP111 Systèmes et Applications Réparties 1 de 34 NFP111 Systèmes et Applications Réparties Cours 7 - CORBA/Partie 1 Claude Duvallet Université du Havre UFR Sciences et Techniques 25 rue Philippe Lebon
Plus en détailContinuité d une fonction de plusieurs variables
Chapitre 2 Continuité d une fonction de plusieurs variables Maintenant qu on a défini la notion de limite pour des suites dans R n, la notion de continuité s étend sans problème à des fonctions de plusieurs
Plus en détail3. SPÉCIFICATIONS DU LOGICIEL. de l'expression des besoins à la conception. Spécifications fonctionnelles Analyse fonctionnelle et méthodes
PLAN CYCLE DE VIE D'UN LOGICIEL EXPRESSION DES BESOINS SPÉCIFICATIONS DU LOGICIEL CONCEPTION DU LOGICIEL LA PROGRAMMATION TESTS ET MISE AU POINT DOCUMENTATION CONCLUSION C.Crochepeyre Génie Logiciel Diapason
Plus en détailPrésentation du Master Ingénierie Informatique et du Master Science Informatique 2007-2008, Année 2 Université Paris-Est Marne-la-Vallée
Présentation du Master Ingénierie Informatique et du Master Science Informatique 2007-2008, Année 2 Université Paris-Est Marne-la-Vallée Responsable du Master Informatique : Marc Zipstein Responsable de
Plus en détailLe Processus RUP. H. Kadima. Tester. Analyst. Performance Engineer. Database Administrator. Release Engineer. Project Leader. Designer / Developer
Le Processus RUP Database Administrator Project Leader H. Kadima Performance Engineer Release Engineer Analyst Designer / Developer Tester Table des matières 1. De l artisanat à l industrialisation de
Plus en détailCONTEC CO., LTD. Novembre 2010
La gamme CONTEC CONTEC CO., LTD. Novembre 2010 1 Agenda Introduction Data acquisition and control Data Communication Expansion chassis and accessory Distributed I/O and media converter Stainless steel
Plus en détailFigure 1 : représentation des différents écarts
ulletin officiel spécial n 9 du 30 septembre 2010 Annexe SIENES DE L INGÉNIEUR YLE TERMINAL DE LA SÉRIE SIENTIFIQUE I - Objectifs généraux Notre société devra relever de nombreux défis dans les prochaines
Plus en détailLe génie logiciel. maintenance de logiciels.
Le génie logiciel Définition de l IEEE (IEEE 1990): L application d une approche systématique, disciplinée et quantifiable pour le développement, l opération et la maintenance de logiciels. Introduction
Plus en détailCH.3 SYSTÈMES D'EXPLOITATION
CH.3 SYSTÈMES D'EXPLOITATION 3.1 Un historique 3.2 Une vue générale 3.3 Les principaux aspects Info S4 ch3 1 3.1 Un historique Quatre générations. Préhistoire 1944 1950 ENIAC (1944) militaire : 20000 tubes,
Plus en détailProposition de sujet de thèse CIFRE EUROCOPTER / LGI2P
EUROCOPTER SAS Groupe EADS Marignane Ecole des Mines d Alès Laboratoire de Génie Informatique et d Ingénierie de Production LGI2P Nîmes Proposition de sujet de thèse CIFRE EUROCOPTER / LGI2P Titre Domaine
Plus en détailOrdonnancement temps réel
Ordonnancement temps réel Laurent.Pautet@enst.fr Version 1.5 Problématique de l ordonnancement temps réel En fonctionnement normal, respecter les contraintes temporelles spécifiées par toutes les tâches
Plus en détailMasses de données. 1. Introduction 2. Problématiques 3. Socle de formation (non présenté) 4. Liens avec Formation INSA
Masses de données 1. Introduction 2. Problématiques 3. Socle de formation (non présenté) 4. Liens avec Formation INSA Rédacteurs : Mjo Huguet / N. Jozefowiez 1. Introduction : Besoins Informations et Aide
Plus en détailConception de circuits numériques et architecture des ordinateurs
Conception de circuits numériques et architecture des ordinateurs Frédéric Pétrot Année universitaire 2014-2015 Structure du cours C1 C2 C3 C4 C5 C6 C7 C8 C9 C10 C11 Codage des nombres en base 2, logique
Plus en détailSynergies entre Artisan Studio et outils PLM
SysML France 13 Novembre 2012 William Boyer-Vidal Regional Sales Manager Southern Europe Synergies entre Artisan Studio et outils PLM 2012 2012 Atego. Atego. 1 Challenges & Tendances Complexité des produits
Plus en détailRapport de certification
Rapport de certification Memory Arrays avec Memory Gateways Version 5.5.2 Préparé par : Le Centre de la sécurité des télécommunications à titre d organisme de certification dans le cadre du Schéma canadien
Plus en détailSolution A La Gestion Des Objets Java Pour Des Systèmes Embarqués
International Journal of Engineering Research and Development e-issn: 2278-067X, p-issn: 2278-800X, www.ijerd.com Volume 7, Issue 5 (June 2013), PP.99-103 Solution A La Gestion Des Objets Java Pour Des
Plus en détailFICHE UE Licence/Master Sciences, Technologies, Santé Mention Informatique
NOM DE L'UE : Algorithmique et programmation C++ LICENCE INFORMATIQUE Non Alt Alt S1 S2 S3 S4 S5 S6 Parcours : IL (Ingénierie Logicielle) SRI (Systèmes et Réseaux Informatiques) MASTER INFORMATIQUE Non
Plus en détailUniversité de Bangui. Modélisons en UML
Université de Bangui CRM Modélisons en UML Ce cours a été possible grâce à l initiative d Apollinaire MOLAYE qui m a contacté pour vous faire bénéficier de mes connaissances en nouvelles technologies et
Plus en détailTemps Réel. Jérôme Pouiller <j.pouiller@sysmic.org> Septembre 2011
Temps Réel Jérôme Pouiller Septembre 2011 Sommaire Problèmatique Le monotâche Le multitâches L ordonnanement Le partage de ressources Problèmatiques des OS temps réels J. Pouiller
Plus en détailANALYSTE PROGRAMMEUR DIPLÔME D ÉTABLISSEMENT
école sciences industrielles & technologies de l information ANALYSTE PROGRAMMEUR DIPLÔME D ÉTABLISSEMENT Crédit : 120 ECTS Code DIE20 Niveau d entrée : Bac Niveau de sortie : Bac + 2 EN VAE Diplômes accessibles
Plus en détailConception, architecture et urbanisation des systèmes d information
Conception, architecture et urbanisation des systèmes d information S. Servigne Maître de Conférences, LIRIS, INSA-Lyon, F-69621 Villeurbanne Cedex e-mail: sylvie.servigne@insa-lyon.fr 1. Introduction
Plus en détailPRESENTATION RESSOURCES. Christian Dupaty BTS Systèmes Numériques Lycée Fourcade Gardanne Académie d Aix Marseille
PRESENTATION RESSOURCES Christian Dupaty BTS Systèmes Numériques Lycée Fourcade Gardanne Académie d Aix Marseille 1) Introduction, Objectifs et Intentions Le BTS SN (Systèmes Numériques) intègre la formation
Plus en détailMécanismes de protection dans AUTOSAR OS
Mécanismes de protection dans AUTOSAR OS Nicolas Navet, RTaW Hervé Perrault, PSA Peugeot Citroën Conférence à RTS 09 le 31/03/2009 Plan 1. Code ECU : besoin de ré-utilisabilité et multi-source 2. Concepts
Plus en détailÉléments de programmation et introduction à Java
Éléments de programmation et introduction à Java Jean-Baptiste Vioix (jean-baptiste.vioix@iut-dijon.u-bourgogne.fr) IUT de Dijon-Auxerre - LE2I http://jb.vioix.free.fr 1-20 Les différents langages informatiques
Plus en détailProgrammation de services en téléphonie sur IP
Programmation de services en téléphonie sur IP Présentation de projet mémoire Grégory Estienne Sous la supervision du Dr. Luigi Logrippo Introduction La téléphonie sur IP comme support à la programmation
Plus en détailConception Electronique (CEL) Prof. Maurizio Tognolini
Conception Electronique (CEL) Prof. Maurizio Tognolini iai institut d Automatisation industrielle MTI/CEL 19/09/2010 v2.0 1 CEL semestre «automne» 2010-2011 Enseignement: cours et labo: (Chaque semaine)
Plus en détailInstallation d'un TSE (Terminal Serveur Edition)
Installation d'un TSE (Terminal Serveur Edition) Par LoiselJP Le 01/05/2013 (R2) 1 Objectifs Le TSE, comprenez Terminal Server Edition est une application de type 'main-frame' de Microsoft qui réside dans
Plus en détailAnalyse et Conception objet du logiciel Analyse et conception objet du logiciel : Méthode de conception objet et notation UML.
Analyse et conception objet du logiciel : Méthode de conception objet et notation UML Rémy Courdier Email : Remy.Courdier@univ-reunion.fr Rémy Courdier V2.1 1 Plan du cours Introduction au Génie Logiciel
Plus en détailCELTIC-BAAS-Sa BAAT3003
Notice technique 01_BASSA_NT001 rév A3 Bloc autonome d alarme sonore type Satellite avec ou sans flash BAAT3003 -F BAAT3017. 52, rue Paul Lescop 92000 NANTERRE t. +33 (0)1 41 37 91 91 f. +33 (0)1 41 37
Plus en détailModules du DUT Informatique proposés pour des DCCE en 2014/2015
Modules du DUT Informatique proposés pour des DCCE en 2014/2015 Résumé de l offre : Parmi les 5500 heures d enseignement informatique dispensées au département informatique de l IUT (avec 2880 heures de
Plus en détailNote de cadrage du PEPI MACS Mathématiques Appliquées & Calcul Scientifique
Note de cadrage du PEPI MACS Mathématiques Appliquées & Calcul Scientifique Périmètre Le périmètre du PEPI concerne les méthodes et outils utilisés pour le traitement informatisé des données scientifiques.
Plus en détailProgrammation graphique des applications de contrôle-commande
Programmation graphique des applications de contrôle-commande par Francis COTTET Professeur d Université LISI/ENSMA et Patrick RENARD Directeur de la communication National Instruments France 1. Généralités...
Plus en détailPrésentation de la majeure ISN. ESILV - 18 avril 2013
Présentation de la majeure ISN ESILV - 18 avril 2013 La Grande Carte des Métiers et des Emplois Sociétés de service Entreprises Administrations Grand- Public Sciences Utiliser Aider à utiliser Vendre APPLICATIONS:
Plus en détailApplications Embarquées Critiques
Applications Embarquées Critiques Jean-Marc Pierson pierson@irit.fr Cours DL Jean-Marc Pierson Applications Embarquées Critiques (1/50) Applications Embarquées Critiques: Plan Caractéristiques générales,
Plus en détailRemplacement du système de contrôle d accès de l Enssat
Remplacement du système de contrôle d accès de l Enssat Cahier des Clauses Techniques Particulières (CCTP) Dossier 0955 W ENSSAT 17 juin 2009 Page 1/8 Table des matières I. Présentation de l environnement...
Plus en détailSujet de thèse CIFRE RESULIS / LGI2P
Ecole des Mines d Alès Laboratoire de Génie Informatique et d Ingénierie de Production LGI2P Nîmes Sujet de thèse CIFRE RESULIS / LGI2P Titre Domaine De l ingénierie des besoins à l ingénierie des exigences
Plus en détailSolution Vidéo Surveillance
Solution Vidéo Surveillance Objectifs de la solution : Mettre sous surveillance électronique un lieu sensible de votre établissement : o L entrée du bureau d études o L entrée du stock de matière première
Plus en détail