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

• Applicant: Professor Dr. Wolfgang Reif
• Subject Area: Security and Dependability, Operating-, Communication- and Distributed Systems
• Term: from 2005 to 2014
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 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 Programme: Priority Programmes
• Subproject of: SPP 1183: Organic Computing