Les spécifications fonctionnelles

Automatismes industriels et temps réel

Henri Brenier

432 pages

Ajouter à une liste

Indisponible

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.

Au sommaire

Introduction
Le contexte historique
Le contexte industriel
Outils mathématiques
Métamodèles de la dynamique des systèmes
Métamodèles des machines d'état
Métamodèles de l'analyse structurée
Métamodèles de flots de données
Métamodèle UML
Conclusion

Annexes
Bibliographie
Index

L'auteur - Henri Brenier

Henri Brenier est ingénieur ESME. Au cours de sa carrière, il passe des automatismes industriels au temps réel. Il est actuellement consultant en génie automatique. Il a conçu le langage MSMC et développé le logiciel de spécification s'appuyant sur ce langage.

Caractéristiques techniques

	PAPIER
Éditeur(s)	Dunod
Auteur(s)	Henri Brenier
Nb. de pages	432
Format	17 x 24
Couverture	Broché
Poids	730g
Intérieur	Noir et Blanc
EAN13	9782100059584
ISBN13	978-2-10-005958-4