Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

A formal component concept for the specification of industrial control systems

: Braatz, B.; Klein, M.; Schröter, G.; Bengel, M.

Ehrig, H.; Damm, W.; Desel, J.; Große-Rhode, M.; Reif, W.; Schnieder, E.; Westkämper, E. ; Deutsche Forschungsgemeinschaft -DFG-, Bonn:
Integration of software specification techniques for applications in engineering : Priority Program SoftSpez of the German Research Foundation (DFG). Final Report
Berlin: Springer, 2004 (Lecture Notes in Computer Science 3147)
ISBN: 3-540-23135-8
ISSN: 0302-9743
International Workshop Integration of Specification Techniques for Applications in Engineering (INT) <3, 2004, Barcelona>
Joint European Conferences on Theory and Practice of Software (ETAPS) <7, 2004, Barcelona>
Fraunhofer IPA ()
software engineering; Softwareentwicklung; Steuerungssystem; Automatisierung

Motivated by the wide acceptance of component based technologies in software development, a component concept for software engineering is applied to modeling in the field of production automation. Taking the modeling of a holonic transport system as an example, it is shown, how function blocks in the sense of production automation can be understood as software engineering components. Thus, the advantages of component based modeling with respect to structuring, exchange and reuse can be transferred to systems in production automation.