Documents disponibles dans la sous-collection

Techniques industrielles de modélisation formelle pour le transport / Boulanger, Jean-Louis

Public ISBD Titre : Techniques industrielles de modélisation formelle pour le transport Type de document : texte imprimé Auteurs : Boulanger, Jean-Louis, Directeur de publication, rédacteur en chef Editeur : Paris : Hermès Science Année de publication : 2011 Autre Editeur : Paris : Lavoisier Collection : Recherche, technologie, applications Sous-collection : Informatique et systèmes d'information Importance : 351 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-7462-3230-3 Note générale : Bibliogr. en fin de chapitres. - Notes bibliogr. - Glossaire. - Index Langues : Français (fre) Mots-clés : B  (méthode  formelle) Méthodes  formelles(informatique)  --  Applications  industrielles Transports  ferroviaires  --  Automatisation Chemins  de  fer  --  Dispositifs  de  sécurité Systèmes  de  transport  intelligent Index. décimale : 004.4 Logiciel. Programme Résumé : 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. 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) Note de contenu : Au sommaire : 1. Une approche innovante et une aventure humaine au service de la sécurité ferroviaire. 2. SAET-METEOR. 3. Preuve de propriétés globales à l'aide de l'outil de preuve SIMULINK DESIGN VERIFIER. 4. Démonstration de la sécurité d'une application ferroviaire de signalisation en mode nominal et en modes dégradés. 5. Utilisation de la preuve formelle dans le CBTC (OCTYS). 6. Validation d'automatismes ferroviaires de sécurité à base de réseaux de Petri. 7. ERTMS Formal Specs : un langage dédié pour la formalisation des spécifications pour le développement d'unité bord ERTMS. 8. Synthèse et conclusions. Techniques industrielles de modélisation formelle pour le transport [texte imprimé] / Boulanger, Jean-Louis, Directeur de publication, rédacteur en chef . - Hermès Science : Paris : Lavoisier, 2011 . - 351 p. : ill. ; 24 cm. - (Recherche, technologie, applications. Informatique et systèmes d'information) . ISBN : 978-2-7462-3230-3 Bibliogr. en fin de chapitres. - Notes bibliogr. - Glossaire. - Index Langues : Français (fre) Mots-clés : B  (méthode  formelle) Méthodes  formelles(informatique)  --  Applications  industrielles Transports  ferroviaires  --  Automatisation Chemins  de  fer  --  Dispositifs  de  sécurité Systèmes  de  transport  intelligent Index. décimale : 004.4 Logiciel. Programme Résumé : 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. 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) Note de contenu : Au sommaire : 1. Une approche innovante et une aventure humaine au service de la sécurité ferroviaire. 2. SAET-METEOR. 3. Preuve de propriétés globales à l'aide de l'outil de preuve SIMULINK DESIGN VERIFIER. 4. Démonstration de la sécurité d'une application ferroviaire de signalisation en mode nominal et en modes dégradés. 5. Utilisation de la preuve formelle dans le CBTC (OCTYS). 6. Validation d'automatismes ferroviaires de sécurité à base de réseaux de Petri. 7. ERTMS Formal Specs : un langage dédié pour la formalisation des spécifications pour le développement d'unité bord ERTMS. 8. Synthèse et conclusions.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Etat_Exemplaire
055383	004.4 TEC	Papier	Bibliothèque Centrale	Informatique	Disponible	Consultation sur place

Interaction homme-machine dans les transports / Christophe Kolski

Public ISBD Titre : Interaction homme-machine dans les transports : personnalisation, assistance et informations du voyageur Type de document : texte imprimé Auteurs : Christophe Kolski, Auteur Editeur : Paris : Hermès Science Année de publication : 2010 Autre Editeur : Paris : Lavoisier Collection : Recherche, technologie, applications Sous-collection : Informatique et systèmes d'information Importance : 312 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-7462-3010-1 Note générale : Bibliogr. p. 308-312. - Index Langues : Français (fre) Mots-clés : Interaction  homme-ordinateur Systèmes  homme-machine Transport  --  Systèmes  d'information Index. décimale : 65.015.11 Conception et disposition d'installations d'équipement.Conception et adaptation d'outils, de machines aux êtres humains.Ergonomie. Résumé : Les systèmes interactifs sont de plus en plus présents dans les transports. De nombreuses questions aussi bien pratiques que théoriques se posent autour de leur analyse, leur conception et leur évaluation. Lors de la préparation de son déplacement ou durant celui-ci, l’usager des transports, à la recherche d’informations personnalisées, devient un utilisateur de systèmes interactifs. Il entre, à partir de dispositifs personnels ou non, en interaction avec des systèmes d’information ou d’assistance. Comment offrir, à tout moment, une information répondant aux besoins et aux préférences des usagers ? Cet ouvrage, à vocation pluridisciplinaire, propose une réponse basée sur des principes d’adaptation et de personnalisation. Quel que soit l’usage ou le système interactif visé, la priorité est de toujours placer l’utilisateur au centre de sa conception. Note de contenu : Au sommaire : 1.Principes, problématique et perspectives de l'information voyageur dans un contexte multimodal 2. Méthodologie d'analyse des besoins en vue de la conception de systèmes d'information voyageur 3. Une méthode générique pour la personnalisation de systèmes interactifs. Application à l'information voyageur 4. Un cadre formel pour la conception et la validation de systèmes interactifs multimodaux dans le secteur du transport 5. De l'interaction à la coopération homme-machine : vers le copilotage automobile 6. IC et nouvelles interactions homme-machine pour les camions et bus du futur perspectives e-Truck et e-Bus 7. Prise en compte de l'expérience des temps de déplacement dans les modèles conceptuels d'applications interactives personnalisées 8. Vers de nouveaux panneaux interactifs dans les gares et stations 9. Les transports : un terrain fertile pour la plasticité des interfaces homme-machine Interaction homme-machine dans les transports : personnalisation, assistance et informations du voyageur [texte imprimé] / Christophe Kolski, Auteur . - Hermès Science : Paris : Lavoisier, 2010 . - 312 p. : ill. ; 24 cm. - (Recherche, technologie, applications. Informatique et systèmes d'information) . ISBN : 978-2-7462-3010-1 Bibliogr. p. 308-312. - Index Langues : Français (fre) Mots-clés : Interaction  homme-ordinateur Systèmes  homme-machine Transport  --  Systèmes  d'information Index. décimale : 65.015.11 Conception et disposition d'installations d'équipement.Conception et adaptation d'outils, de machines aux êtres humains.Ergonomie. Résumé : Les systèmes interactifs sont de plus en plus présents dans les transports. De nombreuses questions aussi bien pratiques que théoriques se posent autour de leur analyse, leur conception et leur évaluation. Lors de la préparation de son déplacement ou durant celui-ci, l’usager des transports, à la recherche d’informations personnalisées, devient un utilisateur de systèmes interactifs. Il entre, à partir de dispositifs personnels ou non, en interaction avec des systèmes d’information ou d’assistance. Comment offrir, à tout moment, une information répondant aux besoins et aux préférences des usagers ? Cet ouvrage, à vocation pluridisciplinaire, propose une réponse basée sur des principes d’adaptation et de personnalisation. Quel que soit l’usage ou le système interactif visé, la priorité est de toujours placer l’utilisateur au centre de sa conception. Note de contenu : Au sommaire : 1.Principes, problématique et perspectives de l'information voyageur dans un contexte multimodal 2. Méthodologie d'analyse des besoins en vue de la conception de systèmes d'information voyageur 3. Une méthode générique pour la personnalisation de systèmes interactifs. Application à l'information voyageur 4. Un cadre formel pour la conception et la validation de systèmes interactifs multimodaux dans le secteur du transport 5. De l'interaction à la coopération homme-machine : vers le copilotage automobile 6. IC et nouvelles interactions homme-machine pour les camions et bus du futur perspectives e-Truck et e-Bus 7. Prise en compte de l'expérience des temps de déplacement dans les modèles conceptuels d'applications interactives personnalisées 8. Vers de nouveaux panneaux interactifs dans les gares et stations 9. Les transports : un terrain fertile pour la plasticité des interfaces homme-machine

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Etat_Exemplaire
055648	65.015.11 KOL	Papier	Bibliothèque Centrale	Génie Industriel	Disponible	En bon état
055649	65.015.11 KOL	Papier	Bibliothèque Centrale	Génie Industriel	Disponible	Consultation sur place