Outils de mise en uvre industrielle des techniques formelles is popular PDF and ePub book, written by BOULANGER Jean-Louis in 2012-04-16, it is a fantastic choice for those who relish reading online the Uncategoriezed genre. Let's immerse ourselves in this engaging Uncategoriezed book by exploring the summary and details provided below. Remember, Outils de mise en uvre industrielle des techniques formelles can be Read Online from any device for your convenience.
Outils de mise en uvre industrielle des techniques formelles Book PDF Summary
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.
Detail Book of Outils de mise en uvre industrielle des techniques formelles PDF
- Author : BOULANGER Jean-Louis
- Release : 16 April 2012
- Publisher : Lavoisier
- ISBN : 9782746288010
- Genre : Uncategoriezed
- Total Page : 402 pages
- Language : English
- PDF File Size : 13,5 Mb
If you're still pondering over how to secure a PDF or EPUB version of the book Outils de mise en uvre industrielle des techniques formelles by BOULANGER Jean-Louis, don't worry! All you have to do is click the 'Get Book' buttons below to kick off your Download or Read Online journey. Just a friendly reminder: we don't upload or host the files ourselves.