Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Basic principles for software specification

Introduction to subject area reference case study production automation
: Westkämper, E.; Bengel, M.; Fischer, K.

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 ()
Automatisierungssoftware; Softwarespezifikation; Automatisierung

The applicability of the integrated techniques and methods, which are developed within the DFG priority program Software Specifications, is shown by means of two reference case studies, that describe typical systems from engineering point of view. One belongs to the area Production Automation. The characteristic aspects of process automation and the realized systems are focused in the case study, including open and closed loop control, real-time aspects as well as distribution of control functions.
As an introduction, the requirements of process automation and the case study Production Automation itself are discussed. This is followed by three papers, which are developed from project partners in the DFG priority program Software Specifications. The fourth paper is a look into the future. It handles the future requirements in software specification for manufacturing systems.