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

The increasing decentralization and the growing share of software intechnical systems require software systems development methods thatguarantee correct, safe, and flexibly adjustable software. The aim ofthe 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.

DFG Programme Priority Programmes

• Combined Net-object-oriented-specification-technique for software of safety-relevant systems (Applicant Schnieder, Eckehard )
• Development and adaption of software specification methods for distributed real-time systems in process automation (Applicant Vogel-Heuser, Birgit )
• Effiziente Analyse von hybriden Systemen (Applicant Peleska, Jan )
• Entwicklung und Adaption von Methoden zur Softwarespezifikation für verteilte Echtzeitsysteme in der Prozessautomatisierung (Applicant Göhner, Peter )
• Formale und methodische Integration von graphischer Spezifikation und Echtzeitverifikation im Entwurf komplexer Produktionsautomatisierungssysteme (Applicant Dangelmaier, Wilhelm )
• Formale und methodische Integration von graphischer Spezifikation und Echtzeitverifikation im Entwurf komplexer Produktionsautomatisierungssysteme (Applicant Kropf, Thomas )
• Formale und methodische Integration von graphischer Spezifikation und Echtzeitverifikation im Entwurf komplexer Produktionsautomatisierungssysteme (Applicant Rammig, Franz-Josef )
• Ingenieurwissenschaftliche Sicherheitsanalyse im Kontext formaler Spezifikation (Applicant Reif, Wolfgang )
• Integration objektorientierter Softwarespezifikationstechniken und deren anwendungsspezifische Erweiterung für industrielle Produktionssysteme am Beispiel der Automobilindustrie (Applicant Ehrig, Hartmut )
• Integration objektorientierter Softwarespezifikationstechniken und deren anwendungsspezifische Erweiterung für industrielle Produktionssysteme am Beispiel der Automobilindustrie (Applicant Westkämper, Engelbert )
• Integration von Beschreibungsmethoden aus der Automatisierungstechnik und der Softwaretechnik (Applicant Goedicke, Michael )
• Integration von Methoden zur Spezifikation und Verifikation von Sicherungseinrichtungen im spurgeführten Verkehr (Applicant Göhner, Peter )
• Integration von Methoden zur Spezifikation und Verifikation von Sicherungseinrichtungen im spurgeführten Verkehr (Applicant Pachl, Jörn )
• Integration von Methoden zur Spezifikation und Verifikation von Sicherungseinrichtungen im spurgeführten Verkehr (Applicant von Henke, Friedrich W. )
• Integration von Spezifikations- und Modellierungstechniken bei der Modellsynthese im Steuerungsentwurf (Applicant Desel, Jörg )
• Integration von Spezifikations- und Modellierungstechniken bei der Modellsynthese im Steuerungsentwurf (Applicant Hanisch, Hans-Michael )
• Integrative Spezifikation von verteilten Leitsystemen der flexibel automatisierten Fertigung (Applicant Gausemeier, Jürgen )
• Kombinierte Netz-Objektorientierungs-Spezifikationstechnik für Software von Sicherheitssystemen (Applicant Ehrich, Hans-Dieter )
• Methodisch fundierte Entwicklung echtzeitkritischer Systeme auf Basis der Beschreibungstechniken der UML-RT (Applicant Broy, Manfred )
• Spezifikation flexibel anpaßbarer Abläufe in ingenieurwissenschaftlichen Anwendungen (Applicant Saake, Gunter )
• Use-case driven Specification of Engineering Applications (Applicant Damm, Werner )

Spokesperson Professor Dr. Hartmut Ehrig (†)