Outils De Mise En Uvre Industrielle Des Techniques Formelles
DOWNLOAD
Download Outils De Mise En Uvre Industrielle Des Techniques Formelles PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Outils De Mise En Uvre Industrielle Des Techniques Formelles book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages. If the content not found or just blank you must refresh this page
Outils De Mise En Uvre Industrielle Des Techniques Formelles
DOWNLOAD
Author : BOULANGER Jean-Louis
language : en
Publisher: Lavoisier
Release Date : 2012-04-16
Outils De Mise En Uvre Industrielle Des Techniques Formelles written by BOULANGER Jean-Louis and has been published by Lavoisier this book supported file pdf, txt, epub, kindle and other format this book has been release on 2012-04-16 with categories.
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.
Outils De Mise En Oeuvre Industrielle Des Techniques Formelles
DOWNLOAD
Author : Jean-Louis Boulanger
language : fr
Publisher:
Release Date : 2012
Outils De Mise En Oeuvre Industrielle Des Techniques Formelles written by Jean-Louis Boulanger and has been published by this book supported file pdf, txt, epub, kindle and other format this book has been release on 2012 with categories.
La 4e de couverture indique : "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."
Mise En Oeuvre De La M Thode B Trait Rta S Rie Informatique Et Syst Mes D Information
DOWNLOAD
Author : BOULANGER Jean-Louis
language : en
Publisher: Lavoisier
Release Date : 2013-04-01
Mise En Oeuvre De La M Thode B Trait Rta S Rie Informatique Et Syst Mes D Information written by BOULANGER Jean-Louis and has been published by Lavoisier this book supported file pdf, txt, epub, kindle and other format this book has been release on 2013-04-01 with B method (Computer science) categories.
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.
Industrial Use Of Formal Methods
DOWNLOAD
Author : Jean-Louis Boulanger
language : en
Publisher: John Wiley & Sons
Release Date : 2013-05-10
Industrial Use Of Formal Methods written by Jean-Louis Boulanger and has been published by John Wiley & Sons this book supported file pdf, txt, epub, kindle and other format this book has been release on 2013-05-10 with Technology & Engineering categories.
At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the used of the “formal technics” (such proof and model-checking) on industrial examples for the transportation domain. This book is based on the experience of people which are completely involved in the realization and the evaluation of safety critical system software based. The implication of the industrialists allows to raise the problems of confidentiality which could appear and so allow to supply new useful information (photos, plan of architecture, real example).
Formal Methods Applied To Complex Systems
DOWNLOAD
Author : Jean-Louis Boulanger
language : en
Publisher: John Wiley & Sons
Release Date : 2014-07-22
Formal Methods Applied To Complex Systems written by Jean-Louis Boulanger and has been published by John Wiley & Sons this book supported file pdf, txt, epub, kindle and other format this book has been release on 2014-07-22 with Computers categories.
This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or the B Method, in various fields such as railways, aeronautics, and the automotive industry. The purpose of this book is to present a summary of experience on the use of “formal methods” (based on formal techniques such as proof, abstract interpretation and model-checking) in industrial examples of complex systems, based on the experience of people currently involved in the creation and assessment of safety critical system software. The involvement of people from within the industry allows the authors to avoid the usual confidentiality problems which can arise and thus enables them to supply new useful information (photos, architecture plans, real examples, etc.).
La Qualit Et La Gouvernance Des Donn Es Au Service De La Performance Des Entreprises
DOWNLOAD
Author : BERTI-EQUILLE Laure
language : en
Publisher: Lavoisier
Release Date : 2012-09-14
La Qualit Et La Gouvernance Des Donn Es Au Service De La Performance Des Entreprises written by BERTI-EQUILLE Laure and has been published by Lavoisier this book supported file pdf, txt, epub, kindle and other format this book has been release on 2012-09-14 with Databases categories.
La bonne qualité des données est aujourd'hui la clé de voûte de toute organisation. La gestion et l'amélioration de cette qualité sont des tâches coûteuses et difficiles, mais néanmoins incontournables. Cet ouvrage propose une étude des différents outils et démarches qui assistent les spécialistes de la qualité et de la gouvernance des données. À travers les expériences de la communauté francophone animée par l'association ExQI (Excellence Qualité, Information), il présente, avec pédagogie et pragmatisme, un panorama des concepts-clés de la gestion de la qualité des données et leurs déclinaisons dans les entreprises (Business Intelligence, Data QualityManagement, Key Performance Indicator, Model Driven Engineering, Master Data Management, etc.). Des solutions théoriques et techniques performantes sont détaillées et de nombreux retours d'expérience permettent d'illustrer les bonnes pratiques à adopter. Mêlant contributions industrielles et académiques, cet ouvrage est un outil de référence en langue française sur la qualité et la gouvernance des données en entreprise.
Certifiable Software Applications 3
DOWNLOAD
Author : Jean-Louis Boulanger
language : en
Publisher: Elsevier
Release Date : 2018-09-03
Certifiable Software Applications 3 written by Jean-Louis Boulanger and has been published by Elsevier this book supported file pdf, txt, epub, kindle and other format this book has been release on 2018-09-03 with Computers categories.
Certifiable Software Applications 3: Downward Cycle describes the descending phase of the creation of a software application, detailing specification phases, architecture, design and coding, and important concepts on modeling and implementation. For coding, code generation and/or manual code production strategies are explored. As applications are coded, a presentation of programming languages and their impact on certifiability is included. Describes the descending phase of the creation of a software application, detailing specification phases, architecture, design and coding Presents valuable programming examples Includes a presentation of programming languages and their impact on certifiability
Mise En Uvre Des Normes Cenelec 50128 Et Iec 62279
DOWNLOAD
Author : Jean-Louis Boulanger
language : fr
Publisher: ISTE Group
Release Date : 2014-07-01
Mise En Uvre Des Normes Cenelec 50128 Et Iec 62279 written by Jean-Louis Boulanger and has been published by ISTE Group this book supported file pdf, txt, epub, kindle and other format this book has been release on 2014-07-01 with Railroads categories.
Le domaine ferroviaire est soumis à un référentiel normatif et à un référentiel légal qui dépend des pays. La norme CENELEC 50128 et sa version internationale CEI 62279 sont nécessaires à la réalisation d’applications logicielles. Cet ouvrage est consacré à la version 2011 de la norme CENELEC 50128, qui durcit les techniques et les méthodes à mettre en œuvre et met l’accent sur la gestion des compétences et la mise en place d’une évaluation indépendante. Elle insiste également sur la nécessité de disposer d’outils qualifiés, d’une organisation avec les bonnes indépendances et d’un pôle de vérification efficace. Cette version de la norme introduit la réalisation de deux types de logiciels, les logiciels paramétrés et les logiciels dits génériques. Véritable guide de mise en application permettant la compréhension des fondements de la norme et des impacts sur les activités à réaliser, ce livre permet de préparer au mieux la phase obligatoire d’évaluation indépendante.
Utilisations Industrielles Des Techniques Formelles
DOWNLOAD
Author : Jean-Louis Boulanger
language : fr
Publisher:
Release Date : 2011-06-17
Utilisations Industrielles Des Techniques Formelles written by Jean-Louis Boulanger and has been published by this book supported file pdf, txt, epub, kindle and other format this book has been release on 2011-06-17 with categories.
La 4e de couverture indique : "Cet ouvrage présente des exemples concrets d'utilisations industrielles des techniques formelles. Ces techniques réalisent des modèles de spécifications et/ou de conception et servent également à l'analyse statique de code, à la démonstration du respect de propriété, à la bonne gestion des calculs sur les flottants, etc...Les standards des différents domaines prennent en compte la mise en oeuvre des méthodes formelles comme moyen de construire un logiciel critique de sécurité. Les exemples industriels de mise en oeuvre des techniques formelles basées sur l'analyse statique, comme l'interprétation abstraite avec des exemples d'utilisation des outils Astrée, Caveat, CodePeer, Framac ou Polyspace sont détaillés"
Applications Logicielles Certifiables 3
DOWNLOAD
Author : Jean-Louis Boulanger
language : fr
Publisher: ISTE Group
Release Date : 2018-11-01
Applications Logicielles Certifiables 3 written by Jean-Louis Boulanger and has been published by ISTE Group this book supported file pdf, txt, epub, kindle and other format this book has been release on 2018-11-01 with categories.
Applications logicielles certifiables se compose de plusieurs ouvrages qui présentent le développement d’une application logicielle critique. Ce troisième opus décrit le processus de réalisation d’une application logicielle en se focalisant sur la phase descendante. Le cycle de vie pris comme référence est le cycle en V. Ce cycle se veut le plus agile possible. La préparation des tests se fait donc lors de la phase descendante et permet d’identifier très tôt des défauts. Pour chaque phase, de la spécification à la production du code, les activités de conception, de préparation des tests et de vérification à mettre en place sont également présentées. Dans cet ouvrage le lecteur trouvera une description essentielle et complète de la réalisation d’une application logicielle qui doit être mis en oeuvre, afin que celle-ci soit la plus sûre possible.