Developpement Dapplications Logicielles Sures De Fonctionnement

Download Developpement Dapplications Logicielles Sures De Fonctionnement full books in PDF, epub, and Kindle. Read online Developpement Dapplications Logicielles Sures De Fonctionnement ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!

Développement d'applications logicielles sûres de fonctionnement

Author : Quentin Enard
Publisher :
ISBN 13 :
Total Pages : 0 pages
Book Rating : 4.:/5 (867 download)

DOWNLOAD NOW!

Book Synopsis Développement d'applications logicielles sûres de fonctionnement by : Quentin Enard

Download or read book Développement d'applications logicielles sûres de fonctionnement written by Quentin Enard and published by . This book was released on 2013 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: Dans de nombreux domaines tels que l'avionique, la médecine ou la domotique, les applications logicielles jouent un rôle de plus en plus important, allant jusqu'à être critique pour leur environnement. Afin de pouvoir faire confiance à ces applications, leur développement est contraint par des exigences de sûreté de fonctionnement. En effet il est nécessaire de démontrer que ces exigences de haut-niveau sont prises en compte tout au long du cycle de développement et que des solutions concrètessont mises en œuvre pour parvenir à les respecter. De telles contraintes rendent le développement d'applications sûres de fonctionnement particulièrement complexe et difficile. Faciliter ce processus appelle à la recherche de nouvelles approches dedéveloppement qui intègrent des concepts de sûreté de fonctionnement et guident les développeurs lors de chacune des étapesnécessaires à la production d'une nouvelle application digne de confiance.Cette thèse propose ainsi de s'appuyer sur une approche dirigée par la conception pour guider le développement des applications sûres de fonctionnement. Cette approche est concrétisée à travers une suite d'outils nommée DiaSuite et offre du support dédié à chaque étape du développement. En particulier, un langage de conception permet de décrire à la fois les aspects fonctionnels et non-fonctionnels des applications en se basant sur un paradigme dédié et en intégrant des concepts de sûreté de fonctionnement tels que le traitement des erreurs. A partir de la description d'une application, du support est généré pour guider les phases d'implémentation et de vérification. En effet, la génération d'un framework de programmation dédié permet de guider l'implémentation tandis que la génération d'un modèle formel permet de guider la vérification statique de l'application et qu'un support de simulation permet de faciliter les tests. Cette approche est évaluée grâce à des cas d'études réalisés dans les domaines de l'avionique et de l'informatique ubiquitaire.

Développements logiciels en géomatique : innovations et mutualisation

Author : BUCHER Bénédicte
Publisher : Lavoisier
ISBN 13 : 274627437X
Total Pages : 306 pages
Book Rating : 4.7/5 (462 download)

DOWNLOAD NOW!

Book Synopsis Développements logiciels en géomatique : innovations et mutualisation by : BUCHER Bénédicte

Download or read book Développements logiciels en géomatique : innovations et mutualisation written by BUCHER Bénédicte and published by Lavoisier. This book was released on 2012-06-07 with total page 306 pages. Available in PDF, EPUB and Kindle. Book excerpt: Un défi majeur pour l'homme est de se munir de représentations de l'espace dans lequel il vit qui dépassent la représentation que lui-même peut s'en construire afin d'agir en étant mieux informé. Ces représentations doivent être partageables afin que les décisions bénéficient d'une variété de points de vue. Alors que les cartes deviennent numériques et que leur analyse peut être partagée entre l'homme et l'ordinateur, demeurent des défis concernant la représentation des données numériques sur l'espace, l'acquisition et le traitement de ces données. Cet ouvrage présente des développements logiciels majeurs produits récemment en géomatique, discipline à la croisée de la géographie et de l'informatique et qui se concentre sur l'acquisition et le traitement des données sur l'espace. Il analyse les spécificités de ces logiciels en termes de motivations, de modélisation de l'information et de méthodes d'analyse. Les verrous associés à leur mutualisation sont également analysés et conduisent à des propositions pour une meilleure mutualisation des efforts de recherche et de développement en géomatique.

Mise en oeuvre de la méthode B ; Traité RTA, série Informatique et Systèmes d'Information

Author : BOULANGER Jean-Louis
Publisher : Lavoisier
ISBN 13 : 2746288109
Total Pages : 434 pages
Book Rating : 4.7/5 (462 download)

DOWNLOAD NOW!

Book Synopsis Mise en oeuvre de la méthode B ; Traité RTA, série Informatique et Systèmes d'Information by : BOULANGER Jean-Louis

Download or read book Mise en oeuvre de la méthode B ; Traité RTA, série Informatique et Systèmes d'Information written by BOULANGER Jean-Louis and published by Lavoisier. This book was released on 2013-04-01 with total page 434 pages. Available in PDF, EPUB and Kindle. Book excerpt: La mise en place d’un logiciel sans défaut reste primordiale pour plusieurs domaines qui requièrent des applications dites de sécurité comme les transports. La réalisation d’un modèle formel est l’approche la plus efficace pour atteindre l'objectif du zéro défaut, que ce soit en termes de temps ou de maîtrise de la complexité. Ce modèle permet d’analyser et de vérifier le comportement d’un logiciel. Cet ouvrage présente la méthode B, une méthode formelle s’appuyant sur la preuve de propriétés qui, sur la base d’une spécification et de la notion de raffinement, permet d’aller jusqu’à la production automatique de code. Différents outils découlant de cette méthode ainsi que des exemples concrets d’utilisations industrielles de différentes tailles sont aussi exposés dans des domaines tels que l’avionique ou les systèmes manufacturiers.

Les points de fonction en ingénierie logicielle- principe, méthode, usage

Author : MESDON Bernard
Publisher : Lavoisier
ISBN 13 : 2746288303
Total Pages : 258 pages
Book Rating : 4.7/5 (462 download)

DOWNLOAD NOW!

Book Synopsis Les points de fonction en ingénierie logicielle- principe, méthode, usage by : MESDON Bernard

Download or read book Les points de fonction en ingénierie logicielle- principe, méthode, usage written by MESDON Bernard and published by Lavoisier. This book was released on 2012-07-01 with total page 258 pages. Available in PDF, EPUB and Kindle. Book excerpt: La méthode des points de fonction est l'outil incontournable pour la mesure fonctionnelle des SI et l'estimation des coûts de développement. Elle permet de mesurer les services rendus aux utilisateurs du SI, indépendamment des aspects architecturaux et méthodologiques du développement logiciel. Cette méthode s'applique aux fonctions de l'entreprise comme la direction des systèmes d'information (fonctions projet, processus et gouvernance), les directions métiers (fonction maîtrise d'ouvrage) ou les SSII (fonctions projet, qualité et méthodes). Des exemples et études de cas illustrant l'utilisation de la méthode permettent de définir les usages (estimation des coûts, mais aussi suivi des ratios de productivité, etc.), d'attribuer des méthodes spécifiques pour les différents types de SI (IFPUG et/ou COSMIC), de révéler les limites et extensions (cotation des algorithmes) et de déterminer les chiffres de bases (ratios de productivité, taille des SI, coefficients correcteurs, etc.). L'auteur Spécialiste en développement et direction de projet de SI, Bernard Mesdon utilise les points de fonction depuis 1996 comme outil d'analyse fonctionnelle et d'estimation des coûts de développement.

Outils de construction du logiciel

Author : Yves Constantinidis
Publisher : Hermes Science Publications
ISBN 13 : 9782866017149
Total Pages : 204 pages
Book Rating : 4.0/5 (171 download)

DOWNLOAD NOW!

Book Synopsis Outils de construction du logiciel by : Yves Constantinidis

Download or read book Outils de construction du logiciel written by Yves Constantinidis and published by Hermes Science Publications. This book was released on 1998 with total page 204 pages. Available in PDF, EPUB and Kindle. Book excerpt: Qu'est-ce qu'un outil de construction de logiciel ? En fonction de quels critères choisir un outil ? Les outils ont-ils vraiment des effets positifs sur la productivité ? Comment en tirer le meilleur parti ? Comment introduire sans heurts un AGL dans une organisation ? Quel est l'avenir du développement de logiciel et des outils qui le servent ? Un outil de construction de logiciel est une arme stratégique au service de l'entreprise. Son introduction et sa mise en oeuvre ont des répercussions sur la compétitivité, la qualité des services rendus et, plus généralement, sur l'économie d'une entreprise ou d'une organisation. Il est au coeur du système d'information. Cet ouvrage a trois objectifs - éclaircir les concepts relatif aux outils et ateliers de conception et de développement, - mener une réflexion sur ce que devrait être l'outillage idéal d'une entreprise, - servir de guide au choix, à la mise en oeuvre et au suivi des outils de développement d'applications. Destiné avant tout aux managers, aux directeurs informatiques, aux consultants et aux étudiants, l'ouvrage indique dans un langage simple comment naviguer dans la galaxie des outils, évaluer leurs avantages et inconvénients, comprendre leur architecture, éviter les erreurs les plus fréquentes dans leur choix et leur utilisation, et utiliser chaque Outil au mieux de ses possibilités.

Les systèmes d'information élargis (Coll. management et informatique)

Author : CARLIER Alphonse
Publisher : Lavoisier
ISBN 13 : 2746288249
Total Pages : 290 pages
Book Rating : 4.7/5 (462 download)

DOWNLOAD NOW!

Book Synopsis Les systèmes d'information élargis (Coll. management et informatique) by : CARLIER Alphonse

Download or read book Les systèmes d'information élargis (Coll. management et informatique) written by CARLIER Alphonse and published by Lavoisier. This book was released on 2012-06-01 with total page 290 pages. Available in PDF, EPUB and Kindle. Book excerpt: L'entreprise se construit sur sa capacité d'innovation et avec des systèmes opérationnels capables de délivrer la valeur ajoutée attendue. Les modèles de systèmes d'information doivent s'adapter rapidement aux technologies émergentes et aux besoins des clients et des utilisateurs. Cet ouvrage dresse un panorama des approches classiques et des méthodes empiriques pour les SI et propose une vision élargie qui correspond aux besoins des métiers. Il présente les différents aspects permettant de faire face aux évolutions et aux ruptures technologiques à l'aide d'une organisation optimale qui va de la gouvernance à la gestion informatique. Il expose les procédés pour introduire les nouvelles technologies de veille et d'intelligence économique tout en décrivant les macroétapes (analyse, conception, production et mise en exploitation) et l'incorporation des pratiques métiers en matière de cycle de vie. L'auteur Alphonse Carlier est ingénieur industriel et consultant en gestion et développement de projets innovants. Il intervient comme formateur sur les technologies objets, MERISE, UML2, ITILV3, ISO 20000, ISO 9001, l'administration des bases de données Oracle, PostgreSQL, MySQL, les outils collaboratifs, les CMS et les méthodes de gestion.

Architecture logicielle - 3e édition

Author : Jacques Printz
Publisher : Dunod
ISBN 13 : 2100583425
Total Pages : 506 pages
Book Rating : 4.1/5 (5 download)

DOWNLOAD NOW!

Book Synopsis Architecture logicielle - 3e édition by : Jacques Printz

Download or read book Architecture logicielle - 3e édition written by Jacques Printz and published by Dunod. This book was released on 2012-06-13 with total page 506 pages. Available in PDF, EPUB and Kindle. Book excerpt: L'architecture logicielle est un domaine assez récent du génie logiciel, dont le but est de trouver les meilleures solutions pour garantir la stabilité et la performance des logiciels. L'accent est particulièrement mis sur des phases de tests dès les premières étapes. Fort de son expérience pédagogique au CNAM et sur le terrain, l'auteur propose un ouvrage très axé sur la pratique et les conditions de conception d'un logiciel en entreprise. Il détaille sa méthode qui fait commencer les batteries de tests d'un logiciel très en amont. Cette troisième édition s'enrichit notamment de mises à jour rendues nécessaires par l'arrivée du cloud computing.

Contribution à la conception logicielle de systèmes d'applications

Author : Frédéric Brissaud
Publisher :
ISBN 13 :
Total Pages : 292 pages
Book Rating : 4.:/5 (489 download)

DOWNLOAD NOW!

Book Synopsis Contribution à la conception logicielle de systèmes d'applications by : Frédéric Brissaud

Download or read book Contribution à la conception logicielle de systèmes d'applications written by Frédéric Brissaud and published by . This book was released on 1993 with total page 292 pages. Available in PDF, EPUB and Kindle. Book excerpt: Les SGBD orientes objets integrent les concepts des langages a objets et les mécanismes des SGBD. Ces propriétés les rendent bien adaptes au développement de systèmes d'applications regroupant plusieurs applications interactives opérant sur des données persistantes partagées (si, agl...). L'état de l'art développe porte sur la programmation, les bases de données et les interfaces homme-machine et montre qu'il existe différentes techniques spécifiques adaptées au développement de certaines parties de ces applications. Cependant, aucune methode de conception actuelle ne prend en compte la conception complète et détaillée d'un système d'applications et le concepteur est insuffisamment guide pour programmer une application a l'aide d'un sgbdoo. Notre methode mosaic permet de développer un système d'applications programme a l'aide d'un SGBDOO. Notre approche consiste a privilégier une décomposition dirigée par les objets au détriment de l'habituelle séparation entre la base de données et les programmes d'application. Ainsi une application comporte deux composants principaux. Le corps de l'application est constitue d'objets applicatifs, modèles du domaine d'application, et le gestionnaire de dialogue de l'application est compose d'objets interactifs, modèles du dialogue. Les objets applicatifs, persistants ou temporaires, sont a la fois des modules logiciels et des conteneurs de données potentiellement persistantes ou temporaires. Les objets interactifs regroupent les informations et les actions présentées a l'utilisateur et assurent leur cohérence. Un système d'applications est compose d'une base d'objets applicatifs persistants et d'applications. Le modelé mosaic permet d'étudier les dimensions structurelles, fonctionnelles et dynamiques des objets et du système d'applications dans sa globalité. Des langages textuels et graphiques, un outil, une démarche et des regles de traduction de MOSAÏC vers le langage PEPLOM et vers le SGBDOO o2 complètent ce modèle. Nos propositions sont illustrées par un exemple d'application programme a l'aide d'o2

Outils de mise en œuvre industrielle des techniques formelles

Author : BOULANGER Jean-Louis
Publisher : Lavoisier
ISBN 13 : 274628801X
Total Pages : 402 pages
Book Rating : 4.7/5 (462 download)

DOWNLOAD NOW!

Book Synopsis Outils de mise en œuvre industrielle des techniques formelles by : BOULANGER Jean-Louis

Download or read book Outils de mise en œuvre industrielle des techniques formelles written by BOULANGER Jean-Louis and published by Lavoisier. This book was released on 2012-04-16 with total page 402 pages. Available in PDF, EPUB and Kindle. Book excerpt: Les techniques formelles réalisent des modèles de spécifications et/ou de conception et servent principalement à l'analyse statique de code, à la démonstration du respect de propriété et à la bonne gestion des calculs sur les flottants. Différents domaines tels les systèmes de transport, la production d'énergie ou la santé prennent en compte l'implémentation de ces méthodes pour satisfaire les exigences de sécurité élevées des systèmes critiques. Leur mise en œuvre dans le cadre d'une application industrielle (application de grande taille, contrainte de coût et de délais, etc.) ne peut se faire que par l'emploi d'outils suffisamment matures et performants. Cet ouvrage collectif présente des exemples concrets d'utilisation des techniques formelles comme la méthode B, SCADE, MaTeLo, ControlBuild, SparkAda et POLYSPACE et des techniques de vérification associées. Il en identifie aussi les avantages et les difficultés.

Téléphonie SIP : concepts, usages et programmation en Java

Author : MEDDAHI Ahmed
Publisher : Lavoisier
ISBN 13 : 2746289016
Total Pages : 465 pages
Book Rating : 4.7/5 (462 download)

DOWNLOAD NOW!

Book Synopsis Téléphonie SIP : concepts, usages et programmation en Java by : MEDDAHI Ahmed

Download or read book Téléphonie SIP : concepts, usages et programmation en Java written by MEDDAHI Ahmed and published by Lavoisier. This book was released on 2012-09-14 with total page 465 pages. Available in PDF, EPUB and Kindle. Book excerpt: Le protocole SIP (Session Initiation Protocol) est la technologie-clé pour le transport et la fourniture de services télécoms, en particulier pour les services en plein essor de téléphonie sur IP. Cet ouvrage présente les concepts du protocole et de l'architecture SIP mais aussi ses limites et les contraintes associées à leurs déploiements. Les méthodes et les mécanismes SIP sont détaillés à travers différents scénarios d'usage. Les aspects liés à la qualité de service et à la sécurité sont également présentés en détail ainsi que l'exploitation du protocole SIP pour des services évolués. Les principales technologies logicielles pour exploiter, avec un niveau d'abstraction élevé, les mécanismes SIP en Java sont également analysées et illustrées par deux études de cas. Téléphonie SIP s'adresse aux ingénieurs, élèves ingénieurs et tous les professionnels évoluant dans les milieux des réseaux et des télécommunications.

Author :
Publisher : Odile Jacob
ISBN 13 : 2738173578
Total Pages : 243 pages
Book Rating : 4.7/5 (381 download)

DOWNLOAD NOW!

Book Synopsis by :

Download or read book written by and published by Odile Jacob. This book was released on with total page 243 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Analyse des besoins pour le développement logiciel

Author : Jacques Lonchamp
Publisher : Dunod
ISBN 13 : 2100729942
Total Pages : 319 pages
Book Rating : 4.1/5 (7 download)

DOWNLOAD NOW!

Book Synopsis Analyse des besoins pour le développement logiciel by : Jacques Lonchamp

Download or read book Analyse des besoins pour le développement logiciel written by Jacques Lonchamp and published by Dunod. This book was released on 2015-07-01 with total page 319 pages. Available in PDF, EPUB and Kindle. Book excerpt: Le développement logiciel consiste à transformer une idée ou un besoin en un logiciel fonctionnel. Il commence donc logiquement par un recueil des besoins ou des exigences, se poursuit par des phases de modélisation puis de conception avant de passer à la programmation et aux tests. Cet ouvrage est centré sur les phases "amont" que sont la capture, l'analyse, la spécification et le classement par priorités des besoins auxquels devra répondre le logiciel. Il propose 70 exercices d'applications, tous avec leur corrigé, et deux études de cas très détaillées en dernière partie.

Modèles, outils et plate-forme d'exécution pour les applications à service dynamiques

Author : Diana Moreno-Garcia
Publisher :
ISBN 13 :
Total Pages : 0 pages
Book Rating : 4.:/5 (871 download)

DOWNLOAD NOW!

Book Synopsis Modèles, outils et plate-forme d'exécution pour les applications à service dynamiques by : Diana Moreno-Garcia

Download or read book Modèles, outils et plate-forme d'exécution pour les applications à service dynamiques written by Diana Moreno-Garcia and published by . This book was released on 2013 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: L'essor de l'Internet et l'évolution des dispositifs communicants ont permis l'intégration du monde informatique et du monde réel, ouvrant ainsi la voie à de nouveaux types d'applications, tels que les applications ubiquitaires et pervasives. Ces applications doivent s'exécuter dans des contextes hétérogènes, distribués et ouverts qui sont en constante évolution. Dans de tels contextes, la disponibilité des services et des dispositifs, les préférences et la localisation des utilisateurs peuvent varier à tout moment pendant l'exécution des applications. La variabilité des contextes d'exécution fait que l'exécution d'une application dépend, par exemple, des services disponibles ou des dispositifs accessibles à l'exécution. En conséquence, l'architecture d'une telle application ne peut pas être connue statiquement à la conception, au développement ou au déploiement, ce qui impose de redéfinir ce qu'est une application dynamique : comment la concevoir, la développer, l'exécuter et la gérer à l'exécution. Dans cette thèse, nous proposons une approche dirigée par les modèles pour la conception, le développement et l'exécution d'applications dynamiques. Pour cela, nous avons défini un modèle de composants à services permettant d'introduire des propriétés de dynamisme au sein d'un modèle de composants. Ce modèle permet de définir une application en intention, via un ensemble de propriétés, de contraintes et de préférences de composition. Une application est ainsi spécifiée de façon abstraite ce qui permet de contrôler la composition graduelle de l'application lors de son développement et de son exécution. Notre approche vise à effacer la frontière entre les activités effectuées avant et pendant l'exécution des applications. Pour ce faire, le même modèle et les mêmes mécanismes de composition sont utilisés de la conception jusqu'à l'exécution des applications. A l'exécution, le processus de composition considère, en plus, les services disponibles dans la plate-forme d'exécution permettant la composition opportuniste des applications ; ainsi que la variabilité du contexte d'exécution permettant l'adaptation dynamique des compositions. Nous avons mis en œuvre notre approche via un prototype nommé COMPASS, qui s'appuie sur les plates-formes CADSE pour la réalisation d'environnements logiciels de conception et de développement, et APAM pour la réalisation d'un environnement d'exécution d'applications à services dynamiques.

Ecosystèmes d’affaires et PME

Author : JAOUEN Annabelle
Publisher : Lavoisier
ISBN 13 : 2746282933
Total Pages : 274 pages
Book Rating : 4.7/5 (462 download)

DOWNLOAD NOW!

Book Synopsis Ecosystèmes d’affaires et PME by : JAOUEN Annabelle

Download or read book Ecosystèmes d’affaires et PME written by JAOUEN Annabelle and published by Lavoisier. This book was released on 2012-06-07 with total page 274 pages. Available in PDF, EPUB and Kindle. Book excerpt: Les écosystèmes d'affaires représentent des enjeux à la fois économiques et territoriaux. Plusieurs dimensions les caractérisent : une grande hétérogénéité des acteurs, un destin commun, un standard ou un savoir-faire utilisé par plusieurs entreprises, un ou plusieurs leaders dont le rôle est crucial pour l'écosystème, une vision partagée par les autres membres de l'écosystème d'affaires et des processus de coopétition. À partir d'études de cas, mais aussi de points de vue théoriques structurants, cet ouvrage propose un état des lieux des connaissances actuelles des écosystèmes d'affaires. Il examine plus particulièrement le rôle des PME dans ces coalitions. Comment les différencier des autres formes de réseaux ? Quel cadrage théorique utiliser pour bien appréhender les écosystèmes ? Quelles stratégies mettre en oeuvre ? Comment coordonner l'écosystème ?

Les cartes à puce

Author : BOUZEFRANE Samia
Publisher : Lavoisier
ISBN 13 : 274628913X
Total Pages : 328 pages
Book Rating : 4.7/5 (462 download)

DOWNLOAD NOW!

Book Synopsis Les cartes à puce by : BOUZEFRANE Samia

Download or read book Les cartes à puce written by BOUZEFRANE Samia and published by Lavoisier. This book was released on 2013-09-01 with total page 328 pages. Available in PDF, EPUB and Kindle. Book excerpt: Devenue un objet usuel du quotidien, la carte à puce fait intervenir de très nombreuses technologies informatiques. Cet ouvrage présente les concepts fondamentaux de la carte à puce et ses domaines d’applications. Il nous révèle les caractéristiques des systèmes d’exploitation embarqués, la manière de programmer les cartes dans le langage Java Card, les techniques mises en œuvre pour garantir leur sécurité face aux attaques physiques et logiques, ainsi que les méthodes formelles pour faire de la carte un objet de confiance. Le fonctionnement interne de la carte SIM dans les téléphones mobiles est décrit en détail. Le passeport biométrique et le paiement mobile sont traités à travers la technologie RFID/NFC qui ouvre la voie à de nouvelles applications du sans contact.

Nouvelle démarche d'organisation et d'informatisation : comprendre pour transformer (Coll. management et informatique)

Author : CHELLI Henri
Publisher : Lavoisier
ISBN 13 : 2746288079
Total Pages : 290 pages
Book Rating : 4.7/5 (462 download)

DOWNLOAD NOW!

Book Synopsis Nouvelle démarche d'organisation et d'informatisation : comprendre pour transformer (Coll. management et informatique) by : CHELLI Henri

Download or read book Nouvelle démarche d'organisation et d'informatisation : comprendre pour transformer (Coll. management et informatique) written by CHELLI Henri and published by Lavoisier. This book was released on 2012-06-01 with total page 290 pages. Available in PDF, EPUB and Kindle. Book excerpt: Pour atteindre l'excellence opérationnelle, toute entreprise cherche à améliorer les différentes tâches qui composent son activité. Que ce soit pour servir au mieux un client, un partenaire ou un membre du personnel, la finalité peut aussi bien être d'augmenter la productivité d'un poste de montage, de mutualiser les activités de recherche-développement, de fidéliser ses clients, de personnaliser ses offres. Cet ouvrage propose une démarche d'organisation et d'informatisation qui s'adapte à l'environnement spécifique de chaque entreprise. Il permet aux managers des grandes fonctions et des processus d'identifier les voies d'amélioration de leur efficacité opérationnelle. Il aide les responsables informatiques à repositionner leur rôle au sein de l'entreprise en établissant un réel dialogue centré sur la finalité des métiers. Enfin, il propose aux enseignants et étudiants des filières de management et de gestion, une nouvelle vision de l'entreprise et des voies d'amélioration de son fonctionnement et de son pilotage.

Approche pour le développement de logiciels intégrant des concepts de qualité de service

Author : Stéphanie Geoffroy
Publisher :
ISBN 13 :
Total Pages : 0 pages
Book Rating : 4.:/5 (919 download)

DOWNLOAD NOW!

Book Synopsis Approche pour le développement de logiciels intégrant des concepts de qualité de service by : Stéphanie Geoffroy

Download or read book Approche pour le développement de logiciels intégrant des concepts de qualité de service written by Stéphanie Geoffroy and published by . This book was released on 2014 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: Dans les domaines critiques tels que l'avionique, le ferroviaire ou encore l'automobile, il faut, afin de pouvoir certifier un système, démontrer qu'il réalise la fonction pour laquelle il a été conçu, selon des exigences temporelles spécifiées. En effet, un rendu temporel trop long peut rendre des données erronées, et ainsi mettre en danger la sûreté des personnes. Aujourd'hui, la plupart des approches proposent d'assurer ces exigences de Qualité de service au niveau des couches basses, e.g., au travers d'une bande passante déterministe, d'allocation statique d'intervalles de temps, et d'un ordonnancement prédéfini. Ces contraintes assurent que les applications ne peuvent dépasser le temps d'exécution alloué ; les applications récupèrent de ce fait des exigences qui sont découplées de leur fonctionnalité. En revanche, il faut aussi pouvoir certifier des exigences temporelles spécifiques à une application. De là, les garanties au niveau des couches basses ne sont plus suffisantes. Il faudrait pouvoir prendre en compte ces exigences dès la phase de conception des applications. Aujourd'hui, la plupart des approches existant dans ce domaine se concentrent sur le support de QoS à des phases isolées du processus de développement logiciel, empêchant la traçabilité des exigences. Cette thèse propose une approche dirigée par la conception pour supporter les exigences de QoS tout au long du processus de développement logiciel, intégrée dans une méthodologie outillée, appelée DiaSuite. L'extension de QoS enrichit le langage de conception DiaSpec avec la capacité d'instancier les exigences de QoS sur les composants logiciels. Un support de surveillance à l'exécution de ces exigences temporelles est ensuite généré, directement à partir de la spécification. Cette thèse intègre uniformément les concepts temporels avec les concepts de gestion d'erreurs, au travers de la méthodologie DiaSuite, afin de proposer une couche de supervision qui puisse effectuer une reconfiguration applicative, dans le cas de violation de contrat de QoS. Les contributions de cette thèse sont évaluées au regard du respect des critères de cohérence et de conformité, illustrés au travers d'une étude de cas dans le domaine avionique.