Nous suivre Industrie Techno

Livre

Outils de mise en œuvre industrielle des techniques formelles

Jean-François Preveraud

Sujets relatifs :

,

                                         


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.

A propos du livre
Titre : OUTILS DE MISE EN ŒUVRE INDUSTRIELLE DES TECHNIQUES FORMELLES

Auteur : BOULANGER Jean-Louis
Editeur : Hermes
Pages : 400
Prix : 110 €
ISBN : 978-2-7462-3801-5

Disponible en ligne sur le site : http://www.lavoisier.fr/livre/notice.asp?id=3LKWX3A2SOROWH

Bienvenue !

Vous êtes désormais inscrits. Vous recevrez prochainement notre newsletter hebdomadaire Industrie & Technologies

Nous vous recommandons

Biotechs industrielles, écran Tore, robot Boston Dynamics… les innovations qui (re)donnent le sourire

Livre

Biotechs industrielles, écran Tore, robot Boston Dynamics… les innovations qui (re)donnent le sourire

Difficile de trouver la motivation en ce début de semaine ? Voici une petite sélection d’innovations qui pourraient vous aider[…]

[Livre] Google, un loup (technologique) pour l’homme à neutraliser d'urgence

Livre

[Livre] Google, un loup (technologique) pour l’homme à neutraliser d'urgence

La légende Mini

Livre

La légende Mini

Noël Tech 2015 : De beaux ouvrages pour votre bibliothèque

Livre

Noël Tech 2015 : De beaux ouvrages pour votre bibliothèque

Plus d'articles