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

• Applicant: Professor Dr. Willem-Paul de Roever
• Subject Area: Automation, Mechatronics, Control Systems, Intelligent Technical Systems, Robotics
• Term: from 2003 to 2004
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 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 Programme: Research Grants