Nantilus
Techniques industrielles de modélisation formelle pour le transport
Les techniques formelles réalisent des modèles de spécifications et/ou de conception et servent à l'analyse statique de code, à la démonstration du respect de propriété, à la bonne gestion des calculs sur les flottants, etc.
Enregistré dans:
| Autres auteurs : | |
|---|---|
| Format : | Livre |
| Langue : | français |
| Titre complet : | Techniques industrielles de modélisation formelle pour le transport / sous la direction de Jean-Louis Boulanger |
| Publié : |
Paris :
Hermès science publications
, impr. 2011 Lavoisier |
| Description matérielle : | 1 vol. (351 p.) |
| Collection : | Informatique et systèmes d'information. Recherche, technologie, applications |
| Sujets : |
| LEADER | 02585cam a2200445 4500 | ||
|---|---|---|---|
| 001 | PPN156756420 | ||
| 003 | http://www.sudoc.fr/156756420 | ||
| 005 | 20190627113300.0 | ||
| 010 | |a 978-2-7462-3230-3 |b rel. | ||
| 035 | |a (OCoLC)780284248 | ||
| 073 | 1 | |a 9782746232303 | |
| 100 | |a 20111201h20112011k y0frey0103 ba | ||
| 101 | 0 | |a fre |e fre | |
| 102 | |a FR | ||
| 105 | |a a a 001yy | ||
| 106 | |a r | ||
| 200 | 1 | |a Techniques industrielles de modélisation formelle pour le transport |b Texte imprimé |f sous la direction de Jean-Louis Boulanger | |
| 210 | |a Paris |c Hermès science publications |c Lavoisier |d impr. 2011 | ||
| 215 | |a 1 vol. (351 p.) |c ill. |d 24 cm | ||
| 225 | 2 | |a Informatique et systèmes d'information |i Recherche, technologie, applications |x 2111-0360 | |
| 320 | |a Bibliogr. en fin de chapitres. Notes bibliogr. Glossaire. Index | ||
| 330 | |a Les techniques formelles réalisent des modèles de spécifications et/ou de conception et servent à l'analyse statique de code, à la démonstration du respect de propriété, à la bonne gestion des calculs sur les flottants, etc. | ||
| 330 | |a Dès la première mise en œuvre des logiciels au sein d'un équipement, la RATP a mis en œuvre les techniques formelles afin de démontrer que des impératifs de sécurité sont respectées par le logiciel. Cet ouvrage présente des exemples concrets de mise en œuvre des techniques formelles (simulation, "model-checking", preuve) et des méthodes formelles (méthode B, SCADE) sur des projets de transport ferroviaire de type métro et grande-ligne (ligne classique, TGV, ERTMS, fret) | ||
| 410 | | | |0 151135894 |t Informatique et systèmes d'information. Recherche, technologie, applications |x 2111-0360 | |
| 606 | |3 PPN035004355 |a B (méthode formelle) |2 rameau | ||
| 606 | |3 PPN050702858 |a Méthodes formelles (informatique) |3 PPN027793168 |x Applications industrielles |2 rameau | ||
| 606 | |3 PPN027265293 |a Transports ferroviaires |3 PPN027754979 |x Automatisation |2 rameau | ||
| 606 | |3 PPN027473163 |a Chemins de fer |x Dispositifs de sécurité |2 rameau | ||
| 606 | |3 PPN050692283 |a Systèmes de transport intelligent |2 rameau | ||
| 676 | |a 005.1 | ||
| 676 | |a 625.1 |v 22 |z fre | ||
| 686 | |a D.2.4 |2 acm | ||
| 702 | 1 | |3 PPN114998973 |a Boulanger |b Jean-Louis |f 1966-.... |4 340 | |
| 801 | 3 | |a FR |b Abes |c 20131220 |g AFNOR | |
| 915 | |5 441092208:63967853X |b 21224 | ||
| 930 | |5 441092208:63967853X |b 441092208 |a LINA/68B65 |j u | ||
| 979 | |a CCFA | ||
| 991 | |5 441092208:63967853X |a exemplaire créé automatiquement par l'ABES | ||
| 997 | |a CCFA |b 21224 |d CMB |e BAP |s d |c LINA/68B65 | ||
| 998 | |a 849843 | ||