Outils de mise en oeuvre industrielle des méthodes formelles
La 4e de couverture indique : "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 te...
Salvato in:
| Altri autori: | |
|---|---|
| Natura: | Livre papier |
| Lingua: | Français |
| Pubblicazione: |
Paris :
Hermès science publications : Lavoisier
DL 2012, cop. 2012
|
| Serie: | Informatique et systèmes d'information. Recherche, technologie, applications
|
| Soggetti: | |
| Autres localisations: | Voir dans le Sudoc |
| LEADER | 02547nam a22002417a 4500 | ||
|---|---|---|---|
| 001 | 437686 | ||
| 008 | 120612t20122012xxe ||| |||| 00| 0 fre d | ||
| 009 | PPN161625975 | ||
| 020 | |a 9782746238015 (rel.) : |c 110 EUR | ||
| 024 | |a 9782746238015 | ||
| 041 | 0 | |a fre | |
| 082 | |a 005.131 | ||
| 084 | |a 004 | ||
| 245 | 0 | 0 | |a Outils de mise en oeuvre industrielle des méthodes formelles |c sous la direction de Jean-Louis Boulanger. |
| 260 | |a Paris : |b Hermès science publications : |b Lavoisier, |c DL 2012, cop. 2012 |e (01-Péronnas) : |f (Impr. Sepec). | ||
| 300 | |a 1 vol. (389 p.) : |b ill. ; |c 24 cm. | ||
| 490 | 1 | |a Informatique et systèmes d'information. Recherche, technologie, applications |x 2111-0360 | |
| 504 | |a Bibliogr. en fin de chapitres. Glossaire. Index | ||
| 505 | 0 | |a Chapitre 1 Des langages classiques aux méthodes formelles -- Chapitre 2 SCADE : mise en oeuvre et applications -- Chapitre 3 SPARK, un langage et une boîte à outils pour le développement de logiciel critique -- Chapitre 4 ControlBuild -- Chapitre 5 Model Based Testing Génération automatique de cas de test à l'aide d'une modélisation par chaînes de Markov -- Chapitre 6 Analyse de sécurité des systèmes embarqués avec AltaRica -- Chapitre 7 Méthode B et outils B -- Chapitre 8 Polyspace -- Chapitre 9 Synthèse et conclusions | |
| 520 | |a La 4e de couverture indique : "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." | ||
| 650 | |a Méthodes formelles (informatique) |x Applications industrielles | ||
| 700 | 1 | |a Boulanger, Jean-Louis, |d 1966- |4 edt | |
| 997 | |0 437686 |1 Livre papier |a Ressource papier |b INSA |c 0/Bourges/ |c 1/Bourges/INSA CVL/ |z Bourges, INSA CVL, 005.131 BOU | ||