Academic literature on the topic 'Conception orientée objets (informatique) – Fiabilité'

Les notions de langages a objets reflexifs et de protocoles a metaobjets permettent d'integrer elegamment dans des applications des proprietes independantes de leurs fonctionnalites. Ces notions offrent de nouvelles perspectives pour la realisation de systemes repartis tolerant les fautes. Les metaobjets peuvent en effet controler l'execution des objets d'une application, par exemple selon une strategie de replication, de maniere transparente pour l'application. La these propose une architecture a metaobjets, friends, dans laquelle les metaobjets ont ete utilises en conjonction avec un minimum de services systemes specialises pour realiser des mecanismes de tolerance aux fautes, de communication de groupe et de securite des communications. La composition de mecanismes repose sur une approche originale ou les metaobjets sont utilises de maniere recursive, ce qui permet en outre de simplifier la conception des mecanismes, chacun pouvant etre concu separement des autres proprietes. Une methode de conception par objets a ete utilisee pour concevoir les metaobjets et a permis de developper une hierarchie de classes pour la tolerance aux fautes, incluant des mecanismes de replication et a base de support stable. Grace a l'approche presentee, les metaobjets peuvent etre facilement composes au cas par cas suivant les proprietes requises par l'application. Deux prototypes ont ete realises, tout d'abord pour valider l'approche, mais aussi pour en analyser les avantages, les limites et les performances.

Les technologies orientées objet permettent de réduire les coûts de développement d'applications logicielles. Aussi, les fournisseurs d'applications avioniques critiques souhaitent pouvoir les utiliser. Pour cela, ils doivent au préalable démontrer leur maîtrise de ces technologies auprès des autorités de certification. Un ensemble de risques intrinsèques à ces technologies a été identifié dans un document élaboré par retour d'expérience. Dans nos travaux, nous présentons un processus de management des risques permettant de maîtriser les risques de fautes de conception liées aux technologies orientées objet. Il s'agit tout d'abord d'identifier de manière précise les risques de faute que l'on souhaite maîtriser, et leurs sources. Nous proposons pour cela des modèles spécifiques d'identification de risques. Nous définissons ensuite un ensemble de métriques spécifiques permettant l'estimation de ces risques. Nous avons notamment développé des métriques permettant d'intégrer le facteur de risque de la compréhension qu'un concepteur a des éléments de code contenu dans un programme orienté objet. Nous mettons ensuite en oeuvre de manière globale l'estimation des risques au moyen de réseaux Bayésiens alimentés par analyse statique du code. L'analyse de ces réseaux permet ensuite la production de règles de codage souples, adaptées et justifiées, apportant les garanties nécessaires à la certification
Object-Oriented technologies could significantly reduce the development costs of software applications. Consequently, the suppliers of critical avionics applications are interested in using these technologies. For that purpose, they beforehand have to demonstrate their control of these technologies to the certification authorities. A set of intrinsic risks of these technologies was intuitively identified by feedback. In our works, we propose a risk management process allowing to control the design faults risks induced by the Object-Oriented technologies. We begin by identifying the risk and their sources. We propose in this way two specific models of risk identification. Then, we define a set of specific metrics in order to estimate these risks and their factors. We have particularly developed metrics allowing the integration of a key risk factor: the designer understanding of the elements of code contained in an object-oriented program. We estimate globally the fault risks by means of Bayesian Networks filled up with static analysis of the code. Finally, the networks analysis can provide flexible, adapted and justified guidelines, bringing necessary guarantees of the technologies control for the certification

Cette thèse décrit la conception et la mise en oeuvre d'un service de stockage fiable et extensible. Les travaux ont été faits dans le cadre de Sirac, un système réparti à objets persistants. L'objectif de Sirac est de fournir des services pour le support d'objets persistants répartis et pour la construction d'applications réparties. Les deux idées qui ont dirigé cette étude sont la souplesse des services offerts et la coopération entre les sous-systèmes. La souplesse, rendue possible par la conception modulaire du système, améliore les performances, étant donné que les applications doivent seulement payer le prix des services qu'elles utilisent. La coopération (par exemple entre le stockage et la pagination) permet aux différents modules de prendre des décisions en connaissance de cause. La thèse présente dans le second chapitre un état de l'art en trois parties. La première partie s'attache à étudier la manière dont un grand espace de stockage unique peut être présenté aux applications. La deuxième partie analyse la mise en oeuvre du stockage fiable en étudiant notamment différentes réalisations de l'atomicité. La troisième partie enfin montre comment ces deux aspects sont mariés dans les systèmes modernes. Dans le troisième chapitre, nous faisons un rapide tour d'horizon d'Arias et de ses différents sous-systèmes~: protection, cohérence, synchronisation et stockage. Au sein des différents services, nous distinguons d'un côté des modules génériques de bas niveau, et d'un autre côté des modules spécifiques aux applications. Les modules génériques mettent en oeuvre les mécanismes tandis que les modules spécifiques définissent la politique. Certains sous-systèmes sont toujours présents, comme la gestion de la cohérence et de la synchronisation, alors que d'autres, comme par exemple la gestion de la protection ou la gestion de la permanence, sont optionnels. Dans les quatrième et cinquième chapitres, nous nous concentrons sur le service de stockage. Le service générique de stockage est subdivisé en deux parties~: d'abord un gestionnaire de volume, qui assure la pérennité des données, et puis un service de journalisation, qui assure l'atomicité des transactions. Ce système a été mis en oeuvre au dessus d'AIX, et la coopération entre les différents modules s'appuie sur le mécanisme des streams. Les performances de notre système sont bonnes, et s'approchent des limites imposées par le matériel dans les cas favorables. Les projets futurs incluent la fourniture d'un vaste éventail de protocoles de journalisation spécifiques, le support de volumes dupliqués ainsi que l'optimisation du gestionnaire du volume.

L'avancée technologique que les systèmes embarqués ont connue lors de ces dernières années les rend de plus en plus complexes. Ils sont non seulement responsables de la commande des différents composants mais aussi de leur surveillance. A l'occurrence d'événement pouvant mettre en danger la vie des utilisateurs, une certaine configuration du système est exécutée afin de maintenir le système dans un état dégradé mais sûr. Il est possible que la configuration échoue conduisant le système dans un état appelé " état redouté " avec des conséquences dramatiques pour le système et l'utilisateur. La description des scénarios qui mènent le système vers l'état redouté à partir d'un état de fonctionnement 'normal' permet de comprendre les raisons de la dérive afin de prévoir les configurations nécessaires qui permettent de les éviter Dans notre approche d'analyse de sûreté de fonctionnement des systèmes dynamiques, les scénarios sont générés à partir d'un modèle réseau de Petri. En s'appuyant sur la logique linéaire comme nouvelle représentation (basée sur les causalités) du modèle réseau de Petri, une analyse qualitative permet de déterminer un ordre partiel de franchissement des transitions et ainsi extraire les scénarios redoutés. La démarche est focalisée sur les parties du modèle intéressantes pour l'analyse de fiabilité évitant ainsi l'exploration de toutes les parties du système et le problème de l'explosion combinatoire. L'objectif final consiste en la détermination de scénarios minimaux. En effet, un scénario peut bien mener vers l'état redouté sans qu'il soit minimal. Il contient des événements qui ne sont pas strictement nécessaires à l'obtention finale de l'état critique redouté. De même que la notion de coupe minimale a été définie dans le cadre des arbres de défaillance, nous proposons une définition de ce qu'est un scénario minimal dans le cas des réseaux de Petri. Pour prendre en compte La nature hybride des systèmes, nous avons développé un simulateur hybride basé sur le couplage de l'algorithme de génération de scénarios redoutés avec un solveur d'équations différentielles. L'algorithme se charge de la partie discrète modélisée par le réseau de Petri et le solveur d'équations de la partie continue modélisée par un ensemble d'équations différentielles. Afin d'avoir une approche système pour l'analyse de la sûreté de fonctionnement, nous proposons une approche qui permet de prendre en compte les exigences de sûreté dans le processus d'ingénierie des exigences qui permet d'établir un modèle de traçabilité afin de s'assurer de la prise en compte de ces exigences tout au long du cycle de vie du système. L'approche est basée sur une norme de l'ingénierie système, en l'occurrence l'EIA-632.

Cette étude montre les spécificités des besoins en informations des médecins, l'empirisme, l'imprécision, l'incomplétude et évolutivité des connaissances médicales. Nous montrons les apports des modèles existants et proposons une approche orientée objet pour l'élaboration d'applications en médecine et en sciences humaines. Le modèle définit un double niveau conceptuel : 1. Le niveau intérieur : endo-objet, instaure une hiérarchie de composition d'objet, dotée d'un héritage multiple ascendant. Des fonctions représentent l'évolution de l'objet, évaluent son état et lui donnent un comportement adéquat. Le niveau extérieur : exo-objet, implante une hiérarchie de spécialisation de types d'objets et un héritage simple descendant. Les types contrôlent les contraintes statiques et dynamiques des objets instanciés. Le modèle implante un raisonnement analogique et inductif exploitant la hiérarchie de types. Nous soulignons l'intérêt de l'approche objet en génie logiciel, l'encapsulation favorise la modularité, la portabilité, la sécurité et la confidentialité. Toute interface doit préserver la liberté d'initiative de l'utilisateur. Nous proposons une méthode de construction d'applications, intégrant des systèmes experts. Nous l'appliquons à la conception d'un outil orienté objet d'aide au diagnostic médical 03ADM
[This study shows the specificity of the physician's information needs especially the empiricism, vagueness, lack of precision and evolutive nature of medical knowledge. We present the improvements brought by existing models and we propose an object-oriented approach to : develop applications in medicine and human science fields. The model provides twin conceptual levels : 1 : The inner level: "in-object", establishes an abject-composition hierarchy, with an ascendant multiple inheritance. Functions represent the evolution of the object, they evaluate its state, and give its behaviour. 2 : The outer level: · "out-abject" provide specialisation hierarchy of abject types, with a top down simple inheritance. Types check static and dynamic constraints of instanced objects. The model gives an analogic and inductive reasoning using the type hierarchy. We emphasize the interest of the abject approach in software engineering : and the encapsulation facilitates modularity,portability, safety and confidentiality. Any interface should allow the user freedom This study shows the specificity of the physician's information needs especially the empiricism, vagueness, lack of precision and evolutive nature of medical knowledge. We present the improvements brought by existing models and we propose an object-oriented approach to : develop applications in medicine and human science fields. The model provides twin conceptual levels : 1. The inner level: "in-object", establishes an object-composition hierarchy, with an ascendant multiple inheritance. Functions represent the evolution of the object, they evaluate its state, and give its behaviour. 2:The outer level : "out-abject" provides a specialisation hierarchy of abject types, with a topdown simple inheritance. Types check static and dynamic constraints of instanced objects. The model gives an analogic and inductive reasoning using the type hierarchy. We emphasize the interest of the abject approach in software engineering: and the encapsulation facilitates modularity,portability, safety and confidentiality. Any interface should allow the user freedom. To use the system in different ways. We propose a method of building \ applications which integrates expert systems. We apply it in the design of an object- oriented tool called 03ADM to aid medical diagnosis. To use the system in different ways. We propose a method of building \ applications which integrates expert systems. We apply it in the design of an object-oriented tool called 03ADM to aid medical diagnosis. ]

Les travaux présentés dans cette thèse sont une contribution aux techniques de conception d'applications industrielles complexes. L'objectif, qui a motivé ces travaux, a été de mettre au point une proposition d'architecture logicielle pour la conception particulière des applications temps réel. Cette proposition fournit les moyens de réaliser les analyses fonctionnelle et systémique indispensables à la construction d'un système structuré, organisé, et spécifique des applications de gestion des procédés industriels. Après une présentation, au chapitre I, des concepts et entités existantes du domaine des systèmes logiciels industriels, nous avons évalué, au chapitre II, les différentes familles de langages à objets sur une application inspirée du domaine de l'automobile: le simulateur de conduite. Le chapitre III propose une analyse critique des outils traditionnels de conception orientée objet et s’intéresse aux possibilités d'expression et de définition des spécifications algébriques de types abstraits de données. C'est dans le dernier chapitre que nous proposons l’intégration des différents outils et concepts précédemment évalués ou étudiés, en proposant une démarche de type orientée objet, pour tout d'abord, donner une spécification exacte des entités de l'application traitée, puis pour organiser ces dernières en un système grâce à l'emploi d'un langage d'acteurs qui va renforcer leur aspect dynamique. En dernier lieu, notre démarche aborde les problèmes de génération, à partir de cette simulation par acteurs de l'application, du système de taches temps réel. Supervisées pour la gestion effective des procédés.

L'utilisation quotidien des SGBD relationnels dans l’entreprise devient une réalité. En effet, les médiocres performances qu'ils offraient à leur début étant à présent dépassées, ils permettent, par des techniques de plus en plus sophis-tiquées, de résoudre les multiples problèmes représentés par la gestion des données. Cependant nous devons souligner qu'une importante lacune demeure, à savoir qu'aucun d'entre eux, à notre connaissance, n'intègre de module d'aide à la conception. L'objet de cette étude est de proposer un système qui , outre les fonctions classiques d'un SGBD (définition et manipulation des données ), essaie de résoudre le problème précédent en fournissant un module, totalement intégré, d'aide à la définition du schéma de la base. Le modèle Entité-Relation offrant une sémantique plus riche que le relationnel classique sert de support et inclut de nombreux apports qui sont utilisés lors de cette phase d’aide à la conception. Le concepteur exprime les besoins des usagers grâce aux documents de l'entreprise, puis, le module construit la structure par l'intermédiaire d'un ensemble de dictionnaires de données qui sont exploités ensuite par les autres fonctions du système. L'implantation physique des données, également étudiée, éliminée les liens physiques entre ces données pour les remplacer par des liens logiques aboutissant à une technique de stockage dite "vectorielle". Cette absence de liens permet, pour les développements actuels, de mettre en œuvre facilement des modifications de structure dans la base. Le langage d'interrogation, quant à lui, se démarque des langages relationnels actuellement disponibles, dans la mesure où l’utilisation n'a pas à exprimer la navigation à entreprendre dans base pour satisfaire sa requête. Seuls les attributs intervenant dans la question apparaissent dans l’expression de celle-ci, le chemin permettant de la satisfaire est calculé automatique par le système. Notre apport réside principalement dans la proposition d'un système convivial que l'usager pourra utiliser efficacement sans pour autant être spécialisé en bases de données Pour cela, les concepts manipulés sont simples et à tous les niveaux, une aide est fournie pour aboutir au résultat désiré
Relational DBMS have progressed rapidly in recent years. We now have commercially viable relational DBMS to effectively store and retrieve large quantities of data from micro computers to very large computers. Meanwhile the information system design methods became more useful and practical. For the most part, researchers in these two areas have developed their works independently and as far as we know, very few works have been done to merge an aided design system into a DBMS. The combined use of a DBMS and an aided design system is then potentially very valuable for DB application. The purpose of this work is to propose such a system in order to help the designer to get a right data structure and integrate this structure in the data dictionary. An extended Entity-Relationship Model, which offers a wider semantics than the classical Relational Model is used. The designer expresses the users needs from a set of documents of a given company, then the system builds a set of data dictionaries which are exploited by ether functions of the system. The implementation of data is also studied here. We suppress the physical links between data in replacing them by logical links which lead to a storage method called "vectorial". This absence of links allows, for present developments, to modify easily the conceptual structure of the data base and leads to a modular system of design. Our contribution essentially consists in the proposal of an friendly system can be used by a casual user in a very efficient way. The user will be able to employ efficiently without experience in data base. In that purpose, handled concepts are simple, and a help is provided at each level to get the wished result. This system does not require knowledge in data base theory. A help function can be used at each step of the design process

L'objectif est de définir, dans une perspective méthodologique, un outil d'aide à l'analyse et au développement de programmes à base d'objets. L'utilisation de ce guide conduit à créer un modèle de la réalité directement déduit de l'énoncé originel du problème, et intuitivement, il est clair que plus l'espace de solution correspond de près à notre abstraction de la réalité, mieux nous pourrons atteindre les buts du génie logiciel, à savoir, la modifiabilité, l'efficacité, la fiabilité, l'intelligibilité. La convergence des études menées sur le génie logiciel, les spécifications algébriques et les langages orientés objet ont permis la mise en place d'un guide méthodologique. Ce guide induit une démarche incrémentale, au sens ou les spécificités de la programmation orientée objet sont intégrés au fur et à mesure. Plus précisément, cette démarche se décompose en 4 phases : l'analyse qui met l'accent sur la nécessité de faire reposer la solution sur l'énoncé du problème. Les spécifications (statiques) de type algébrique. Les spécifications (dynamique), i. E. Définition de contrôles susceptible d'être effectués au cours de l'exécution du programme. La génération automatique de code Keops (langage oriente objet base sur Le-Lisp). Nous obtenons ainsi, comme résultats de l'utilisation du guide, des fichiers Keops satisfaisant les spécifications statiques et dynamiques, qu'il suffit de compléter au niveau du corps des méthodes pour obtenir le programme entier

La thèse présente une méthode d'analyse et de conception orientée objet de systèmes d'information actifs. L'intérêt de notre approche est la mise en œuvre effective du faible couplage des composants logiciels et de la traçabilité, deux éléments qui constituent l'une des réponses de l'approche objet à la «crise logicielle» actuelle. Le faible couplage est réalisé grâce au modèle objet utilisé pour la conception, modèle basé sur une typologie dans laquelle les objets de chaque catégorie sont spécialisés dans un rôle particulier et ont, de ce fait, une visibilité limitée; on distingue les objets passifs des objets actifs, ces derniers étant eux-même classés en émetteurs, agents, objets de veille temporelle ou de veille sur message. La traçabilité est réalisée par: 1) la correspondance univoque entre un phénomène ou une classe de phénomènes du monde réel et un composant logiciel, et 2) la transformation du produit d'une étape en produit d'une étape en produit de l'étape suivante (schéma conceptuel, système d'objets, composants logiciels) selon des règles précises qui permettent un passage quasi-automatique d'une étape à l'autre. Cette transformation est rendue possible par la compatibilité des modèles utilisés aux différentes étapes et par l'utilisation, au cours de l'étape de modélisation conceptuelle, d'un puissant modèle sémantique basé sur les concepts appartenant au modèle E/R étendu et à la méthode Remora; par sa richesse, ce modèle permet d'appréhender le monde réel sous ses multiples aspects (statiques, dynamiques, temporels). La forte «redondance fonctionnelle» qui caractérise les systèmes d'information en général est exploitée par l'utilisation du langage Ada pour l'implémentation; on montre que la plupart des composants d'un système peuvent être instanciés à partir d'unités génériques indépendantes de l'univers du discours.