Outils de mise en oeuvre industrielle des techniques formelles

Name: Outils de mise en oeuvre industrielle des techniques formelles
Brand: Hermes Science Publications
SKU: 9782746288010
Price: 110.0 EUR
Availability: InStock
ISBN: 978-2-746-28801-0

de Jean-Louis Boulanger (auteur), Jean-Charles Pomerol (auteur)

Maison d'édition : Hermes Science Publications

avril 2012

Livre numérique eBook [PDF]

390 pages Téléchargement après achat

110,00 €

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

Comment récupérer et lire mon ebook ?

Paiement sécurisé

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.

Auteur

Jean-Louis Boulanger (auteur)

É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.
Jean-Charles Pomerol (auteur)

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)