OFFIS wird in dem Projekt die Entwicklung eines strukturierten Entwurfsprozesses unterstützen, wobei heute typische Hardwarecharakterisierungen und Hardware-/Softwareschnittstellen – einschließlich der vorhandenen Sicherheitsmechanismen – im Hinblick auf Zeit- und Nebenläufigkeitseigenschaften so weit verfeinert werden, dass basierend auf ihnen die für den Nachweis funktionaler Sicherheit erforderlichen Analysen durchgeführt werden können. Auch die Erweiterung bestehender Analysenmethoden und –technologien wird OFFIS hierzu vornehmen.
In dem Projekt ARAMiS haben führende Industrieunternehmen und Forschungsinstitute erfolgreich die Nutzbarkeit der Multi-Core Technologie in sicherheitsrelevanten Anwendungen anhand von prototypischen Implementierungen demonstriert. Ziel des Nachfolgeprojektes ARAMiS II ist die Optimierung und Verbesserung der eingesetzten Entwurfsprozesse in den Domänen Automobil, Avionik und Industrieautomation, unter besonderer Berücksichtigung der eingesetzten Werkzeuge und Plattformen für den effizienten Einsatz der Multi-Core Technologie. Dies wird erreicht durch die Bereitstellung eines systematischen und strukturierten Entwurfsprozesses für Multi-Core Software und Plattformen. Die Erarbeitung der hierfür notwendigen Methoden und Werkzeuge zur Realisierung dieses strukturierten Entwurfsprozesses, und insbesondere die Entwicklung und Verbesserung industrieller Plattformen die die spezifischen Anforderungen durch den Einsatz von Multi-Core berücksichtigen, komplementiert die Aktivitäten in dem ARAMiS II Projekt.
OFFIS bringt in das Projekt sicherheitsorientierte Entwurfs- und Analysemethoden ein, und entwickelt diese im Rahmen des Projektes weiter. Insbesondere wird OFFIS hierbei den - industriell anerkannten - Ansatz der Safety Architecture Pattern auf die Architektur von Multicore-Applikationen übertragen und damit für diese Klasse von Plattformen verfügbar machen.
Benedikt Bauer and Jan Steffen Becker and Thomas Peikenkamp and Christof Schlaak and Ingo Stierand; Combined Proceedings of the Workshops of the German Software Engineering Conference 2018 (SE 2018); 03 / 2018
Becker, Jan Steffen; Formal Methods for Industrial Critical Systems; 2018
Enabling of Results from AMALTHEA and others for Transfer into Application and building a Community around