Les spécifications fonctionnelles

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 vademecum 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.

• 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.