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

• Antragsteller: Professor Dr. Wolfgang Reif
• Fachliche Zuordnung: Sicherheit und Verlässlichkeit, Betriebs-, Kommunikations- und verteilte Systeme
• Förderung: Förderung von 2005 bis 2014
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5454659

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.

• DFG-Verfahren: Schwerpunktprogramme
• Teilprojekt zu: SPP 1183: Organic Computing