| Titre : | Outils de mise en oeuvre industrielle des méthodes formelles |
| Auteurs : | Jean-Louis Boulanger, Directeur de publication |
| Type de document : | texte imprimé |
| Editeur : | Paris : Hermes science publications, DL 2012, cop. 2012 |
| Autre Editeur : | Lavoisier |
| Collection : | Recherche. Technologie. Application |
| Sous-collection : | Informatique et systèmes d'information |
| ISBN/ISSN/EAN : | 978-2-7462-3801-5 |
| Format : | 1 vol. (389 p.) / ill. / 24 cm |
| Note générale : | Bibliogr.- Glossaire.- Index |
| Langues: | Français |
| Index. décimale : | 621.3 (Electrotechnique, électronique, télécommunications) |
| Catégories : | |
| Mots-clés: | Méthodes formelles Applications industrielles |
| 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 œ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 |
Exemplaires (4)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| bst001776 | 621.39 BOU- 36 | Livre | Bibliothèque Sciences et Technologies | Sciences exactes(ch&ph&ma&in) | Libre accès Disponible |
| bst004777 | 621.39 BOU- 36 | Livre | Bibliothèque Sciences et Technologies | Sciences exactes(ch&ph&ma&in) | Libre accès Disponible |
| bst004776 | 621.39 BOU- 36 | Livre | Bibliothèque Sciences et Technologies | Sciences exactes(ch&ph&ma&in) | Libre accès Disponible |
| bst001775 | 621.39 BOU- 36 | Livre | Bibliothèque Sciences et Technologies | Sciences exactes(ch&ph&ma&in) | Consultation sur place Exclu du prêt |
Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Accueil
