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

混合过程分布式控制系统的集成算法和演绎验证

• 批准号: 5288312
• 负责人: Professor Dr. Willem-Paul de Roever
• 金额: --
• 依托单位: Institut für Informatik
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2003
• 资助国家: 德国
• 起止时间: 2002-12-31 至 2003-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5288312?language=en
• 关键词: Integrierte; algorithmische; und; deduktive; Verifikation

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.

该项目是一种验证验证方法，是一种分散的控制系统，是一种更好的实现方法，只有在算法分析的基础上才能解决问题。Weiterhin geht es um die Bereitstellung von Übersetzungsaltlease men 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.