Outils de mise en oeuvre industrielle des techniques formelles
Jean-Louis Boulanger - Collection Informatique et systèmes d'information
Résumé
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 oeuvre 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.
L'auteur - Jean-Louis Boulanger
Jean-Louis Boulanger est évaluateur indépendant de la sûreté (ISA) dans le domaine ferroviaire. Ses recherches portent sur les exigences, la vérification et la validation des logiciels, la traçabilité et les RAMS, et mettent l'accent sur la sécurité.
Autres livres de Jean-Louis Boulanger
Sommaire
- Des langages classiques aux méthodes formelles
- SCADE : mise en oeuvre et applications
- SPARK, un langage et une boîte à outils pour le développement de logiciel critique
- ControlBuild
- Model Based Testing. Génération automatique de cas de test à l'aide d'une modélisation par chaînes de Markov
- Analyse de sécurité des systèmes embarqués avec AltaRica
- Méthode B et outils B
- Polyspace
- Synthèse et conclusions
Caractéristiques techniques
| PAPIER | NUMERIQUE | |
| Éditeur(s) | Hermès - Lavoisier | |
| Auteur(s) | Jean-Louis Boulanger | |
| Collection | Informatique et systèmes d'information | |
| Parution | 25/04/2012 | 25/04/2012 |
| Nb. de pages | 390 | 390 |
| Format | 16 x 24 | - |
| Couverture | Broché | - |
| Poids | 810g | - |
| Intérieur | Noir et Blanc | - |
| Contenu | - |
PDF |
| EAN13 | 9782746238015 |
9782746288010 |
| ISBN13 | 978-2-7462-3801-5 | - |
Avantages Eyrolles.com
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
