L ’application devra être VALIDEE !

Slides:



Advertisements
Présentations similaires
Analyse et Programmation Orientées Objets
Advertisements

L’évaluation certificative des compétences
Eléments de Génie Logiciel
Contrôle des processus : Introduction au Contrôle Qualité
L'installation et la diffusion 1 LInstallation et la Diffusion.
La Recette La recette.
La Gestion de la Configuration
Les Evolutions et la Maintenance
Etablir des procédures de vérification (Etape 11 / Principe 6)
Spécification et qualité du logiciel
Fin de cycle….
GÉRER LES COMPÉTENCES.
ASTRID et la traçabilité
Validation des Systèmes Informatisés Industriels
Urbanisation des Systèmes d'Information - Henry Boccon-Gibod 1 Urbanisation des SI Alignement Stratégique et optimisation dun Système dInformation.
1 Acquisition des droits à lHôpital Réunion éditeurs
TESTBED TESTPLAN OBJECTIFS: Évaluer les services, fonctionnalités et l'installation des releases du testbed. CONTEXTE: Test effectué dans un contexte de.
1 B Système Enjeux et principes Cours DESS Nantes 04 Décembre 2002 Didier ESSAME.
INTRODUCTION.
Bernard HERBAIN IUP3 GEII AMIENS
Les Ateliers de Génie Logiciel
L’outil de présentation
Les ECE en SVT.
MANAGEMENT DU PRODUIT Organisation Technique du Produit (OTP) Objet Arborescence Produits Relation autres domaines Décomposition du système Gestion.
Modules DMOS, Dons et subventions
Les Cas d’utilisation.
lycée Guy de Maupassant Fécamp
Introduction à la conception de Bases de Données Relationnelles
DeltaPROD Suivi des interventions Gestion de configuration
bons exemples / mauvais exemples
AMUE – SIFAC Reprise de données pour le bilan d’entrée
Le cahier des charges Véronique ABONDANCE Direction des achats
Algorithmique et Programmation
Techniques de test Boulanger Jean-Louis.
IGL301 - Spécification et vérification des exgiences 1 Chapitre 2 Le processus dingénierie des exigences (ref : Bray chapitre 2)
TESTING BUSINESS PROCESSES
Présentation du mémoire
© Petko ValtchevUniversité de Montréal Janvier IFT 2251 Génie Logiciel Notions de Base Hiver 2002 Petko Valtchev.
Groupe de travail « Gestion des escales » du 31 mai 2007
Ingénierie Système en SysML appliquée à la rédaction du cahier des charges Y. Le Gallou Séminaire académique STI2D - Calais – 1er avril 2014.
30 Janvier 2002 Club SEE 63 "Systèmes Informatiques de Confiance" 1 Vérification de spécification de logiciel critique Jean-Louis Boulanger RATPEST/ITF/AQL.
DEMARCHE ERGONOMIQUE.
La technologie en 3ème avec Rob’OK Au collège République Bobigny
Le management de l'IVVQ Processus techniques IVVQ
Supports de formation au SQ Unifié
Hatainville Les Moitiers d’Allonne – Tel : Website : stratic.online.com La démarche projet Mars 2001.
Institut Supérieur des Sciences Appliquées et de Technologie Sousse
Quand utiliser le S 427 ? Lors de travaux d ’entretien ou de modification à l’infrastructure (voie, signalisation, caténaire, télécommunication, …) susceptibles.
ATC A380 AIR TRAFFIC CONTROL 23/06/2003 ATC A380 - Air traffic Control.
Vérification dans le cycle de vie GEF492A 2014 Référence: [HvV §14.2, 14.9] Capt Vincent Roberge Collège Militaire Royal du Canada Génie électrique et.
Les épreuves du BTS Systèmes photoniques
Introduction au Génie Logiciel
BTS Travaux Publics Etude du référentiel
LE DOSSIER DU PROJET Le dossier du Projet.
Extrait du Referentiel BTS Systèmes numériques Options : Informatique et réseaux et Électronique et communication S1 à S9 Définition des savoirs et savoir-faire.
MODULE DE FORMATION À LA QUALITÉ
Année 2006 – 2007 ENSEA © Emeric Rollin
INF3500 : Conception et implémentation de systèmes numériques Pierre Langlois Flot de conception de.
L’enseignement de spécialité SLAM
Dos triptyque Plaquette Cycle en V Définitions
ISO 9001:2000 IDENTIFICATION et DOCUMENTATION DES PROCESSUS
REGLES LIGNES DIRECTRICES PLAN D’ETUDE (Protocole)
ELABORATION D’UN GUIDE OPERATOIRE RELATIF A LA TRACABILITE (REALISATION) DES PRODUITS DU CEAM Bonjour. Ma présentation portera sur l’élaboration d’un.
Notre objectif : Faire preuve de professionnalisme au quotidien.
Document de spécification d’exigences Normes IEEE et 29148:2011
ISO 9001:2000 Interprétation Article 7 Réalisation du produit
BTS ELECTRONIQUE BTS ELECTRONIQUE BTS ELECTRONIQUE BTS ELECTRONIQUE
1 CCT Qualiroutes – Formations Automne CCT Qualiroutes – Formations Automne Cahier des Charges.
Benoit ROCQ Responsable Métrologie et Qualité
Analyse - Architecture des sites Web Chaptire 7 - Plan de maintenance du site Internet.
Transcription de la présentation:

L ’application devra être VALIDEE ! Mais encore ? Etablir la preuve documentée de la conformité d ’une application avec ses spécifications Comment spécifier? Quelles sont les qualités d ’une bonne spécification ? Comment ne rien oublier ? Tout en restant simple et lisible de tous ! Et quand bien même on saurait répondre à ces questions, que restera-t-il à faire pour VALIDER ? 20/01/2000 Forum Batch Francophone | Jean-Pierre BOVEE - API ENGINEERING 1

Les qualités d ’un bon cahier des charges selon l ’IEEE Std 830-1993 Correct Non ambigü Complet Conséquent / Cohérent Priorisé Vérifiable Modifiable Traçable -Correct : Il reflète exactement le besoin de l’utilisateur. -Non ambigu :non sujet à différentes interprétations. - Complet : aucune incertitude ne subsiste (notamment vis à vis des situations de déviation, habituellement génératrice d’environ 80% du volume de code et d’autant de celui de validation) - Conséquent  : Il ne doit comporter ni contradiction interne ni avec d’autres documents de spécification de l’application non identifiés a priori comme afférents au contrôle automatique. - Priorisé : par exemple sur un échelle allant d’indispensable à souhaitable. - Vérifiable : il doit être possible de démontrer que le résultat obtenu est conforme aux spécifications. - Modifiable : ceci suppose une structuration du document rendant sa modification simple, en particulier bien localisée dans le corps du document. - Traçable : toute modification du document donnant lieu à une nouvelle version doit également permettre un suivi aisé des documents générés en aval. La nature de l'approche adoptée pour concevoir, analyser, développer et, parallèlement, valider une application de type batch n'est pas indifférente. 20/01/2000 Forum Batch Francophone | Jean-Pierre BOVEE - API ENGINEERING 2

Le traitement des déviations Les modes opératoires Les recettes Les exigences: Sécurité Hygiène Environnement Qualité Le traitement des déviations Les modes opératoires Les recettes L ’ergonomie L ’installation Les exigences Qualité doivent apparaître clairement tout au long du processus de fabrication: c ’est une difficulté pour les responsables de la mise au point du procédé de traduire des exigences finales en terme d ’exigences intermédiaires. Le cahier des charges 20/01/2000 Forum Batch Francophone | Jean-Pierre BOVEE - API ENGINEERING 3

2 Achever la réception avant l ’exécution des tests de validation. Le processus de validation et le projet se déroulent de manière concourante avec des étapes verrous: 1 Evaluer les risques. 1 2 Achever la réception avant l ’exécution des tests de validation. 1 Il est encore temps de revoir sa copie au moment où l ’on mène l ’analyse de risques. 2 Si on oublie de réceptionner l ’installation on s ’expose au risque suivant: on exécute les tests on prononce la qualification l ’utilisateur refuse une partie de l ’installation lors de la mise en service on doit exécuter à nouveau les tests portant sur la partie modifiée.. 3 Pas de mise en service sans qualification dûment prononcée sous peine de difficultés sérieuses lors d ’un audit. 2 3 Mettre en service une fois la qualification prononcée. 3 20/01/2000 Forum Batch Francophone | Jean-Pierre BOVEE - API ENGINEERING 4

Un référentiel de représentation unique pour: Prescripteurs, Analystes automatisation 20/01/2000 Forum Batch Francophone | Jean-Pierre BOVEE - API ENGINEERING 5

Un référenciel de spécification unique pour définir: Le comportement des fonctions et des objets quelles allouent Le traitement des déviations La prise en compte des risques (Q, H, S, E) Démarche ascendante: Les risques sont le plus souvent hiérarchisés depuis le capteur de détection du dépassement du seuil vers les niveaux supérieurs. Toute occurrence du risque prise en compte par un équipement contenant le capteur entraînera à son tour la détection par la fonction. Démarche descendante: La prise en compte des risque de nature qualité (ne pas chauffer pendant plus de 20 minutes à 90°C) se traduit par une prescription descendante dans une fonction et parfois de là dans un ou plusieurs équipements. 20/01/2000 Forum Batch Francophone | Jean-Pierre BOVEE - API ENGINEERING 6

Ce que demande le prescripteur. De quels éléments de contrôle et de mesure est composé l ’équipement. Concrètement voici comment nous spécifions nos applications. Description des éléments de contrôle et de mesure de l ’équipement Description du comportement en situation de déviations Puis en situation nominale A noter: un équipement fournit plusieurs services à ses fonctions allocataires, Ces services ou comportements doivent être clairement identifiés dès cette étape de la spécification. Dans quel état on trouve et on remet un équipement selon recettes ou fonctions allocataires 20/01/2000 Forum Batch Francophone | Jean-Pierre BOVEE - API ENGINEERING 7

La notion de risques intégrée dès les spécifications fonctionnelles Référencer la prise en compte des risques dès l ’étape de spécification Ainsi que la présence d ’un test à exécuter pour qualifier l ’application R1: risque de débordement   20/01/2000 Forum Batch Francophone | Jean-Pierre BOVEE - API ENGINEERING 8

R1: risque de débordement   R2: risque produit   R3: risque équipement   Et poursuivre dans la description du comportement nominal. 20/01/2000 Forum Batch Francophone | Jean-Pierre BOVEE - API ENGINEERING 9

Génération des documents de tests de validation 20/01/2000 Forum Batch Francophone | Jean-Pierre BOVEE - API ENGINEERING 10

ASTRID = WHAT YOU SPECIFY IS WHAT YOU GET ASTRID  WYSIWYG (???) ASTRID = WHAT YOU SPECIFY IS WHAT YOU GET 20/01/2000 Forum Batch Francophone | Jean-Pierre BOVEE - API ENGINEERING 11