Introduction à SCADE. F. Touchard Polytech Marseille Département d'informatique SICA 5ème année
|
|
- Léonard Chassé
- il y a 8 ans
- Total affichages :
Transcription
1 Introduction à SCADE F. Touchard Polytech Marseille Département d'informatique SICA 5ème année
2 Introduction SCADE : Safety-Critical Application Development Environment environnement de développement pour les systèmes critiques, en particulier dans le domaine de l embarqué avionique (Airbus, Eurocopter) : leader de facto nucléaire (Schneider Electrics, CEA) automobile (standard émergent) développé initialement par le laboratoire Verimag de Grenoble à partir des travaux de recherche avec Lustre maintenant commercialisé par la société Esterel Technologies F. Touchard Polytech Marseille Département d'informatique SICA 5ème année
3 Historique Esterel Technologies en 1984, premiers éléments du langage Esterel (issu des travaux pour construire un robot mobile pour un concours organisé par une revue de microélectronique) groupe de recherche autour de Gérard Berry pour le développement d Esterel utilisation du langage par des sociétés (AT&T Bell Labs, Bertin, Dassault) V4 du compilateur Esterel en 1994 implémentation des programmes sur des FPGA, ou par soft en 1997, intégration du langage graphique SyncCharts (proche des StateCharts) utilisé par Dassault, Thales, Thomson CSF logiciel Esterel Studio, développé par Simulog en 1999, création de Esterel Technologies F. Touchard Polytech Marseille Département d'informatique SICA 5ème année
4 Historique SCADE Lustre développé dans les années 1980 (P. Caspi, N. Halbwachs, laboratoire IMAG) en 1986, utilisé par Merlin Gérin (maintenant Scheider Electric) pour le contrôle des centrales nucléaires (outil Saga) développement avec Verilog rapprochement avec Aérospatiale (maintenant Airbus) qui utilise un outil analogue (SAO) Verilog, en partenariat avec Merlin Gérin et Aérospatiale, développe un outil commun : SCADE en 1993, Verilog et IMAG créent un laboratoire commun : Verimag SCADE racheté par Telelogic en 1999, puis par Esterel Technologies en 2001 en 2015, Esterel Technologies racheté par ANSYS F. Touchard Polytech Marseille Département d'informatique SICA 5ème année
5 SCADE aujourd hui environnement de développement basé sur Lustre et Esterel le langage textuel de SCADE est basé sur Lustre V3 utilisé pour sauvegarder les modèles (fichiers.saofd) ESTEREL SCADE Suite TM est le standard pour la création d applications critiques embarquées qualifié pour le standard DO-178B/ED-12B (niveau A) pour l avionique et les applications militaires certifié pour le standard IEC 6158 (niveau 3) pour les équipements lourds et la production d énergie conforme au standard EN (niveau 3/4) pour les applications ferroviaires compatible avec le standard IEC pour le nucléaire associé maintenant à ESTEREL SCADE Display TM, un environnement de développement graphique pour concevoir et vérifier des applications telles que les systèmes d affichage de cockpit ou de tableaux de bord F. Touchard Polytech Marseille Département d'informatique SICA 5ème année
6 Standard DO-178B/ED-12B document produit par la RTCA (DO-178B, USA) et EUROCAE (ED-12B, Europe) pour fournir des lignes directrices précisant la façon de produire du code pour les applications aéronautiques (1ère version en 1992) complémentaire du document ARP 4754 qui spécifie le processus de conception des systèmes de pilotage et de modification des systèmes existants System life-cycle processes (ARP 4754) System safety assessment process System requirements allocated to software Software level(s) Design constraints Hardware definitions Fault containment boundaries Error sources identified/eliminated Software requirements & architecture Software life-cycle processes (DO-178B) part of implementation processees, for ARP 4754 F. Touchard Polytech Marseille Département d'informatique SICA 5ème année
7 Standard DO-178B/ED-12B les lignes directrices spécifient : les objectifs pour chaque phase du cycle de vie du code la description des activités et des considérations quant à la conception pour atteindre ces objectifs la description des preuves montrant que ces objectifs ont été atteints F. Touchard Polytech Marseille Département d'informatique SICA 5ème année
8 Standard DO-178B/ED-12B DO-178B et ARP 4654 définissent en commun les niveaux de criticité pour les systèmes, leurs composants et le code : Niveau A : Problème catastrophique - Sécurité du vol ou atterrissage compromis - Crash de l'avion Niveau B : Problème majeur entraînant des dégâts sérieux voire la mort de quelques occupants Niveau C : Problème sérieux entraînant un dysfonctionnement des équipements vitaux de l'appareil Niveau D : Problème pouvant perturber la sécurité du vol Niveau E : Problème sans effet sur la sécurité du vol l approche est orientée objectif : on formule les objectifs et on vérifie qu ils ont été atteints mais les méthodes précises à utiliser ne dont pas données (le cycle de vie du développement n est même pas spécifié) F. Touchard Polytech Marseille Département d'informatique SICA 5ème année
9 Standard DO-178B/ED-12B approche proposée par DO-178B : s assurer que les objectifs appropriés sont définis, e.g. niveau de criticité du développement du code standards de conception définir des procédures pour la vérification des objectifs, e.g. vérifier que l indépendance des activités correspond au niveau de criticité du développement vérifier que les standards de conception sont satisfaits et que la conception est complète, précise et traçable définir des procédures pour vérifier que les procédures de vérification précédemment définies sont exécutées correctement, e.g. vérifier que les remarques des revues des documents de conception ont bien été prises en compte vérifier que les tests montrant que le contenu du cahier des charges est rempli ont été effectués F. Touchard Polytech Marseille Département d'informatique SICA 5ème année
10 L outil SCADE la satisfaction du standard est très contraignante pour les développeurs («rendement» en termes de lignes de code produites par jour typiquement 4 fois plus faible que pour des applications non critiques des outils pour aider à satisfaire le standard sont essentiels fournit l ensemble des fonctionnalités réclamées par les standards pour le codage d applications critiques : modélisation de l application vérification du modèle génération de code certifié F. Touchard Polytech Marseille Département d'informatique SICA 5ème année
11 modélisation de l application architecture typique d un système temps réel embarqué critique : lois de contrôle, algorithmes, logique Contrôleur d accès aux «modes», etc... complexe! application application interagissant interagissant avec avec Gestion des entrées-sorties Système d exploitation Matériel Pilotes composants composants de de bas bas niveau niveau gestion gestion des des données données environnement environnement F. Touchard Polytech Marseille Département d'informatique SICA 5ème année
12 modélisation de l application SCADE propose un langage rigoureux pour saisir les besoins en matière de calcul et de logique équations de flot de données pour le calcul machines à états pour la logique Lustre Esterel la fonction principale de SCADE est appelée de façon cyclique code développé manuellement pour l interfaçage avec les couches logicielles de bas niveau et le matériel Code manuel Fonction SCADE Gestion des entrées-sorties Système d exploitation Contrôleur Matériel Pilotes Code manuel F. Touchard Polytech Marseille Département d'informatique SICA 5ème année
13 Modélisation avec SCADE utilise 2 formalismes de spécifications : des machines à états finis pour les modes de fonctionnement et les transitions des diagrammes de flots de données pour les algorithmes de contrôle s'appuie sur ESTEREL et LUSTRE Les illustrations qui suivent proviennent du manuel F. Touchard Polytech Marseille Département d'informatique SICA 5ème année
14 Modélisation avec SCADE les blocs de base sont les "opérateurs" représentés graphiquement ou textuellement pré-définis dans le langage ou définis par l'utilisateur à l'aide d'opérateurs permet de construire des structures très complexes F. Touchard Polytech Marseille Département d'informatique SICA 5ème année
15 Modélisation avec SCADE diagrammes de flots de données pour les contrôles continus traitements périodiques du signal opérateurs entre lesquels circulent des flots de données les opérateurs sont modulaires (comportement indépendant du contexte) fortement typés chaque donnée a un type la cohérence des types est vérifiée F. Touchard Polytech Marseille Département d'informatique SICA 5ème année
16 Modélisation avec SCADE SCADE permet de vérifier les timings et la causalité circuits récursifs exemple délai avec valeur initiale F. Touchard Polytech Marseille Département d'informatique SICA 5ème année
17 Modélisation avec SCADE SCADE permet de vérifier que les flots de données sont initialisés correctement (essentiel dans le développement d'applications critiques) F. Touchard Polytech Marseille Département d'informatique SICA 5ème année
18 Modélisation avec SCADE les contrôles «discrets» permettent de réagir aux événements externes asynchrones alarmes capteurs «discrets» interfaces homme-machine modélisés par des machines à états finis incluant des opérateurs de flots de données F. Touchard Polytech Marseille Département d'informatique SICA 5ème année
19 Modélisation avec SCADE modèle de calcul basé sur une boucle calcul non interruptible dès que les capteurs ont été lus tous les opérateurs ont une horloge basée sur une horloge maître (cf Lustre) les machines à états finis utilisent aussi une approche cyclique passage d'événements entre machines communication entre machines et opérateurs l'identité des comportements du modèle séquentiel généré et des spécifications initiales est garanti par des méthodes formelles F. Touchard Polytech Marseille Département d'informatique SICA 5ème année
20 vérification du modèle but de la vérification : conformité du modèle établi avec les spécifications contenues dans le cahier des charges absence de fonctions non intentionnelles, sans rapport avec le contenu du cahier des charges plusieurs phases dans le processus de vérification revue du modèle simulation couverture structurelle vérification formelle prédiction des performances à chaque étape, SCADE fournit des outils spécifiques F. Touchard Polytech Marseille Département d'informatique SICA 5ème année
21 vérification du modèle revue du modèle vérification que chaque élément d un modèle SCADE est en rapport direct avec une ou plusieurs exigences fournies en entrée de la phase de conception du modèle l outil «SCADE Suite Requirements Management Gateway TM» gère la traçabilité des exigences à travers SCADE calcule également le pourcentage de couverture des exigences par le modèle F. Touchard Polytech Marseille Département d'informatique SICA 5ème année
22 vérification du modèle simulation vérification fonctionnelle à l aide de l outil «SCADE Suite Simulator TM» SCADE garantit que les résultats de la simulation du modèle sont identiques à ceux qui seront obtenus plus tard par le code généré à partir du modèle sur la cible outil complémentaire «SCADE Suite Rapid Prototyper TM» F. Touchard Polytech Marseille Département d'informatique SICA 5ème année
23 vérification du modèle couverture structurelle mesure de combien ce logiciel a été testé permet d identifier des parties de ce logiciel qui n ont jamais est testées outil «SCADE Suite Model Test Coverage TM» (requis par les normes comme DO-178B ou EN-50128) peut mettre en évidence les éventuelles insuffisances des tests des contradictions dans les exigences ou des parties du modèle qui ne sont pas accessibles, et qui sont donc inutiles F. Touchard Polytech Marseille Département d'informatique SICA 5ème année
24 vérification du modèle développement «traditionnel» F. Touchard Polytech Marseille Département d'informatique SICA 5ème année
25 vérification du modèle développement «SCADE» F. Touchard Polytech Marseille Département d'informatique SICA 5ème année
26 vérification du modèle vérification formelle vient en complément des tests de simulation avec les tests, on ne peut pas être sûr à 100% que le modèle est correct (il peut manquer des scénarios d exécution dans l ensemble des tests) utilise l outil «SCADE Suite Design Verifier TM» associé au plugin Prover Plug-In TM de Prover Technology TM (analogue à LESAR dans Lustre) l utilisateur fournit un ensemble de propriétés de sûreté qui doivent être vérifiées (décrites dans le formalisme de SCADE) Design Verifier effectue une analyse mathématique et exhaustive de l ensemble des comportements possibles du système si la propriété n est pas vérifiée par un des scénarios, Design Verifier fournit un point de départ pour une nouvelle simulation conduisant à une erreur, qui peut alors être plus facilement corrigée F. Touchard Polytech Marseille Département d'informatique SICA 5ème année
27 vérification du modèle prédiction des performances utilise l outil «SCADE Suite Timing and Stack Verifier TM» pour le code qui sera généré pour la cible, donne une estimation du temps d exécution maximal du code C sa consommation maximale d espace mémoire sur la pile intègre une technique d analyse statique développée par Absint avec l outil ait repose à la fois sur le modèle SCADE de l application et sur un modèle du processeur cible qui permettra d évaluer les performances F. Touchard Polytech Marseille Département d'informatique SICA 5ème année
28 génération de code certifié la phase de codage suivant la conception est entièrement automatisée utilise le générateur de code certifié «SCADE Suite KCG TM» le code produit est traçable par rapport au modèle fourni en entrée lisible conforme à la norme ISO-C indépendant de la cible comportement déterministe pas d allocation dynamique de mémoire pas d opérations arithmétiques sur les pointeurs KCG a été développé avec le même niveau d exigence que celui attendu pour le code produit certifié niveau A de DO-178B pas de nouvelle vérification nécessaire au niveau du code F. Touchard Polytech Marseille Département d'informatique SICA 5ème année
29 Conclusion l'utilisation de SCADE permet de réduire de moitié les coûts de certification de réduire de 70% à 90% les coûts de développement, certification et tests *de réduire de 65% à 75% le temps de mise au point d'un logiciel de supprimer les erreurs de codage et les tests unitaires maintenant le standard de facto de l'avionique F. Touchard Polytech Marseille Département d'informatique SICA 5ème année
30 présentation du TD F. Touchard Polytech Marseille Département d'informatique SICA 5ème année
JOURNEES 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 standards et la prise en compte des COTS : comment se concilient l utilisation des COTS et les normes actuelles?
Les standards et la prise en compte des COTS : comment se concilient l utilisation des COTS et les normes actuelles? L I S EDF Electricité de France technicatome THOMSON-CSF Marie-Hélène Durand Aerospatiable
Plus en détailIntroduction 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é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é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étailContexte et motivations Les techniques envisagées Evolution des processus Conclusion
Vérification de logiciels par analyse statique Contexte et motivations Les techniques envisagées Evolution des processus Conclusion Contexte et motivations Specification Design architecture Revues and
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é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é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é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é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é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étailConditions : stage indemnisé, aide au logement possible, transport CEA en Ile-de-France gratuit.
Proposition de stage de BAC+4 ou BAC+5 Pro ou Recherche Etude comparative des outils de vérification d'algorithmes parallèles Logiciels (LSL), localisé à Palaiseau (Essonne), développe les outils d'aide
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étailDéveloppement itératif, évolutif et agile
Document Développement itératif, évolutif et agile Auteur Nicoleta SERGI Version 1.0 Date de sortie 23/11/2007 1. Processus Unifié Développement itératif, évolutif et agile Contrairement au cycle de vie
Plus en détailCEG4566/CSI4541 Conception de systèmes temps réel
CEG4566/CSI4541 Conception de systèmes temps réel Chapitre 6 Vivacité, sécurité (Safety), fiabilité et tolérance aux fautes dans les systèmes en temps réel 6.1 Introduction générale aux notions de sécurité
Plus en détailGESTION DE PROJET SÉANCE 2 : LES CYCLE DE VIE D'UN PROJET
GESTION DE PROJET SÉANCE 2 : LES CYCLE DE VIE D'UN PROJET 1 Tianxiao LIU Licence Professionnelle Réseaux & Sécurité Université de Cergy-Pontoise http://depinfo.u-cergy.fr/~tliu/lpg.php PLAN Objectif et
Plus en détailJeudi 19 Juin 2014 Novotel Paris Bercy http://www.plmlab.fr/btb10
Journée «Back to basics 10» de l association PLM lab PLM et Ingénierie Concourante Mettre en place une collaboration entre les métiers ; le cas de la mécatronique et autres exemples Jeudi 19 Juin 2014
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étailQu'est-ce que le BPM?
Qu'est-ce que le BPM? Le BPM (Business Process Management) n'est pas seulement une technologie mais, dans les grandes lignes, une discipline de gestion d'entreprise qui s'occupe des procédures contribuant
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é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é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é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étailECTS INFORMATIQUE ET RESEAUX POUR L INDUSTRIE ET LES SERVICES TECHNIQUES
ECTS INFORMATIQUE ET RESEAUX POUR L INDUSTRIE ET LES SERVICES TECHNIQUES CHAPITRES PAGES I DEFINITION 3 II CONTEXTE PROFESSIONNEL 3 HORAIRE HEBDOMADAIRE 1 er ET 2 ème ANNEE 4 FRANÇAIS 4 ANGLAIS 5 MATHEMATIQUES
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étail11 Février 2014 Paris nidays.fr. ni.com
11 Février 2014 Paris nidays.fr 1 Choisir la bonne architecture logicielle pour automatiser les systèmes de test Jérémy Charavet Ingénieur d Applications, National Instruments France Une architecture logicielle
Plus en détailProgramme «Analyste Programmeur» Diplôme d état : «Développeur Informatique» Homologué au niveau III (Bac+2) (JO N 176 du 1 août 2003) (34 semaines)
Programme «Analyste Programmeur» Diplôme d état : «Développeur Informatique» Homologué au niveau III (Bac+2) (JO N 176 du 1 août 2003) (34 semaines) Module 1 : Programmer une application informatique Durée
Plus en détailIdentification du module
Identification du module Numéro de module 475 Titre Développer une analyse pour une application Compétence Développer à partir des exigences fonctionnelles et non fonctionnelles pour une application, les
Plus en détailGPA770 Microélectronique appliquée Exercices série A
GPA770 Microélectronique appliquée Exercices série A 1. Effectuez les calculs suivants sur des nombres binaires en complément à avec une représentation de 8 bits. Est-ce qu il y a débordement en complément
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é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é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étailVariateurs de vitesse
Présentation, description Altivar Présentation La carte programmable Controller Inside permet d adapter le variateur de vitesse aux applications spécifi ques par l intégration des fonctions d automatisme.
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étailSurveillance et maintenance prédictive : évaluation de la latence de fautes. Zineb SIMEU-ABAZI Univ. Joseph Fourier, LAG)
Surveillance et maintenance prédictive : évaluation de la latence de fautes Zineb SIMEU-ABAZI Univ. Joseph Fourier, LAG) SURVEILLANCE Analyser une situation et fournir des indicateurs! Détection de symptômes!
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é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étailProfil d études détaillé. Section : Informatique et systèmes Finalité : Technologie de l informatique
Section : Informatique et systèmes Finalité : Technologie de l informatique Page 1/6 1. Introduction L enseignement de la Haute Ecole Louvain en Hainaut donne la place centrale à l étudiant. Celui-ci trouvera
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é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étailModelio by Modeliosoft
Modelio by Modeliosoft Solutions d entreprise basées sur l atelier leader de modélisation open source Modelio (modelio.org) L atelier de modélisation open source de référence Une solution sur étagère,
Plus en détailÉdIteur officiel et fournisseur de ServIceS professionnels du LogIcIeL open Source ScILab
ÉdIteur officiel et fournisseur de ServIceS professionnels du LogIcIeL open Source ScILab notre compétence d'éditeur à votre service créée en juin 2010, Scilab enterprises propose services et support autour
Plus en détailModèles système, modèles logiciel et modèles de code dans les applications spatiales
GÉNIE LOGICIEL N o 97 JUIN 2011 Modèles système, modèles logiciel et modèles de code dans les applications spatiales É RIC C ONQUET, FRANÇOIS-XAVIER D ORMOY, IULIA D RAGOMIR, A LAIN L E G UENNEC, DAVID
Plus en détailSécurité logicielle. École de technologie supérieure (ÉTS) MGR850 Automne 2012 Automne 2012. Yosr Jarraya. Chamseddine Talhi.
MGR850 Automne 2012 Automne 2012 Sécurité logicielle Yosr Jarraya Chargé de cours Chamseddine Talhi Responsable du cours École de technologie supérieure (ÉTS) 1 Plan Motivations & contexte Développement
Plus en détailPour une entreprise plus performante
Pour une entreprise plus performante Smart Technology Services Raison Sociale - Smart Technology Services llc Pôle d activités - Service et conseil dans la technologie de l information Pôle d activités
Plus en détailChef de projet H/F. Vous avez au minimum 3 ans d expérience en pilotage de projet de préférence dans le monde du PLM et de management d équipe.
Chef de projet H/F Dans le cadre de nos activités pour un de nos clients, CIMPA recherche un chef de projet H/F. - Planifier l ensemble des phases du projet - Piloter l équipe dédiée au projet - Garantir
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é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é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étailArchitecture distribuée
Architecture distribuée Conception et développement d algorithmes distribués pour le moteur Baboukweb Jean-Christophe DALLEAU Département de Mathématiques et Informatique Université de La Réunion 26 juin
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étailUNIVERSITE D'ORLEANS ISSOUDUN CHATEAUROUX
UNIVERSITE D'ORLEANS ISSOUDUN CHATEAUROUX PLAN
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étailDéveloppement spécifique d'un système d information
Centre national de la recherche scientifique Direction des systèmes d'information REFERENTIEL QUALITE Procédure Qualité Développement spécifique d'un système d information Référence : CNRS/DSI/conduite-proj/developpement/proc-developpement-si
Plus en détailLes modules SI5 et PPE2
Les modules SI5 et PPE2 Description de la ressource Propriétés Intitulé long Formation concernée Matière Présentation Les modules SI5 et PPE2 BTS SIO SI5 PPE2 Description Ce document présente une approche
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é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étailLa conformité et la sécurité des opérations financières
La conformité et la sécurité des opérations financières Au service de vos systèmes d information critiques www.thalesgroup.com/security-services Des services financiers plus sûrs, même dans les passes
Plus en détailPAS X. PAS-X Services. Competence. Implementation. Support. Vue d ensemble des services. Portfolio des services proposés
PAS-X PAS-X Vue d ensemble des services Portfolio des services proposés En complément de ses produits Manufacturing IT, Werum propose des prestations de services complètes. La société Werum apporte son
Plus en détailDémêler la complexité
Démêler la complexité La plate-forme d émulation virtuelle ABB simplifie le test du contrôle-commande de procédé MARIO HOERNICKE, RIKARD HANSSON La simulation logicielle intervient souvent en phase finale
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é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étailRational Unified Process
Rational Unified Process For Christiane DAVOINE-GUHUR Société GICAB - Vannes Christiane.Davoine@CA-GICAB.fr Table des Matières 1 INTRODUCTION... 1 2 LES COMPOSANTS ET LES GRANDS PRINCIPES DU PROCESSUS...
Plus en détailL échelle des Technology Readiness Levels (TRL ou Niveaux de maturité technologique) : Comment la prendre en compte dans nos métiers?
RÉVEIL EN FORM L échelle des Technology Readiness Levels (TRL ou Niveaux de maturité technologique) : Comment la prendre en compte dans nos métiers? Plan de l exposé Intervenants TRL : Le concept Cadre
Plus en détailLOG2420 Analyse et conception d interfaces utilisateur
LOG2420 Analyse et conception d interfaces utilisateur Processus de développement centré utilisateur 1/36 LOG2420 Analyse et conception d interfaces utilisateur Processus de développement centré utilisateur
Plus en détailChapitre VI- La validation de la composition.
Chapitre VI- La validation de la composition. Objectifs du chapitre : Expliquer les conséquences de l utilisation de règles de typage souples dans SEP. Présenter le mécanisme de validation des connexions
Plus en détailIndustrialiser la chaîne complète de fabrication 1ère partie - Les bénéfices de la solution logicielle IBM VisualAge Pacbase / Rational
IBM Software Group Industrialiser la chaîne complète de fabrication 1ère partie - Les bénéfices de la solution logicielle IBM VisualAge Pacbase / Rational Fernard Bonaguidi fernand.bonaguidi@fr.ibm.com
Plus en détailCondition Monitoring pour une gestion efficace du coût de possession.
Condition Monitoring pour une gestion efficace du coût de possession. HYDAC Allemagne HYDAC Chine HYDAC Danemark Le partenaire compétent pour le Condition Monitoring. Avec plus de 4.000 collaborateurs
Plus en détailMANAGEMENT PAR LA QUALITE ET TIC
Garantir une organisation performante pour satisfaire ses clients et ses partenaires, telle est la finalité d une certification «qualité». On dénombre de nombreux référentiels dont le plus connu et le
Plus en détailISO/CEI 19770-1. Technologies de l information Gestion des actifs logiciels. Partie 1: Procédés et évaluation progressive de la conformité
NORME INTERNATIONALE ISO/CEI 19770-1 Deuxième édition 2012-06-15 Technologies de l information Gestion des actifs logiciels Partie 1: Procédés et évaluation progressive de la conformité Information technology
Plus en détailC ) Détail volets A, B, C, D et E. Hypothèses (facteurs externes au projet) Sources de vérification. Actions Objectifs Méthode, résultats
C ) Détail volets A, B, C, D et E Actions Objectifs Méthode, résultats VOLET A : JUMELAGE DE 18 MOIS Rapports d avancement du projet. Réorganisation de l administration fiscale Rapports des voyages d étude.
Plus en détailLogiciel Libre Cours 3 Fondements: Génie Logiciel
Logiciel Libre Cours 3 Fondements: Génie Logiciel Stefano Zacchiroli zack@pps.univ-paris-diderot.fr Laboratoire PPS, Université Paris Diderot 2013 2014 URL http://upsilon.cc/zack/teaching/1314/freesoftware/
Plus en détailMANAGEMENT PAR LA QUALITE ET TIC
MANAGEMENT PAR LA QUALITE ET TIC Lorraine Garantir une organisation performante pour satisfaire ses clients et ses partenaires, telle est la finalité d une certification «qualité». On dénombre de nombreux
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étailSystèmes et réseaux d information et de communication
233 DIRECTEUR DES SYSTÈMES ET RÉSEAUX D INFORMATION ET DE COMMUNICATION Code : SIC01A Responsable des systèmes et réseaux d information FPESIC01 Il conduit la mise en œuvre des orientations stratégiques
Plus en détailDOSSIER DE PRESSE. confidentiel
confidentiel SOMMAIRE Présentation WiN MS et genèse du projet Les domaines d activités Interview : 3 questions à Arnaud Peltier et Marc Olivas Contact presse PRESENTATION WiN MS ET GENESE DU PROJET WiN
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étailMéthodes Agiles et gestion de projets
Méthodes Agiles et gestion de projets Eric LELEU Consultant Solutions Collaboratives Contact ericleleu@nordnet.fr Site Personnel http://home.nordnet.fr/~ericleleu Blog http://ericleleu.spaces.live.fr La
Plus en détailGénie logiciel (Un aperçu)
(Un aperçu) (sommerville 2010) Laurent Pérochon INRA URH 63122 St Genès Champanelle Laurent.perochon@clermont.inra.fr Ensemble d activités conduisant à la production d un logiciel Sur un échantillon de
Plus en détailEIP 2012 Projet Livepad. Documentation technique 1.5
EIP 2012 Projet Livepad 1.5 Marc Mathieu Benjamin Netter David Ngo Pierre Pasteau Denis Togbe 12-01-2012 Informations sur le projet Groupe Nom du projet Type de document Marc Mathieu Benjamin Netter David
Plus en détailSuivant les langages de programmation, modules plus avancés : modules imbriqués modules paramétrés par des modules (foncteurs)
Modularité Extensions Suivant les langages de programmation, modules plus avancés : modules imbriqués modules paramétrés par des modules (foncteurs) généricité modules de première classe : peuvent être
Plus en détailGé nié Logiciél Livré Blanc
Gé nié Logiciél Livré Blanc Version 0.2 26 Octobre 2011 Xavier Blanc Xavier.Blanc@labri.fr Partie I : Les Bases Sans donner des définitions trop rigoureuses, il faut bien commencer ce livre par énoncer
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é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étailTechnologie 125 Khz pour une performance optimale en en environnement industriel. Création des badges. Programmation des badges
CC AXKEF LA RFID SECURISEE DANS L ENVIRONNEMENT INDUSTRIEL TERTIAIRE Technologie 125 Khz pour une performance optimale en en environnement industriel Création des badges La technologie AXKEF intègre notre
Plus en détailCQP Développeur Nouvelles Technologies (DNT)
ORGANISME REFERENCE STAGE : 26572 20 rue de l Arcade 75 008 PARIS CONTACT Couverture géographique : M. Frédéric DIOLEZ Bordeaux, Rouen, Lyon, Toulouse, Marseille Tél. : 09 88 66 17 40 Nantes, Lille, Strasbourg,
Plus en détailTest de performance en intégration continue dans un cloud de type PaaS
Test de performance en intégration continue dans un cloud de type PaaS Bruno Dillenseger Orange Labs Grenoble ComPAS, Conférence d informatique en Parallélisme, Architecture et Système, Atelier SLA pour
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étailPAS X. PAS-X Services. Competence. Implementation. Support. Vue d ensemble des services SERVICES PAS-X. Centres de services internationaux
PAS-X PAS-X SERVICES PAS-X Vue d ensemble des services Centres de services internationaux Dans le cadre d une approche globale, Werum offre l accès à son service d aide et de support, dans le monde entier
Plus en détailCATALOGUE FORMATION. Product Lifecycle Management. Juin 2013
CATALOGUE FORMATION Product Lifecycle Management Juin 2013 s de formation ENOVIA V6 ENOVIA V6 Plateforme Collaborative 5 ENOVIA V6 Installation et Administration 9 ENOVIA V6 Implémentation et Développement
Plus en détailBertrand Cornanguer Sogeti
JFIE 2014 Bertrand Cornanguer Sogeti Trésorier du CFTL Chair du groupe Audit de l ISTQB Vice-chair du groupe Agile Tester de l ISTQB 14/10/2014 Introduction Comme beaucoup de sujets, l ingénierie des exigences
Plus en détailÉtude «analyse, reporting et budget» Niveau d équipement et attentes des PME françaises.
Étude «analyse, reporting et budget» Niveau d équipement et attentes des PME françaises. Mai 2009 Préface Les PME ont aujourd hui accès aux technologies déjà déployées dans les grandes entreprises. En
Plus en détailChapitre I : le langage UML et le processus unifié
I. Introduction Les méthodes d analyse orientées objet sont initialement issues des milieux industriels. La préoccupation dominante de leurs auteurs est le génie logiciel, c est-àdire les principes et
Plus en détailAgilité et avionique "Monteriez-vous à bord d'un avion dont des logiciels de vol sont écrits par des praticiens de l'extreme- Progamming?
Agilité et avionique "Monteriez-vous à bord d'un avion dont des logiciels de vol sont écrits par des praticiens de l'extreme- Progamming?" Emmanuel CHENU emmanuel.chenu@gmail.com L'objectif de ce retour
Plus en détailRapport de certification
Rapport de certification BMC Real End User Experience Monitoring and Analytics 2.5 Préparé par le Centre de la sécurité des télécommunications à titre d organisme de certification dans le cadre du Schéma
Plus en détailDÉPLOIEMENT DES PARTIES 3 ET 4 DE LA NORME ISO 26262
DÉPLOIEMENT DES PARTIES 3 ET 4 DE LA NORME ISO 26262 3 e année du cycle ingénieur «Qualité et Sûreté de Fonctionnement des Systèmes» Soutenu par : Simon RENAULT Tuteur entreprise : M. Alexandre GUILLEMIN
Plus en détailLes Partenaires de IBM Rational
Accelerating Product and Service Innovation Les Partenaires de IBM Rational Acquisition de licences Conseil-Formation Intégration d outils Avertissement : Cette présentation n a pas vocation à établir
Plus en détailBases de données Cours 1 : Généralités sur les bases de données
Cours 1 : Généralités sur les bases de données POLYTECH Université d Aix-Marseille odile.papini@univ-amu.fr http://odile.papini.perso.esil.univmed.fr/sources/bd.html Plan du cours 1 1 Qu est ce qu une
Plus en détail