| Titre : | Les specifications fonctionnelles : automatismes industriells et temps reel | | Type de document : | texte imprimé | | Auteurs : | Henri Bernier, Auteur | | Editeur : | Paris : Dunod | | Année de publication : | 2001 | | Collection : | Collection EEA. Série Automatismes | | Importance : | XV-416 p. | | Présentation : | ill. | | Format : | 24 cm. | | ISBN/ISSN/EAN : | 978-2-10-005958-4 | | Note générale : | La couv. porte en plus : "GEMMA, Grafcet, langage G, Lustre, MSMC, SA-RT, SDL, Signal, StateCharts, UML"
Bibliogr. [405]-407 p. Index. Annexes | | Langues : | Français (fre) | | Mots-clés : | Commande automatique
Automatismes séquentiels -- Spécifications
Temps réel (informatique) | | Index. décimale : | 681.5 Technologie de la commande automatique. Technologie intelligence. systèmes de contrôle. Automation | | Résumé : | Les méthodes de spécifications, dans le cadre de projets comportant des automatismes industriels ou des applications temps réel, consistent à formaliser le "quoi faire", c'est-à-dire à poser correctement le problème. Il faut bien reconnaître que ces méthodes qui se situent en amont de la conception des automatismes et des applications temps réel sont souvent négligées, à tort, par rapport aux méthodes de conception - le "comment faire" - plus proches de la réalisation.
Les automatismes industriels évoluent, et la frontière qui les sépare de l'informatique industrielle est de plus en plus ténue. Il devient aujourd'hui impératif que les concepteurs d'automatismes industriels se dotent d'outils de spécifications plus performants, ne serait-ce que pour répondre aux exigences des automatismes industriels répartis. Ce livre fournit aux entreprises concernées les briques méthodologiques de base qui leur permettront de se constituer leur méthode de travail, seule garante de la qualité, de la productivité et de l'évolutivité des applications.
Véritable vade-mecum des méthodes de spécifications fonctionnelles appliquées aux automatismes industriels et au temps réel, cet ouvrage est destiné, bien entendu, aux automaticiens, aux spécialistes "temps réel", aux services méthodes et aux bureaux d'études chargés de mettre en place dans l'entreprise des démarches structurées de conception de tout automatisme. Il s'adresse également aux spécialistes des process et de la production impliqués dans ces projets pour lesquels la maîtrise d'un langage de spécification est le seul moyen de dialoguer véritablement avec les automaticiens et les spécialistes du temps réel. | | Note de contenu : | Sommaire:
1. Le contexte historique
2. Le contexte industriel
3. Outils mathématiques
4. Métamodèles de la dynamique des systèmes
5. Métamodèles des machines d'état
6. Métamodèles de l'analyse structurée
7. Métamodèles de flots de données
8. Métamodèle UML |
Les specifications fonctionnelles : automatismes industriells et temps reel [texte imprimé] / Henri Bernier, Auteur . - Dunod, 2001 . - XV-416 p. : ill. ; 24 cm.. - ( Collection EEA. Série Automatismes) . ISBN : 978-2-10-005958-4 La couv. porte en plus : "GEMMA, Grafcet, langage G, Lustre, MSMC, SA-RT, SDL, Signal, StateCharts, UML"
Bibliogr. [405]-407 p. Index. Annexes Langues : Français ( fre) | Mots-clés : | Commande automatique
Automatismes séquentiels -- Spécifications
Temps réel (informatique) | | Index. décimale : | 681.5 Technologie de la commande automatique. Technologie intelligence. systèmes de contrôle. Automation | | Résumé : | Les méthodes de spécifications, dans le cadre de projets comportant des automatismes industriels ou des applications temps réel, consistent à formaliser le "quoi faire", c'est-à-dire à poser correctement le problème. Il faut bien reconnaître que ces méthodes qui se situent en amont de la conception des automatismes et des applications temps réel sont souvent négligées, à tort, par rapport aux méthodes de conception - le "comment faire" - plus proches de la réalisation.
Les automatismes industriels évoluent, et la frontière qui les sépare de l'informatique industrielle est de plus en plus ténue. Il devient aujourd'hui impératif que les concepteurs d'automatismes industriels se dotent d'outils de spécifications plus performants, ne serait-ce que pour répondre aux exigences des automatismes industriels répartis. Ce livre fournit aux entreprises concernées les briques méthodologiques de base qui leur permettront de se constituer leur méthode de travail, seule garante de la qualité, de la productivité et de l'évolutivité des applications.
Véritable vade-mecum des méthodes de spécifications fonctionnelles appliquées aux automatismes industriels et au temps réel, cet ouvrage est destiné, bien entendu, aux automaticiens, aux spécialistes "temps réel", aux services méthodes et aux bureaux d'études chargés de mettre en place dans l'entreprise des démarches structurées de conception de tout automatisme. Il s'adresse également aux spécialistes des process et de la production impliqués dans ces projets pour lesquels la maîtrise d'un langage de spécification est le seul moyen de dialoguer véritablement avec les automaticiens et les spécialistes du temps réel. | | Note de contenu : | Sommaire:
1. Le contexte historique
2. Le contexte industriel
3. Outils mathématiques
4. Métamodèles de la dynamique des systèmes
5. Métamodèles des machines d'état
6. Métamodèles de l'analyse structurée
7. Métamodèles de flots de données
8. Métamodèle UML |
|  |
Faire une suggestion Affiner la rechercheAcquisition de données / Georges Asch
