Integration von Techniken der Softwarespezifkation für ingenieurwissenschaftliche Anwendungen

Zusammenfassung.

Der Softwareanteil in technischen Systemen bekommt einen immer höheren Stellenwert. Für einen durchgängigen und wartbaren Entwurf der Software sind Spezifikationstechniken erforderlich, die von ingenieurwissenschaftlichen Ablaufbeschreibungen bis zu (objektorientierten) Softwaremodellen reichen. Wesentlich ist dabei, solche Techniken zu integrieren, um zu einem durchgängigen Systemmodell zu gelangen. Dies ist Gegenstand des DFG-Schwerpunktprogramms „Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche An- wendungen”, in dem Ingenieure und Informatiker in vierzehn Forschungsprojekten gemeinsam an der Entwicklung integrierter Methoden zur Softwarespezifkation vornehmlich in den Bereichen Produktionsautomatisierung und Verkehrsleittechnik arbeiten. In diesem Artikel geben wir einen Überblick über die Ergebnisse der ersten zwei Jahre des Schwerpunktprogramms und dessen Ziele für den weiteren Verlauf von vier Jahren.

Abstract.

The software part of technical systems is becoming increasingly important. For a continuous and maintainable software design, specification techniques are necessary, ranging from workflow descriptions in engineering sciences through to (object-oriented) software models. Thereby it is essential to integrate those techniques to achieve a general system model. This is the subject of the DFG Priority Programme “Integration of Software Specification Techniques for Applications in Engineering”, where engineers and computer scientists in fourteen research projects work together on the development of integrated methods for software specification, mainly in the domains of production automation and traffic control systems. In this article we give a survey of the results of the first two years of the Priority Programme and its aims for the remaining four years.