Ziel des Projekts ist die Entwicklung von Grundlagen, um probabilistisches Modelchecking (PMC) für die ebenenweise und ebenenübergreifende Analyse von Energie-Management-Strategien anzuwenden. Dazu entwickeln wir Theorie, Modellierungskonzepte, Algorithmen und Werkzeuge für die PMC-basierte multikriterielle und kompositionelle Analyse von Energie und Nutzen. Darüber hinaus wird die Nutzbarkeit von PMC-Ergebnissen als Entscheidungshilfe (zur Laufzeit) untersucht und innerhalb der durchgeführten Fallstudien mit den Projektpartnern evaluiert. Ein weiterer Untersuchungsgegen­stand ist die Kombinierbarkeit von PMC und Deduktionsmethoden für Beschreibungslogiken.

Rolle innerhalb des SFB 912

© SFB 912

• A04: Mit A04 kollaboriert B03 in Bezug auf eine betriebswirtschaftliche Semantik von MPI Spezifikationen (message passing interface - Spezifikationen) .
• B01: In Zusammenarbeit mit B01 ist eine Aufwertung der anfänglichen Arbeit an einem Modell von Aspekten hinsichtlich SLAM, mit einem Blick auf die Energieversorgungscharakteristiken, geplant.
• B02: In Kooperation mit B02 beschäftigen sich beide Teilprojekte mit der Addressierung der Kombination von Model-Checking Techniken und der "description logice reasoners."
• B04: Gemeinsam mit B04 analysiert B03 die Energie, die Leistungsfähigkeit und die Korrektheit verschiedener Sicherungsprotokolle und eines energiebewussten Bonding-Network-Gerätes. Außerdem legten beide gemeinsam die Grundlagen für die Formalisierung von "layered performance/demand models."
• HAEC-Software-Gruppe: Gemeinsam mit allen B-Teilprojekten wird an dem gemeinsamen HAECubie Demonstrator mit Video Downloading und Codeumwandlung gearbeitet.

Mitarbeiter

Projektleiter

• Prof. Dr. Christel Baier

Postdoc

• Dr.-Ing. Sascha Klüppelholz
• Dr. rer. nat. Joachim Klein

PhD Student

• M. Sc. Philipp Chrzson

ehemalige Mitarbeiter

• Dipl.-Inf.Marcus Daum