SPP 1064:
Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen
Fachliche Zuordnung
Informatik, System- und Elektrotechnik
Förderung
Förderung von 1998 bis 2004
Projektkennung
Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5469175
Die steigende Dezentralisierung und der wachsende Anteil von Software in technischen Systemen verlangen Softwareentwicklungsmethoden fürkorrekte, sichere und flexibel anpassbare Software. Das Ziel desSchwerpunktprogramms besteht in der Entwicklung solcher Methoden, diedie verschiedenen Spezifikationsaspekte wie technische Beschreibungendes physikalischen Systems und dessen Ressourcen sowie verschiedeneAnalyse-, Design- und Einsatzmodelle des Softwaresystemsberü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.
DFG-Verfahren
Schwerpunktprogramme
Projekte
-
Effiziente Analyse von hybriden Systemen
(Antragsteller
Peleska, Jan
)
-
Entwicklung und Adaption von Methoden zur Softwarespezifikation für verteilte Echtzeitsysteme in der Prozessautomatisierung
(Antragstellerin
Vogel-Heuser, Birgit
)
-
Entwicklung und Adaption von Methoden zur Softwarespezifikation für verteilte Echtzeitsysteme in der Prozessautomatisierung
(Antragsteller
Göhner, Peter
)
-
Formale und methodische Integration von graphischer Spezifikation und Echtzeitverifikation im Entwurf komplexer Produktionsautomatisierungssysteme
(Antragsteller
Dangelmaier, Wilhelm
)
-
Formale und methodische Integration von graphischer Spezifikation und Echtzeitverifikation im Entwurf komplexer Produktionsautomatisierungssysteme
(Antragsteller
Kropf, Thomas
)
-
Formale und methodische Integration von graphischer Spezifikation und Echtzeitverifikation im Entwurf komplexer Produktionsautomatisierungssysteme
(Antragsteller
Rammig, Franz-Josef
)
-
Ingenieurwissenschaftliche Sicherheitsanalyse im Kontext formaler Spezifikation
(Antragsteller
Reif, Wolfgang
)
-
Integration objektorientierter Softwarespezifikationstechniken und deren anwendungsspezifische Erweiterung für industrielle Produktionssysteme am Beispiel der Automobilindustrie
(Antragsteller
Ehrig, Hartmut
)
-
Integration objektorientierter Softwarespezifikationstechniken und deren anwendungsspezifische Erweiterung für industrielle Produktionssysteme am Beispiel der Automobilindustrie
(Antragsteller
Westkämper, Engelbert
)
-
Integration von Beschreibungsmethoden aus der Automatisierungstechnik und der Softwaretechnik
(Antragsteller
Goedicke, Michael
)
-
Integration von Methoden zur Spezifikation und Verifikation von Sicherungseinrichtungen im spurgeführten Verkehr
(Antragsteller
Göhner, Peter
)
-
Integration von Methoden zur Spezifikation und Verifikation von Sicherungseinrichtungen im spurgeführten Verkehr
(Antragsteller
Pachl, Jörn
)
-
Integration von Methoden zur Spezifikation und Verifikation von Sicherungseinrichtungen im spurgeführten Verkehr
(Antragsteller
von Henke, Friedrich W.
)
-
Integration von Spezifikations- und Modellierungstechniken bei der Modellsynthese im Steuerungsentwurf
(Antragsteller
Desel, Jörg
)
-
Integration von Spezifikations- und Modellierungstechniken bei der Modellsynthese im Steuerungsentwurf
(Antragsteller
Hanisch, Hans-Michael
)
-
Integrative Spezifikation von verteilten Leitsystemen der flexibel automatisierten Fertigung
(Antragsteller
Gausemeier, Jürgen
)
-
Kombinierte Netz-Objektorientierungs-Spezifikationstechnik für Software von Sicherheitssystemen
(Antragsteller
Ehrich, Hans-Dieter
)
-
Kombinierte Netz-Objektorientierungs-Spezifikationstechnik für Software von Sicherheitssystemen
(Antragsteller
Schnieder, Eckehard
)
-
Methodisch fundierte Entwicklung echtzeitkritischer Systeme auf Basis der Beschreibungstechniken der UML-RT
(Antragsteller
Broy, Manfred
)
-
Spezifikation flexibel anpaßbarer Abläufe in ingenieurwissenschaftlichen Anwendungen
(Antragsteller
Saake, Gunter
)
-
Use-case driven Specification of Engineering Applications
(Antragsteller
Damm, Werner
)
