Outils de mise en oeuvre industrielle des techniques formelles - E-book - PDF

Note moyenne 
Jean-Louis Boulanger - Outils de mise en oeuvre industrielle des techniques formelles.
Les techniques formelles réalisent des modèles de spécifications et/ou de conception et servent principalement à l'analyse statique de code, à la... Lire la suite
110,00 € E-book - PDF
Vous pouvez lire cet ebook sur les supports de lecture suivants :
Téléchargement immédiat
Dès validation de votre commande
Offrir maintenant
Ou planifier dans votre panier

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 ouvre 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.

Caractéristiques

  • Caractéristiques du format PDF
    • Pages
      390
    • Taille
      14 353 Ko
    • Protection num.
      Digital Watermarking
    • Transferts max.
      Autorisé
    • Imprimable
      01 page(s) autorisée(s)
    • Copier coller
      01 page(s) autorisée(s)

Avis libraires et clients

À propos de l'auteur

Biographie de Jean-Louis Boulanger

Professeur émérite à l'Université Pierre et Marie Curie et ancien président de l'Université Numérique des Sciences de la Santé et du Sport (UNF3S) Évaluateur indépendant de la sécurité (IndependantSafety Assessor), consultant et formateur dans le domaine des applications critiques ayant un impact sur la sécurité dans divers domaines.

Du même auteur

Les clients ont également aimé

Derniers produits consultés

Decitre utilise des cookies pour vous offrir le meilleur service possible. En continuant votre navigation, vous en acceptez l'utilisation. En savoir plus OK
110,00 €