Integrierte algorithmische und deduktive Verifikation verteilter Steuerungssysteme für hybride Prozesse

• Antragsteller: Professor Dr. Willem-Paul de Roever
• Fachliche Zuordnung: Automatisierungstechnik, Mechatronik, Regelungssysteme, Intelligente Technische Systeme, Robotik
• Förderung: Förderung von 2003 bis 2004
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5288312

Ziel der Projekte ist die Entwicklung einer Methodik zur Verifikation verteilter, diskreter Steuerungssysteme, die die Grenzen der bisher realisierten, nur auf algorithmischen Analyseverfahren beruhenden Ansätzen überwinden soll. Weiterhin geht es um die Bereitstellung von Übersetzungsalgorithmen zwischen Beschreibungsmitteln, um diese Funktionen auch für Spezifikationen mit Sequential Function Charts zugänglich zu machen und so die Entwicklung von industrieller, anwenderprogrammierter Steuerungssoftware effizienter und sicherer zu gestalten.

• DFG-Verfahren: Sachbeihilfen