Formal Modeling, Safety Analysis, and Verification of Organic Computing Applications

点击翻译按钮获取中文摘要

In diesem Projekt werden Techniken zur Konstruktion hochzuverlässiger und adaptiver Organic Computing Anwendungen entwickelt. Zuverlässigkeit bedeutet hier die garantierte Erhaltung der Korrektheit und Sicherheit bei unerwarteten Störungen und Ausfällen von Komponenten. Adaptivität bezieht sich auf die Fähigkeit der selbständigen Anpassung an geänderte Anforderungen, Ziele und Umgebungsbedingungen. Das Ergebnis des Projekts ist eine formal fundierte Vorgehensweise, die Entwurf und Konstruktion von zukünftigen OC Systemen einfacher und sicherer machen wird. Zentrale Elemente sind intuitive Spezifikationsmechanismen für Organic Computing Anwendungen, Designkonzepte und Techniken zur formalen Analyse und Verifikation. Die Resultate werden an praxis-relevanten Fallstudien aus Bereichen Produktionsautomatisierung und mobile Systeme illustriert.