Processus de validation basée sur la notion de propriété. Marcel Gallardo RATP
|
|
- Fabienne Corriveau
- il y a 8 ans
- Total affichages :
Transcription
1 Processus de validation basée sur la notion de propriété Marcel Gallardo RATP 1
2 Sommaire Présentation de METEOR Processus de développement MTI Processus de validation RATP Essais accrédités par le COFRAC Conclusions 2
3 Présentation de METEOR 3
4 le SAET de METEOR, c'est... Un système automatique complexe fortement intégré matériel roulant, équipements électriques, infrastructures, automatismes,... Six sous-systèmes : - Moyens audio et vidéo - Poste de Commande Centralisée - Logique traction - Portes palières - Pilotage automatique - Signalisation 4
5 le SAET de METEOR, c'est... la mixité des circulations Trains équipés d automatismes - mode de conduite automatique intégrale ou - mode de conduite manuel et trains non équipés 5
6 et METEOR est aussi devenu la ligne 14 du métro parisien Mise en service le 15 octobre ,2 km de ligne exploitée, de Madeleine à Bibliothèque François Mitterrand pour 7 stations dès maintenant une capacité de voyageurs par heure et par sens 19 trains de 6 voitures (extension à 8 voitures prévue) une vitesse commerciale de 40 km/h un intervalle de 85 secondes pour les trains en Conduite Automatique Intégrale 6
7 Un automatisme complexe 1 - vidéo-surveillance train 2 - inter-phonie train 3 - vidéo-surveillance quai 4 - inter-phonie quai 5 - portes palières 6 - pilotage automatique embarqué 7 - tapis de transmission 8 - transmission sol - bord 9 - signalisation 10 - pilotage automatique fixe - 1 PA de ligne - des PA de section 11 - poste de commandes centralisé 7
8 Une architecture répartie de calculateurs redondés Poste de commande centralisé Pilote Automatique de Ligne Pilote Automatique Sol 1 Pilote Automatique Sol 2 Pilote Automatique Sol n Pilote Automatique Embarqué 1 Pilote Automatique Embarqué 2 8
9 Présentation du processus de développement 9
10 le rôle des acteurs, côté logiciels Le Constructeur MTI La RATP conçoit et valide contrôle et valide par spécifications développe ment dont....méthode B utilisation de l'atelie r B preuve B transcodage tests génération des données gestion de configuration par modélisations statiques analyses de sécurité processus de revues traçabilité validation des rè gles B analyse de code tests des exige nces....de sécurité couverture des tests validation des données les méthodes leur application la traçabilité les docum ents les rè gles B les preuves B par modélisations dynamiques analyse des algorithmes travaux sur l'atelie r B tests fonctionne ls et....tests agressifs sur....calculateur cible couverture des tests validation des données régénération du code gest. de configuration 10
11 Séparation du code et des données STBL Description de la ligne Caractéristiques des trains Modèle B Code ADA sécurisé Invariants de Besoin EXECUTABLE 11
12 le cycle de vie des logiciels B spécification littérale du logiciel preuve ré-expression formelle en B conception formelle preuve preuve tests fonctionnels intégration logicielle génération de programme (automatique) 12
13 Processus d élaboration des données Description de la ligne Caractéristiques Des trains Outil de Génération Invariants Topologique PAE Invariants Topologique PAL Invariants Topologique PAS1 Invariants Topologique PASn 13
14 Présentation du processus de validation RATP 14
15 Cycle de vie en V CDCF SFE Modélisation Tests Fonctionnels STBL EXECUTABLE 15
16 Processus RATP Certification du calculateur de base Validation fonctionnelle indépendante de celle de l industriel Contrôle RATP des activités de l industriel 16
17 Certification du calculateur Pour Météor la RATP a Vérifié les démonstrations de sécurité Mené ses propres analyses : - Identification des fonctions de sécurité - Prise en compte et déclinaison des exigences de sécurité 17
18 Méthode de validation RATP (1) Formalisation des activités et responsabilités par un Plan de Validation des logiciels Formalisation de la méthode de détermination des tests par des Plans de tests de niveau équipement Formalisation de la méthode de validation des données par des Plans de validation des données de niveau équipement 18
19 Méthode de validation RATP (2) Réflexion depuis les niveaux sous-système et équipement Modélisation dynamique des spécifications : - validation des spécifications - préparation des cahiers de tests Validation du logiciel sur calculateur cible Mesure de la couverture des tests / spécifications 19
20 Méthode de validation RATP (3) Validation des principes fonctionnels basée sur la détermination de propriétés de sécurité Validation des interfaces entre équipements par l analyse de fonctions transversales Validation des données par reconstruction à partir des codes sources des données géographiques 20
21 Principe de Modélisation PROCESSUS ENVIRONNEMENT Transitions accessibles à l'utilisateur - Défaillances - Réparations - Activations - PROCESSUS D'OBSERVATION ENTREES : - Environnement - Résultats de calcul SORTIES : - Vérification des séquences de calcul - Vérification des équations EVALUATION LOCALE DES ETATS ATTEINTS PROCESSUS D'EVALUATION EVALUATION DES ETATS GLOBAUX - Par sous-fonction - Pour la fonction EVALUATION DES PROPRIETES SITUATIONS PHYSIQUES EQUATIONS DU SYSTEME PROPRIETES 21
22 OBSERVATEUR On observe le résultat de l application des principes définis dans les spécifications sur les événements issus de l environnement. * Vérification des séquences de calcul et de l état atteint * Vérification des équations de la fonction observée IL PERMET LE LIEN AVEC LA CONCEPTION FORMELLE B Les propriétés de CORRECTION et de COMPORTEMENT <--> INVARIANTS B IDENTIFICATION SYSTEMATIQUE DE SCENARII : * Situations physiques (trains, matériel), * Définition des étapes transitoires (séquencement des états de calcul), * Valeurs attendues 22
23 EVALUATEUR IL VERIFIE L ENSEMBLE DES PROPRIETES DE SECURITE : Il évalue, A PARTIR DE SA PROPRE BASE DE REGLES, la correction et la cohérence des sorties produites en fonction des entrées issues de l environnement. IL CONSTITUE UNE AIDE AU DEPOUILLEMENT DES RESULTATS DES TESTS SUR CIBLE : Les propriétés sont vérifiées sur les résultats produits lors de l exécution des scénarii de test. 23
24 Exemple de propriété de sécurité P2 : seuls les trains équipés, localisés et ayant un mode de conduite automatique peuvent disposer d une cible P3 : L état interne du PAS représentant l occupation de la voie doit être cohérent avec l ensemble des trains (équipés ou pas) présent dans la zone gérée par ce PAS. 24
25 Outils de modélisation ASA, ASA+ : ELSIR : SADT Automate étendue communicant Noyau de vérification Réseau de pétri 25
26 La Validation des données Vérification sur le terrain des données initiales Validation outillée par la RATP effectuant la fonction de transfert inverse vérifiant le respect des contraintes de sécurité (exprimées formellement dans le langage LPIC) 26
27 Outils de validation des données OK ou KO Données Générées OK ou KO Outil de Comparaison Outil de Vérification des Contraintes Outil de Génération Invariants Topologique d'un équipement Description de la ligne Caractéristiques des trains 27
28 Exemple de contrainte sur les données P4 : L ensemble des circuits de voie forme une partition de la voie. P10: Il existe une cible (unique) par sens autorisé pour un CV. Le sens de ralliement de la cible est nécessairement celui du CV. P15: Il doit y avoir deux DN de substitution par CdV substituable. 28
29 Accréditation par le COFRAC 29
30 Accréditation COFRAC Action stratégique décidée par la direction du département ESE sous l impulsion des tutelles Référentiel qualité du laboratoire basé sur les normes EN et EN Procédures métiers basées sur la démarche de validation RATP Élargir le périmètre des marchés et Garantir au client compétence, indépendance et impartialité 30
31 Essais accrédités (1) Accréditation sur 5 essais du programme 152 du COFRAC : - Essai SUR1 : Vérification orientée Sûreté de Fonctionnement de la documentation de spécification du logiciel - Essai SUR2 : Modélisation orientée Sûreté de Fonctionnement de la spécification du logiciel 31
32 Essais accrédités (2) - Essai SUR 11 : Mesure de couverture des exigences de Sûreté de Fonctionnement par les tests - Essai SUR 13 : Tests de validation orientée Sûreté de Fonctionnement - Essai SUR 14 : Analyse orientée Sûreté de Fonctionnement de l impact des modifications du logiciel 32
33 CONCLUSIONS 33
34 Quelques éléments statistiques sur le développement composants B lignes de code B obligations de preuve lignes de code ADA (données comprises) pour les 3 équipements 34
35 sur le processus RATP 20 Dossiers de principe 23 Modèles 30 Cahiers de tests Plus de tests en environnement temps réel simulé. 35
36 Anomalie/Remarques 400 remarques critiques pour la sécurité au niveau des spécifications 110 anomalies sur l ensemble des versions des logiciels de sécurité (3 versions sur 3 applicatifs différents) 36
37 le bilan sur METEOR Un processus de vérification de spécification basée sur les propriétés (fonctions + données) Un processus de tests sur cibles avec vérification de propriétés Un logiciel qui a fonctionné dès sa première installation Une maîtrise accrue des évolutions et... la conviction de la sécurité 37
La 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étailSimulation de Réseaux Ferroviaires
Le projet de recherche Modélisation orientée objets dans le domaine ferroviaire a été conduit par l Institut des Transports et de Construction Routière et Ferroviaire (IVT, Institut für Verkehrsplanung,
Plus en détailSchéma Directeur du Matériel Métro Pneu. Rapport
Schéma Directeur du Matériel Métro Pneu Rapport STIF Schéma Directeur Métro Pneu Rapport RG110983D 2 STIF Schéma Directeur Métro Pneu Rapport RG110983D Identification du document projet num. doc. version
Plus en détailFORD C-MAX + FORD GRAND C-MAX CMAX_Main_Cover_2013_V3.indd 1-3 22/08/2012 15:12
1 2 3 4 5 6 7 8 9 10 12,999,976 km 9,136,765 km 1,276,765 km 499,892 km 245,066 km 112,907 km 36,765 km 24,159 km 7899 km 2408 km 76 km 12 14 16 1 12 7 3 1 6 2 5 4 3 11 9 10 8 18 20 21 22 23 24 26 28 30
Plus en détailGESTION DE PROJET. www.ziggourat.com - Tél : 01 44 61 96 00 N enregistrement formation : 11752861675
GESTION DE PROJET www.ziggourat.com - Tél : 01 44 61 96 00 N enregistrement formation : 11752861675 Introduction à la Gestion de Projet... 3 Management de Projet... 4 Gestion de Projet informatique...
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étailDépartement des systèmes d'information et de télécommunications Groupe de soutien achats et marchés
Département des systèmes d'information et de télécommunications Groupe de soutien achats et marchés a RFI : Progiciel de Gestion de Maintenance Assistée par Ordinateur (GMAO) ou d'enterprise Asset Management
Plus en détailLe groupe RATP, la RATP et RATP Dev. Une nouvelle dimension, de nouvelles ambitions
Le groupe RATP, la RATP et RATP Dev Une nouvelle dimension, de nouvelles ambitions Le groupe RATP, la RATP et RATP Dev Le Groupe RATP La RATP en Ile de France RATP Dev L exploitation et la maintenance
Plus en détailOFFRES DE SERVICE 1/2
Décembre 2013 SOMMAIRE 1. Offres de service 2. Etudes Techniques Avant Projet 3. Documents d Exécution 4. Suivi du déroulement des travaux 5. Savoir Faire 6. Organisation 7. Compétences Projet 8. Références
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é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é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étailLancement du projet TOP (Tracabilité et Optimisation des Process)
Lancement du projet TOP (Tracabilité et Optimisation des Process) Stéphane POUX Colloque «Bilan de la DiVE» 3 juillet 2008 Objectifs et contexte du projet TOP Développer le système d information de la
Plus en détailSociété PACIFICA / SociétéNationale des Chemins de fer Français. Conclusions du Commissaire du Gouvernement.
N 3945 - Conflit négatif Société PACIFICA / SociétéNationale des Chemins de fer Français Séance du 10 mars 2014. Conclusions du Commissaire du Gouvernement. Le 16 juin 2008 M. Joël L. était mortellement
Plus en détailVendredi 22 mars 2013. Prolongement de la ligne B du métro Toulouse > Ramonville > Labège
Vendredi 22 mars 2013 Prolongement de la ligne B du métro Toulouse > Ramonville > Labège 2 ème phase de concertation publique 25 mars au 12 avril 2013 2 ème phase de concertation publique sur le projet
Plus en détailIntroduction. Nicolas Phalippon IR3. Source: rapport commandé par le Congrès américain. Présentation du 24/10/02
Présentation du 24/10/02 Nicolas Phalippon IR3 Introduction 2% des logiciels fonctionnent à la livraison 3% de plus fonctionneront après quelques modifications mineures 20% seront utilisés après des modifications
Plus en détailManuel Management Qualité ISO 9001 V2000. Réf. 20000-003-002 Indice 13 Pages : 13
Réf. 20000-003-002 Indice 13 Pages : 13 Manuel Management Qualité ISO 9001 V2000 EVOLUTIONS INDICE DATE NATURE DE L'EVOLUTION 00 09/06/2000 Edition Originale 01 29/09/2000 Modification suite à audit interne
Plus en détailPROFIL DE POSTE AFFECTATION. SERIA (service informatique académique) DESCRIPTION DU POSTE
PROFIL DE POSTE BAP : CORPS : NATURE : SPÉCIALITÉ : E ITRF Externe IGR 2, Chef de projet développement ÉTABLISSEMENT : Rectorat SERVICE : VILLE : SERIA (service informatique académique) DESCRIPTION DU
Plus en détailZone pavée destinée aux usagers des autobus et pouvant comprendre un banc ou un abri.
Lexique: Sondage des Actifs Arrêts de transport en commun Nombre d'arrêts munis des commodités mentionnées : Les catégories suivantes reflètent le nombre d'arrêts munis des commodités mentionnées, et non
Plus en détailRapport d évaluation du master
Section des Formations et des diplômes Rapport d évaluation du master Etudes internationales de l Université Paris-Sud Vague E 2015-2019 Campagne d évaluation 2013-2014 Section des Formations et des diplômes
Plus en détailInformation Technology Services - Learning & Certification. www.pluralisconsulting.com
Information Technology Services - Learning & Certification www.pluralisconsulting.com 1 IT Consulting &Training Créateur de Performance Pluralis Consulting Services et de Conseil en Système d Information
Plus en détailJ.9. Annexe DOSSIER D ENQUÊTE PRÉALABLE À LA DÉCLARATION D UTILITÉ PUBLIQUE
LIGNE 16 : NOISY CHAMPS < > SAINT-DENIS PLEYEL (LIGNE ROUGE) LIGNE 17 : LE BOURGET RER < > SAINT-DENIS PLEYEL (LIGNE ROUGE) LIGNE 14 : MAIRIE DE SAINT-OUEN < > SAINT-DENIS PLEYEL (LIGNE BLEUE) DOSSIER
Plus en détailBusiness Process Design Max Pauron
Business Process Design Max Pauron 2005 Max Pauron - Reproduction and communication, even partial, are strictly prohibited without written permission. Unauthorized photocopying is a crime. Contexte Les
Plus en détailDossier d'étude technique
Centre national de la recherche scientifique Direction des systèmes d'information REFERENTIEL QUALITE Guide méthodologique Dossier d'étude technique Référence : CNRS/DSI/conduite-projet/developpement/technique/guide-etude-technique
Plus en détailEt si l avenir de votre CFD passait par OPEN FOAM?
ACE MENU Et si l avenir de votre CFD passait par OPEN FOAM? OPEN FOAM solution d avenir? Pour qu Open FOAM soit une solution d avenir pour vos sociétés il faut : Que vous en soyez convaincus dès maintenant
Plus en détailGénéralités. Aperçu. Introduction. Précision. Instruction de montage. Lubrification. Conception. Produits. Guides à brides FNS. Guides standards GNS
Généralités Aperçu Introduction Précision Instruction de montage Lubrification Conception page............................. 4............................. 5............................. 6.............................
Plus en détailSchéma Directeur Accessibilité
Schéma Directeur Des services régionaux de transport de voyageurs - Deuxième concertation en Gironde - Contenu de la présentation Rappel des étapes antérieures sur le réseau ferroviaire (Maillage, référentiel
Plus en détailLES REGLES DE VOL VFR
LES REGLES DE VOL VFR 1. DEFINITION : Un pilote effectue un vol selon les règles de vol à vue ou VFR (Visual Flight Rules), lorsqu'il maintient son avion dans une configuration propre au vol (attitude,
Plus en détailDe l automatisme à la domotique...
Domotique La Et si le futur était déja là D De l automatisme à la domotique... Simples ou complexes, les systèmes automatisés sont partout dans notre environnement quotidien. Les produits automatisés sont
Plus en détailSoftware Application Portfolio Management
Environnement complet de consolidation du Patrimoine Applicatif & de production des Tableaux de bords d inventaire et de pilotage Software Application Portfolio Management Collecter Centraliser Normaliser
Plus en détailALDEA ET SYSTEMES D INFORMATION
ALDEA CONSEIL EN ORGANISATION ET SYSTEMES D INFORMATION 30 avenue du Général Leclerc 92100 Boulogne-Billancourt Tel : +33 1 55 38 99 38 Fax : +33 1 55 38 99 39 www.aldea.fr ALDEA - Conseil en Organisation
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étailTransport SICE. Transport. Technologie leader à votre service
SICE Technologie leader à votre service Planification, conception et exécution de projets clefs en main de s. Support Technique Intégration Post-vente Service de Conseil Conception et ingénierie Logistique,
Plus en détailEt si on utilisait le vélo?
Et si on utilisait le vélo? Marc Eloy Ivan Derré Juillet 2014 Paris peut elle devenir comme Copenhague une capitale symbole du déplacement en vélo? Le développement du Vélib, la mise en place de voies
Plus en détailJe prends le métro. Un outil pédagogique pour apprendre à utiliser le métro
Je prends le métro Un outil pédagogique pour apprendre à utiliser le métro Depuis plusieurs années, la RATP s est engagée dans une politique d amélioration de l accessibilité de ses réseaux pour faciliter
Plus en détailVIABILITE HIVERNALE ET DEVELOPPEMENT DURABLE
VIABILITE HIVERNALE ET DEVELOPPEMENT DURABLE Journée technique CoTITA Méditerranée 10 mai 2012 Philippe Pecquenard Station d essais de matériels routiers Les évolutions du matériels CoTITA Méditerranée
Plus en détailMesures de l état du réseau Domaine Voie Tendances, perspectives et innovations
Mesures de l état du réseau Domaine Voie Tendances, perspectives et innovations Symposium Infra - Direction de la maintenance du réseau : Régis Ambert, Division Ingénierie de la Maintenance de la Voie
Plus en détailLE KIT DU MANAGER DE PROJETS
LE KIT DU MANAGER DE PROJETS Ce kit est basé sur les travaux du Professeur Hugues Marchat (parus aux éditions Eyrolles) complétés par les expériences opérationnelles de Denis Lannel. Sommaire Travailler
Plus en détailRAPPORT D ENQUETE SUR L ACCIDENT SURVENU SUR LA LIGNE 12 DU METRO PARISIEN LE 30 AOUT 2000 13H21
CONSEIL GENERAL DES PONTS ET CHAUSSEES Affaire n 2000-0207-01 La Défense, le 22 novembre 2000 RAPPORT D ENQUETE SUR L ACCIDENT SURVENU SUR LA LIGNE 12 DU METRO PARISIEN LE 30 AOUT 2000 13H21 Interstation
Plus en détail1 - Le catalogue d états prêts à l emploi p.2
Nouveau Sage 100 Gestion Commerciale Edition Pilotée Plus simple, plus riche, plus métier! Sage 100 Gestion Commerciale Edition Pilotée est la solution de référence pour vous accompagner dans votre gestion
Plus en détail1 Problème 1 : L avion solaire autonome (durée 1h)
Problèmes IPhO 2012 1 NOM : PRENOM : LYCEE : 1 Problème 1 : L avion solaire autonome (durée 1h) Nous souhaitons dans ce problème aborder quelques aspects de la conception d un avion solaire autonome. Les
Plus en détailAbords d école : limitation à 30km/h à certaines heures seulement?
1 Concerne : Abords d école limitation 30Km/h Gilet rétro réfléchissant Camions Nouvelles cartes de stationnement - Motards Abords d école : limitation à 30km/h à certaines heures seulement? Arrêté Royal
Plus en détailCOMITE DE LIGNE METRO 13 Compte-rendu de la réunion du 09 octobre 2013
Direction de l Exploitation Offre Ferroviaire 10-01-2014 Thomas WEHRLE COMITE DE LIGNE METRO 13 Compte-rendu de la réunion du 09 octobre 2013 Présidé par M. Pierre SERNE, Vice-président du conseil régional
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étailGénie Logiciel LA QUALITE 1/5 LA QUALITE 3/5 LA QUALITE 2/5 LA QUALITE 4/5 LA QUALITE 5/5
Noël NOVELLI ; Université d Aix-Marseille; LIF et Département d Informatique Case 901 ; 163 avenue de Luminy 13 288 MARSEILLE cedex 9 Génie Logiciel LA QUALITE 1/5 La gestion de la qualité Enjeux de la
Plus en détailCasisa Anthony DOSSIER PERSONNEL
Casisa Anthony TSSI DOSSIER PERSONNEL Année scolaire 2012-2013 La voiture solaire I) Planification 1) Introduction Dans le cadre du Projet Pluridisciplinaire Encadré en classe de Terminale SSI, nous avons
Plus en détailRÈGLEMENT RELATIF À LA SÉCURITÉ DES VOYAGEURS. TC numéro 0-16 Approuvé le 31 mars, 2000 {R- 33}
RÈGLEMENT RELATIF À LA SÉCURITÉ DES VOYAGEURS TC numéro 0-16 Approuvé le 31 mars, 2000 {R- 33} 2 RÈGLEMENT RELATIF À LA SÉCURITÉ DES VOYAGEURS TABLE DES MATIÈRES 1. TITRE ABRÉGÉ 2. DOMAINE D APPLICATION
Plus en détailM1805 - Études et développement informatique
Appellations (Métiers courants) Analyste décisionnel - Business Intelligence Analyste organique informatique Analyste-programmeur / Analyste-programmeuse informatique Chef de projet étude et développement
Plus en détailPartie 1 : La ligne 11 actuelle. Réunion d information 27 février 2013
Partie 1 : La ligne 11 actuelle Réunion d information 27 février 2013 Réunion publique 7 septembre 2010 Sommaire 1. Introduction 2. Bilan de la concertation préalable 3. Le prolongement : la réponse aux
Plus en détailMesure de la couverture en propre du réseau d un opérateur mobile
Mesure de la couverture en propre du réseau d un opérateur mobile Janvier Mars 2015 Rapport SOMMAIRE 1 SPECIFICATIONS DE L ENQUETE... 3 1.1 OBJECTIFS ET CONFIGURATION... 3 1.2 OUTIL DE MESURE ET TERMINAUX...
Plus en détailL expertise développée par Market-IP et ses solutions télématiques vous permettront d atteindre
FOURNISSEUR DE SERVICE D OPTIMISATION GÉOGRAPHIQUE, Market-IP développe des services de cartographie, de planning, de géolocalisation et d analyse du comportement de conduite permettant une gestion optimale
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étailDémarche de traçabilité globale
Démarche de traçabilité globale Dr Chi-Dung TA* Responsable Qualité, Danone Vitapole chi-dung.ta@danone.com La traçabilité existe depuis un certain nombre d'années dans les entreprises à des niveaux plus
Plus en détailRapport d évaluation du master
Section des Formations et des diplômes Rapport d évaluation du master Informatique de l Université Paris 7 Denis Diderot Vague D 2014-2018 Campagne d évaluation 2012-2013 Section des Formations et des
Plus en détailÉTUDE SUR L EFFICACITÉ DES PNEUS D HIVER EN ÉTÉ RÉALISÉE PAR CAA-QUÉBEC
ÉTUDE SUR L EFFICACITÉ DES PNEUS D HIVER EN ÉTÉ RÉALISÉE PAR CAA-QUÉBEC SEPTEMBRE 2008 1. Introduction L étude avait pour but de comparer avec le plus de précision possible l efficacité des pneus d hiver
Plus en détailDisponibilité et fiabilité des services et des systèmes
Disponibilité et fiabilité des services et des systèmes Anthony Busson Introduction Un site Web commercial perd de l argent lorsque leur site n est plus disponible L activité d une entreprise peut être
Plus en détailLe retour d expérience du logiciel CAPTMS
Journée annuelle des adhèrents du pôle de ressources ConcepTMS 24 juin 2010 Le retour d expérience du logiciel CAPTMS Jean-Jacques ATAIN-KOUADIO, David MUTH (stagiaire) Département Homme au Travail Laboratoire
Plus en détailAGEFOS PME Nord Picardie Appel à propositions MutEco Numérique Picardie 2015 1
APPEL A PROPOSITIONS MUTECO NUMERIQUE 2015 PICARDIE Le présent cahier des charges s adresse aux organismes de formation souhaitant se positionner sur le projet mutations économiques porté par AGEFOS PME
Plus en détailLA SÉCURITÉ AU CŒUR DU TRANSPORT FERROVIAIRE
LA SÉCURITÉ AU CŒUR DU TRANSPORT FERROVIAIRE Centre de contrôle et de sécurité intégré du métro de Lausanne PRéVENTION ET IDENTIFICATION DES RISQUES : LA CLÉ D UNE SéCURITé PERFORMANTE UNE PROTECTION OPTIMALE
Plus en détailQuelle qualité de l air au volant? Premiers éléments de réponse en Ile-de-France
Quelle qualité de l air au volant? ---------------------------- Les automobilistes sont nettement plus exposés à la pollution atmosphérique que les piétons, même à proximité des grands axes. Tel est le
Plus en détail2012 LE NOUVEAU LABEL PNEUMATIQUE EUROPÉEN
2012 LE NOUVEAU LABEL PNEUMATIQUE EUROPÉEN Etiquetage et Classification De plus en plus de produits sont pourvus d une étiquette (label) informant de leurs performances spécifiques Généralement il s agit
Plus en détailBACCALAURÉAT GÉNÉRAL SÉRIE SCIENTIFIQUE
BACCALAURÉAT GÉNÉRAL SÉRIE SCIENTIFIQUE ÉPREUVE DE SCIENCES DE L INGÉNIEUR ÉPREUVE DU VENDREDI 20 JUIN 2014 Session 2014 Durée de l épreuve : 4 heures Coefficient 4,5 pour les candidats ayant choisi un
Plus en détailLes mesures à l'inclinomètre
NOTES TECHNIQUES Les mesures à l'inclinomètre Gérard BIGOT Secrétaire de la commission de Normalisation sols : reconnaissance et essais (CNSRE) Laboratoire régional des Ponts et Chaussées de l'est parisien
Plus en détailAdaptabilité et flexibilité d une station de charge pour véhicules électriques
Adaptabilité et flexibilité d une station de charge pour véhicules électriques Mars 2012 / Livre blanc de Johan Mossberg et Maeva Kuhlich Sommaire Introduction... p 2 Qu est ce qu une station de charge
Plus en détailUn siècle d innovations
DOSSIER PÉDAGOGIQUE Un siècle d innovations L Aventure Michelin 32 rue du Clos Four - 63100 Clermont-Ferrand - Tél : 04 73 98 60 60 - Fax : 04 73 98 60 69 www.laventuremichelin.com 2 PROGRAMMES D'HISTOIRE
Plus en détailCircuit du médicament informatisé
Circuit du médicament informatisé Points de vigilance axe technique SOMMAIRE... 1 FICHE N 1- DISPONIBILITE ET PERFORMANCE... 2 FICHE N 2- ENVIRONNEMENT DE TEST... 4 FICHE N 3- VERSIONNING... 5 FICHE N
Plus en détailMessagerie collaborative et unifiée de l Inra
Messagerie collaborative et unifiée de l Inra Prestation d expertise et d assistance à maitrise d ouvrage pour la conception d un nouveau service. Page 1 sur 7 SUIVI DES MODIFICATIONS Version Eléments
Plus en détailLe tableau de bord de la DSI : un outil pour mieux piloter son informatique.
Le tableau de bord de la DSI : un outil pour mieux piloter son informatique. Introduction Face à l évolution constante des besoins fonctionnels et des outils informatiques, il est devenu essentiel pour
Plus en détailMATHEMATIQUES ET SCIENCES POUR L INGENIEUR
MASTER SCIENCES, TECHNOLOGIES, SANTE/STAPS MATHEMATIQUES ET SCIENCES POUR L INGENIEUR Informatique www.univ-littoral.fr OBJECTIFS DE LA FORMATION Le master Informatique se compose de deux parcours et se
Plus en détailChapitre 1 : Introduction au contrôle de gestion. Marie Gies - Contrôle de gestion et gestion prévisionnelle - Chapitre 1
Chapitre 1 : Introduction au contrôle de gestion Introduction 2 Contrôle de gestion : fonction aujourd hui bien institutionnalisée dans les entreprises Objectif : permettre une gestion rigoureuse et une
Plus en détailMoyen acceptable de de conformité. Performances des freins d immobilisation SAM F 007
Document technique Matériel Moyen acceptable de de conformité SAM F 007 Applicable sur : RFN Edition du 04/07/2012 Version n 1 du 04/07/2012 Applicable à partir du : 04/07/2012 Remplace : IN 2851 (version
Plus en détailTP2 ACTIVITE ITEC. Centre d intérêt : AUBE D UN MIRAGE 2000 COMPORTEMENT D UNE PIECE. Documents : Sujet Projet Dossier technique - Document réponse.
ACTIVITE ITEC TP2 Durée : 2H Centre d intérêt : COMPORTEMENT D UNE PIECE AUBE D UN MIRAGE 2000 BA133 COMPETENCES TERMINALES ATTENDUES NIVEAU D ACQUISITION 1 2 3 * * Rendre compte de son travail par écrit.
Plus en détailRapport final Phase 1
1/44 ACCESSITEL Information voyageurs des déficients visuels par téléphone portable NFC Rapport final Phase 1 Le 4/octobre /2007 Cityway S.A. Parc du Golf, Bât 7 13856 Aix-en-Provence Cedex 3 Tél. : 04
Plus en détailInvestissements d avenir. Action : «Projets agricoles et agroalimentaires d avenir (P3A)»
Investissements d avenir Action : «Projets agricoles et agroalimentaires d avenir (P3A)» Appel à projets «Innovation et compétitivité des filières agricoles et agroalimentaires» Volet compétitif «Initiatives
Plus en détailDéclaration d'intention pour un projet intégré de voiture électrique à batterie
INSTITUT NATIONAL DE RECHERCHE SUR LES TRANSPORTS ET LEUR SECURITE LABORATOIRE TRANSPORTS ET ENVIRONNEMENT Bron, le 6 avril 2005 J-P. Roumégoux Déclaration d'intention pour un projet intégré de voiture
Plus en détailLIVRET DE PRESENTATION DE LA FORMATION
Règlement du diplôme Livret de présentation de la formation Livret de suivi de formation LIVRET DE PRESENTATION DE LA FORMATION ACCOMPAGNATEUR - ANIMATEUR MONITEUR Fédération Française de Vol Libre 2014
Plus en détailRapport d activité. Mathieu Souchaud Juin 2007
Rapport d activité Mathieu Souchaud Juin 2007 Ce document fait la synthèse des réalisations accomplies durant les sept premiers mois de ma mission (de novembre 2006 à juin 2007) au sein de l équipe ScAlApplix
Plus en détailPRESENTATION DE L ASSOCIATION
PRESENTATION DE L ASSOCIATION «Pour que l Esprit de Service soit la signature de l Excellence de Service à la française» Association Esprit de Service France L association Esprit de Service France L association
Plus en détailActivité : TP Durée : 6H00. Un PC d assemblage de marque NEC Un casque avec micro Une clé USB. Un CD de Windows XP professionnel
Activité : TP Durée : 6H00 INSTALLATION ET CONFIGURATION D UN PC SOUS WINDOWS XP PROFESSIONNEL Moyens et ressources : Matériel et outillage : Cours, synthèses Logiciels Un PC d assemblage de marque NEC
Plus en détailContraintes et problématique des flux dans le dimensionnement des gares
Contraintes et problématique des flux dans le dimensionnement des gares Dr Guillaume de Tilière& Bernard Viaud Conférence du 29 mars 2012 "Contraintes de capacité dans les réseaux de transport en commun"
Plus en détailREFERENTIEL DE CERTIFICATION
REFERENTIEL DE CERTIFICATION DU TITRE PROFESSIONNEL Technicien(ne) d'assistance en Informatique Niveau IV Site : http://www.emploi.gouv.fr REFERENTIEL DE CERTIFICATION D'UNE SPECIALITE DU TITRE PROFESSIONNEL
Plus en détailProgrammation de services sensibles au contexte en téléphonie sur IP
Programmation de services sensibles au contexte en téléphonie sur IP Présentation de mémoire Grégory Estienne Sous la supervision du Dr. Luigi Logrippo Introduction La téléphonie sur IP comme support à
Plus en détailChapitre 7 - Relativité du mouvement
Un bus roule lentement dans une ville. Alain (A) est assis dans le bus, Brigitte (B) marche dans l'allée vers l'arrière du bus pour faire des signes à Claude (C) qui est au bord de la route. Brigitte marche
Plus en détailLes grandes familles du numérique
Les grandes familles du numérique Les métiers de la production Gérer, exploiter et veiller les systèmes informatiques et réseaux Technicien infrastructure Technicien système, intégration, réseau, télécom,
Plus en détailSimulation à bord d un véhicule moteur existant
Simulation à bord d un véhicule moteur existant Pour la simulation, un poste de conduite d un véhicule moteur prêt au service est utilisé. Il va de soi que le véhicule doit être bloqué et la chaîne de
Plus en détailEnseignant: Lamouchi Bassem Cours : Système à large échelle et Cloud Computing
Enseignant: Lamouchi Bassem Cours : Système à large échelle et Cloud Computing Chapitre 1 : Introduction Introduction générale Origine du cloud Concepts prédécésseurs «liés aux serveurs» Concepts prédécesseurs
Plus en détailGuide méthodologique
Communauté d Agglomération de NIORT du GRAND NANCY PLAN DE DEPLACEMENTS URBAINS Plan de Déplacement Entreprise Guide méthodologique Septembre 2007 m u n i c i p a l i t é s e r v i c e 7 1, a v e n u e
Plus en détailSTRATEGIE, GOUVERNANCE ET TRANSFORMATION DE LA DSI
STRATEGIE, GOUVERNANCE ET TRANSFORMATION DE LA DSI NOTRE EXPERTISE Dans un environnement complexe et exigeant, Beijaflore accompagne les DSI dans le pilotage et la transformation de la fonction SI afin
Plus en détailVotre Partenaire pour vos projets d Automatismes de bâtiments Tertiaires et Industriels
Votre Partenaire pour vos projets d Automatismes de bâtiments Tertiaires et Industriels Spécialisée dans le domaine de la gestion technique des bâtiments tertiaires et industriels, notre société développe
Plus en détailEssais de frein applicables aux trains
Référentiels EPSF Recommandation Sécurité des circulations RC A-B 7a n 2 Applicable sur : RFN Version n 1 du 30 octobre 2007 Applicable dès publication II Objet...3 Chapitre 1 - Principes généraux...4
Plus en détailIntroduction aux Bases de Données Relationnelles Conclusion - 1
Pratique d un : MySQL Objectifs des bases de données Où en sommes nous? Finalement, qu est-ce qu un? Modèle relationnel Algèbre relationnelle Conclusion SQL Conception et rétro-conception Protection de
Plus en détailPNEUS FREINS ABS ESP HUILE VITESSES
31. - LA TECHNIQUE PNEUS FREINS ABS ESP HUILE VITESSES LES PNEUS D UNE VOITURE 1. Les pneus doivent être conformes. Ce sont les pneus qui assument le contact de la voiture avec la route. Pour rouler en
Plus en détailMES ÉCO-DÉPLACEMENTS LE QUIZZ
MES ÉCO-DÉPLACEMENTS LE QUIZZ Pour réduire efficacement ses consommations liées aux déplacements C'est parti! Ce quizz vous permettra d évaluer les gestes que vous faites déjà en matière d éco-déplacements
Plus en détailGI.BI.DI. BENELUX NV. Paddegatstraat 51 B-1880 Kapelle o/d Bos
Paddegatstraat 51 B-1880 Kapelle o/d Bos Installateur: (Nom, adresse, téléphone) GUIDE UNAC N. 4 POUR LA MOTORISATION DE PORTES SECTIONNELLES POUR GARAGES CONFORMEMENT A LA DIRECTIVE MACHINES 98/37/CE
Plus en détailInformation Technology Services - Learning & Certification. «Développement et Certification des Compétences Technologiques»
Information Technology Services - Learning & Certification «Développement et Certification des Compétences Technologiques» www.pluralisconsulting.com 1 IT Training and Consulting Services Pluralis Consulting
Plus en détailAnnonces internes SONATRACH RECHERCHE POUR SA DIRECTION CENTRALE INFORMATIQUE ET SYSTÈME D INFORMATION :
Bourse de l emploi Annonces internes SONATRACH RECHERCHE POUR SA DIRECTION CENTRALE INFORMATIQUE ET SYSTÈME D INFORMATION : Deux (02) Ingénieurs Sécurité Système d Information Direction Qualité, Méthodes
Plus en détail[Signature]Essais réalisés en collaboration entre les Chambres d'agriculture de Bretagne, les fédérations de Cuma et Arvalis Institut du végétal.
[Titre]Semis de maïs : 3 semoirs à l'épreuve de la vitesse [Commentaires sur la mise en forme : Le tableau des caractéristiques des matériels avec les photos des semoirs doit être placé en première page.
Plus en détailAUTOMOBILE CLUB LIMOUSIN
AUTOMOBILE CLUB LIMOUSIN 8, rue Pierre de Fermat 87280 Limoges Contact : 05 55 04 19 69 et 06 74 70 52 74 contact@auto-club-limousin.fr CIRCUIT «ESTER» ET «TRAVERSEE DE LIMOGES» ESTER TECHNOPOLE Le samedi
Plus en détailPLAN ASSURANCE QUALITE
PLAN ASSURANCE QUALITE Page : 1/56 Sommaire 1 Objet et domaine d application... 6 1.1 Objet... 6 1.2 Domaine d application... 6 1.3 Documents applicables et documents de référence... 7 1.3.1 Documents
Plus en détail