Author: Yves Maguer
Publisher:
ISBN:
Category :
Languages : fr
Pages : 458
Book Description
Étude d'un générateur de systèmes experts de diagnostic d'équipements embarqués et de planification des tests exécutés par un système automatique
Etude d'un générateur de systèmes experts
Diagnostic automatique des défaillances d'un processus industriel complexe
Génération automatique de tests à partir de modèles SysML pour la validation fonctionnelle de systèmes embarqués
Author: Jonathan Lasalle
Publisher:
ISBN:
Category :
Languages : fr
Pages : 179
Book Description
Les travaux présentés dans ce mémoire proposent une méthode originale de génération automatique de tests à partir de modèles SysML pour la validation de systèmes embarqués. Un sous-ensemble du langage SysML (appelé SysML4MBT) regroupant les éléments de modélisation pris en compte dans notre approche a été défini et une stratégie de génération de tests dédiée (intitulée ComCover) a été créée. Cette stratégie, basée sur les principes du critère de couverture de modèles bien connu Def-Use, s'intéresse à la couverture des communications (envois / réceptions) au sein du système et entre le système et son environnement. La mise en œuvre opérationnelle d'un prototype, basé sur un générateur de tests à partir de modèle UML, a nécessité la définition de règles de réécriture permettant la transformation du modèle SysML4MBT vers le format d'entrée natif du générateur de tests tout en conservant l'expressivité de SysML4MBT. Finalement, les étapes de concrétisation des tests en scripts exécutables et l'établissement automatique du verdict lors de l'exécution sur banc de test définis durant le projet VETESS permettent l'établissement d'une chaîne outillée opérationnelle de génération et d'exécution automatique de tests à partir de spécifications SysML. Cette chaîne outillée a été étrennée sur plusieurs cas d'étude automobile tels que l'éclairage avant, les essuie-glaces ou la colonne de direction de véhicule. Sur ce dernier exemple, nous avons eu l'opportunité d'exécuter les tests sur un banc de test physique. Ces cas d'étude ont permis de valider chacune des étapes de l'approche proposée.
Publisher:
ISBN:
Category :
Languages : fr
Pages : 179
Book Description
Les travaux présentés dans ce mémoire proposent une méthode originale de génération automatique de tests à partir de modèles SysML pour la validation de systèmes embarqués. Un sous-ensemble du langage SysML (appelé SysML4MBT) regroupant les éléments de modélisation pris en compte dans notre approche a été défini et une stratégie de génération de tests dédiée (intitulée ComCover) a été créée. Cette stratégie, basée sur les principes du critère de couverture de modèles bien connu Def-Use, s'intéresse à la couverture des communications (envois / réceptions) au sein du système et entre le système et son environnement. La mise en œuvre opérationnelle d'un prototype, basé sur un générateur de tests à partir de modèle UML, a nécessité la définition de règles de réécriture permettant la transformation du modèle SysML4MBT vers le format d'entrée natif du générateur de tests tout en conservant l'expressivité de SysML4MBT. Finalement, les étapes de concrétisation des tests en scripts exécutables et l'établissement automatique du verdict lors de l'exécution sur banc de test définis durant le projet VETESS permettent l'établissement d'une chaîne outillée opérationnelle de génération et d'exécution automatique de tests à partir de spécifications SysML. Cette chaîne outillée a été étrennée sur plusieurs cas d'étude automobile tels que l'éclairage avant, les essuie-glaces ou la colonne de direction de véhicule. Sur ce dernier exemple, nous avons eu l'opportunité d'exécuter les tests sur un banc de test physique. Ces cas d'étude ont permis de valider chacune des étapes de l'approche proposée.
Integration d'outils pour l'expression et la satisfaction de contraintes dans un generateur de systemes experts [Integrating tools for constraints expression and satisfaction in an expert system shell].
Author: Institut National de Recherche en Informatique et en Automatique
Publisher:
ISBN:
Category : Expert systems (Computer science)
Languages : fr
Pages : 43
Book Description
Publisher:
ISBN:
Category : Expert systems (Computer science)
Languages : fr
Pages : 43
Book Description
In-Vessel Melt Retention and Ex-Vessel Corium Cooling: IAEA Tecdoc No. 1906
Author: International Atomic Energy Agency
Publisher: International Atomic Energy Agency
ISBN: 9789201063205
Category : Technology & Engineering
Languages : en
Pages : 72
Book Description
This publication results from a technical meeting on phenomenology and technologies relevant to in-vessel melt retention (IVMR) and ex-vessel corium cooling (EVCC). The purpose of the publication is to capture the state of knowledge, at the time of that meeting, related to phenomenology and technologies as well as the challenges and pending issues relevant to IVMR and EVCC for water cooled reactors by summarizing the information provided by the meeting participants in a form useful to practitioners in Member States.
Publisher: International Atomic Energy Agency
ISBN: 9789201063205
Category : Technology & Engineering
Languages : en
Pages : 72
Book Description
This publication results from a technical meeting on phenomenology and technologies relevant to in-vessel melt retention (IVMR) and ex-vessel corium cooling (EVCC). The purpose of the publication is to capture the state of knowledge, at the time of that meeting, related to phenomenology and technologies as well as the challenges and pending issues relevant to IVMR and EVCC for water cooled reactors by summarizing the information provided by the meeting participants in a form useful to practitioners in Member States.
CIKM'13
Author: CIKM 13 Conference Committee
Publisher:
ISBN: 9781450326964
Category : Computers
Languages : en
Pages : 938
Book Description
CIKM'13: 22nd ACM International Conference on Information and Knowledge Management Oct 27, 2013-Nov 01, 2013 San Francisco, USA. You can view more information about this proceeding and all of ACM�s other published conference proceedings from the ACM Digital Library: http://www.acm.org/dl.
Publisher:
ISBN: 9781450326964
Category : Computers
Languages : en
Pages : 938
Book Description
CIKM'13: 22nd ACM International Conference on Information and Knowledge Management Oct 27, 2013-Nov 01, 2013 San Francisco, USA. You can view more information about this proceeding and all of ACM�s other published conference proceedings from the ACM Digital Library: http://www.acm.org/dl.
Advances in Rotorcraft Technology
Author: North Atlantic Treaty Organization. Advisory Group for Aerospace Research and Development. Flight Vehicle Integration Panel. Symposium
Publisher:
ISBN:
Category : Helicopters
Languages : en
Pages : 402
Book Description
Publisher:
ISBN:
Category : Helicopters
Languages : en
Pages : 402
Book Description
Signal Processing for Communications
Author: Paolo Prandoni
Publisher: Collection Savoir suisse
ISBN: 2940222207
Category : Signal processing
Languages : en
Pages : 392
Book Description
With a novel, less classical approach to the subject, the authors have written a book with the conviction that signal processing should be taught to be fun. The treatment is therefore less focused on the mathematics and more on the conceptual aspects, the idea being to allow the readers to think about the subject at a higher conceptual level, thus building the foundations for more advanced topics. The book remains an engineering text, with the goal of helping students solve real-world problems. In this vein, the last chapter pulls together the individual topics as discussed throughout the book into an in-depth look at the development of an end-to-end communication system, namely, a modem for communicating digital information over an analog channel.
Publisher: Collection Savoir suisse
ISBN: 2940222207
Category : Signal processing
Languages : en
Pages : 392
Book Description
With a novel, less classical approach to the subject, the authors have written a book with the conviction that signal processing should be taught to be fun. The treatment is therefore less focused on the mathematics and more on the conceptual aspects, the idea being to allow the readers to think about the subject at a higher conceptual level, thus building the foundations for more advanced topics. The book remains an engineering text, with the goal of helping students solve real-world problems. In this vein, the last chapter pulls together the individual topics as discussed throughout the book into an in-depth look at the development of an end-to-end communication system, namely, a modem for communicating digital information over an analog channel.
Digital Transformation in Financial Services
Author: Claudio Scardovi
Publisher: Springer
ISBN: 3319669451
Category : Business & Economics
Languages : en
Pages : 242
Book Description
This book analyzes the set of forces driving the global financial system toward a period of radical transformation and explores the transformational challenges that lie ahead for global and regional or local banks and other financial intermediaries. It is explained how these challenges derive from the newly emerging post-crisis structure of the market and from shadow and digital players across all banking operations. Detailed attention is focused on the impacts of digitalization on the main functions of the financial system, and particularly the banking sector. The author elaborates how an alternative model of banking will enable banks to predict, understand, navigate, and change the external ecosystem in which they compete. The five critical components of this model are data and information mastering; effective use of applied analytics; interconnectivity and “junction playing”; development of new business solutions; and trust and credibility assurance. The analysis is supported by a number of informative case studies. The book will be of interest especially to top and middle managers and employees of banks and financial institutions but also to FinTech players and their advisers and others.
Publisher: Springer
ISBN: 3319669451
Category : Business & Economics
Languages : en
Pages : 242
Book Description
This book analyzes the set of forces driving the global financial system toward a period of radical transformation and explores the transformational challenges that lie ahead for global and regional or local banks and other financial intermediaries. It is explained how these challenges derive from the newly emerging post-crisis structure of the market and from shadow and digital players across all banking operations. Detailed attention is focused on the impacts of digitalization on the main functions of the financial system, and particularly the banking sector. The author elaborates how an alternative model of banking will enable banks to predict, understand, navigate, and change the external ecosystem in which they compete. The five critical components of this model are data and information mastering; effective use of applied analytics; interconnectivity and “junction playing”; development of new business solutions; and trust and credibility assurance. The analysis is supported by a number of informative case studies. The book will be of interest especially to top and middle managers and employees of banks and financial institutions but also to FinTech players and their advisers and others.