Download Free Contribution Au Developpement Dune Methode De Conception Des Systemes Informatiques Book in PDF and EPUB Free Download. You can read online Contribution Au Developpement Dune Methode De Conception Des Systemes Informatiques and write the review.

L'OBJET DE CETTE THESE EST D'APPORTER UNE CONTRIBUTION AU DEVELOPPEMENT D'UN OUTIL CE CONCEPTION DES SYSTEMES. NOUS APPELONS SYSTEME TOUT ENSEMBLE DE PROGRAMMES DE GRANDE TAILLE (PLUSIEURS MILLIERS D'INSTRUCTIONS) DESTINE A UNE UTILISATION QUOTIDIENNE, AYANT A PRENDRE EN COMPTE L'ENVIRONNEMENT INFORMATIQUE DANS SA LOGIQUE PROPRE ET DONT LA REALISATION EST CONFIEE A UNE EQUIPE. CETTE DEFINITION GENERALE ENGLOBE DES PRODUITS AUSSI DIVERS QUE LES SYSTEMES D'EXPLOITATION OU LES COMPILATEURS QUI, BIEN QUE RELEVANT DE PRINCIPES DE CONSTRUCTION SPECIFIQUES, SONT EGALEMENT SOUMIS AUX MEMES CONTRAINTES D'EFFICACITE, DE FIABILITE ET D'ADAPTABILITE.
Thèse. HEC. 1988
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.
La conception inventive joue un rôle dont l'importance est croissante dans le monde industriel. Non encore maîtrisée, cette activité souffre d'un manque de formalisation des étapes à réaliser pour être menée avec succès. L'une des difficultés de la conception est d'identifier, à travers la formulation d'un objectif, la raison qui rend la réalisation de cet objectif problématique. Formulation et résolution de problèmes sont un champ d'investigation de l'Intelligence Artificielle. Cette discipline a su formaliser nombre d'outils d'assistance à la résolution de problèmes dans des champs variés. La spécificité de la conception inventive, qui rend délicate l'application des outils d'Intelligence Artificielle, est liée à la nature des problèmes à résoudre, qui sont ouverts et mal définis. La TRIZ, théorie de résolution des problèmes inventifs, propose un ensemble de méthodes et d'outils pour la formulation, puis la résolution, des problèmes à résoudre. La TRIZ est, à ce titre, une voie prometteuse pour la synthèse d'outils d'assistance à la formulation de problèmes. Pour parvenir à la conception de tels outils, un travail de formalisation de cette théorie est à mener au préalable.La thèse présentée ici s'attache à répondre au manque de formalisation de la TRIZ. Cet objectif répond au manque scientifique permettant de reconnaître la TRIZ en tant que théorie ; et de proposer un outil informatique d'assistance à la formulation des problèmes, selon les cadres de la TRIZ, enjeu industriel reconnu. La méthode déployée s'appuie sur les outils de l'Intelligence Artificielle pour construire une ontologie de la formulation des problèmes en conception inventive de systèmes techniques, selon les cadres de la TRIZ. Cette ontologie est une représentation centrée-objet des concepts liés à la formulation des problèmes. Cette représentation est validée par une analyse, en logique de description, de la cohérence de la hiérarchisation des concepts et de leur bonne définition. L'opérationnalisation du modèle s'appuie sur la programmation d'une interface d'instanciation. Cette interface est basée sur un moteur de systèmes experts à base de règles.