Tous nos rayons

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
Outils de mise en oeuvre industrielle des techniques formelles
Ajouter à une liste

Librairie Eyrolles - Paris 5e
Indisponible

Outils de mise en oeuvre industrielle des techniques formelles

Outils de mise en oeuvre industrielle des techniques formelles

Jean-Louis Boulanger - Collection Informatique et systèmes d'information

390 pages, parution le 25/04/2012

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
Voir tout
Replier

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

Livraison à partir de 0,01 en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925
Recevez nos newsletters
Vous serez régulièrement informé(e) de toutes nos actualités.
Inscription