Home Special Topics DFG Research: Engineering Science Content

Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen / SPP 1064

Integration of Software Specification Techniques for Applications in Engineering

17.09.2003

Programmbeschreibung / Programme Summary

Die steigende Dezentralisierung und der wachsende Anteil von Software in technischen Systemen verlangen Softwareentwicklungsmethoden für korrekte, sichere und flexibel anpassbare Software. Das Ziel des Schwerpunktprogramms besteht in der Entwicklung solcher Methoden, die die verschiedenen Spezifikationsaspekte wie technische Beschreibungen des physikalischen Systems und dessen Ressourcen sowie verschiedene Analyse-, Design- und Einsatzmodelle des Softwaresystems berücksichtigen. Da die Entwicklungsprozesse dementsprechend eine Reihe verschiedener Modellierungs-, Spezifikations- und Beschreibungstechniken umfassen, die ingenieurwissenschaftliche wie informatische Techniken einschließen, müssen diese integriert werden. D.h., Methoden und Techniken zum Vergleich verschiedener Spezifikationen, der Darstellung semantischer Korrespondenzen und der Konsistenzprüfung sowie der Definition einer informellen oder formalen Semantik von Kollektionen von Spezifikationen werden entwickelt. Vor allem die Heterogenität der Sprachen, die den einzelnen Spezifikationen entsprechenden verschiedenen, aber möglicherweise überlappenden Sichten auf das System sowie die verschiedenen Ebenen der Granularität und Abstraktion führen dabei zu schwierigen Problemen, die gelöst werden müssen.

The increasing decentralization and the growing share of software in technical systems require software systems development methods that guarantee correct, safe, and flexibly adjustable software. The aim of the priority programme is to develop such methods that take into account the different specification aspects, ranging from technical descriptions of the physical system and its resources to the different analysis, design and deployment models of the software system. Since the development processes thus have to deal with a variety of modelling, specification and description techniques, that incooperate techniques from engineering and computer sciences, their integration becomes mandatory. That means, methods and techniques have to be provided to compare different specifications, to establish semantic correspondences, to check their consistency, and to define the informal or formal semantics of a collection of specifications. Especially the heterogeneity of the languages, the different but possibly overlapping views on the system addressed by the specifications, and the different levels of granularity and abstraction thereby impose difficult problems that have to be solved.

Sprecher / Spokesperson:

Professor Dr.rer.nat. Hartmut Ehrig
Institut für Softwaretechnik und Theoretische Informatik der Technischen Universität Berlin
Franklinstraße 28/29 · 10587 Berlin
Tel.: (030) 314-73511 · Fax.: (030) 314
E-Mail: ehrig@cs.tu-berlin.de

Further Information: tfs.cs.tu-berlin.de/SPP/index.html