SPP 1064:
Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen
Subject Area
Computer Science, Systems and Electrical Engineering
Term
from 1998 to 2004
Project identifier
Deutsche Forschungsgemeinschaft (DFG) - Project number 5469175
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
Projects
-
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
)