Systematic Design of Distributed Industrial Manufacturing Control Systems

Martin Hirsch

Diese Publikation zitieren

Martin Hirsch, Systematic Design of Distributed Industrial Manufacturing Control Systems (2010), Logos Verlag, Berlin, ISBN: 9783832597993

42
Accesses

Beschreibung / Abstract

Aktuell gibt es große neue Herausforderungen an die Hersteller von Automatisierungslösungen, um die vom Markt geforderte Flexibilität gewährleisten zu können. So müssen zum Einen Spezifikationstechniken entwickelt und angewendet werden, die der Komplexität verteilter Systeme gerecht werden und nicht schon in der Phase der Spezifizierung für erhöhte Verwirrung sorgen. Zum Anderen müssen aber auch aktuelle Lösungen für die softwaretechnische Realisierung der Automatisierung nach und nach durch neuere, flexiblere Ansätze ersetzt werden. Die Möglichkeit der Verifizierbarkeit von Automatisierungslösungen sollte in diesem Kontext auch nicht außer Acht gelassen werden. In den letzten Jahren haben sich hierzu verschiedene Technologien zum modellbasierten Steuerungsentwurf herausgebildet, auf welche in dieser Arbeit eingegangen wird. Diese Technologien werden methodisch miteinander verknüpft, um eine glatte Ingenieursarbeit ohne Bruchstellen zu gewährleisten. In dieser Arbeit wird speziell auf Vorgehensweisen zum verteilten Steuerungsentwurf eingegangen, die die Wiederverwendbarkeit von Steuerungskomponenten im Besonderen gewährleisten.

Inhaltsverzeichnis

  • BEGINN
  • 1 Introduction and Problem Description
  • 2 Framework Description
  • 2.1 System Specification
  • 2.2 Control Specification
  • 2.3 Verification
  • 2.4 Implementation and Execution
  • 2.5 Running Example
  • 3 Specification
  • 3.1 The Systems Modeling Language
  • 3.2 The IEC 61499 Standard
  • 3.3 Requirements
  • 3.4 Structure
  • 3.5 Behavior
  • 3.6 Simulation
  • 3.7 IEC 61499 Controller Generation
  • 3.8 Evaluation of the Intermediate Results
  • 4 Executable System Specification
  • 4.1 Model-View-Control Design Pattern
  • 4.2 Modeling
  • 4.3 Visualization
  • 4.4 Systematic Model-Based Controller Design
  • 4.5 Simulation and Testing
  • 4.6 Evaluation of the Intermediate Results
  • 5 Verification
  • 5.1 Basic Principles
  • 5.2 Formal Models and Tools
  • 5.3 Verification Example
  • 5.4 Evaluation of the Intermediate Results
  • 6 Integration
  • 7 Conclusions

Mehr von dieser Serie

    Ähnliche Titel

      Mehr von diesem Autor