Des exemples d'utilisation des techniques formelles (méthode B, SCADE, MaTeLo, ControlBuild, SparkAda et POLYSPACE) et des techniques de vérification associées, accompagnés d'un point sur leurs avantages et leurs inconvénients. ©Electre 2024
Informatique et Systèmes d'Information
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érnentation 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.
Paru le : 02/09/2011
Thématique : Matériel
Auteur(s) : Non précisé.
Éditeur(s) :
Lavoisier-Hermès
Lavoisier
Collection(s) : Informatique et systèmes d'information
Contributeur(s) : Directeur de publication : Jean-Louis Boulanger
Série(s) : Non précisé.
ISBN : 978-2-7462-3801-5
EAN13 : 9782746238015
Reliure : Relié
Pages : 389
Hauteur: 24.0 cm / Largeur 16.0 cm
Épaisseur: 2.1 cm
Poids: 810 g
Carte fidélité
Mollat Radio
