Outils de mise en œuvre industrielle des techniques formelles

Outils de mise en œuvre industrielle des techniques formelles
Author :
Publisher : Lavoisier
Total Pages : 402
Release :
ISBN-10 : 9782746288010
ISBN-13 : 274628801X
Rating : 4/5 (01X Downloads)

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.


Outils de mise en œuvre industrielle des techniques formelles Related Books

Outils de mise en œuvre industrielle des techniques formelles
Language: en
Pages: 402
Authors: BOULANGER Jean-Louis
Categories:
Type: BOOK - Published: 2012-04-16 - Publisher: Lavoisier

GET EBOOK

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émonstr
Mise en oeuvre de la méthode B ; Traité RTA, série Informatique et Systèmes d'Information
Language: en
Pages: 434
Authors: BOULANGER Jean-Louis
Categories: B method (Computer science)
Type: BOOK - Published: 2013-04-01 - Publisher: Lavoisier

GET EBOOK

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 transport
Industrial Use of Formal Methods
Language: en
Pages: 236
Authors: Jean-Louis Boulanger
Categories: Technology & Engineering
Type: BOOK - Published: 2013-05-10 - Publisher: John Wiley & Sons

GET EBOOK

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 bo
Formal Methods Applied to Complex Systems
Language: en
Pages: 496
Authors: Jean-Louis Boulanger
Categories: Computers
Type: BOOK - Published: 2014-07-22 - Publisher: John Wiley & Sons

GET EBOOK

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 fie
La qualité et la gouvernance des données : au service de la performance des entreprises
Language: en
Pages: 402
Authors: BERTI-EQUILLE Laure
Categories: Databases
Type: BOOK - Published: 2012-09-14 - Publisher: Lavoisier

GET EBOOK

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ûteu