Zukunftstechnologie Multicore: Rechenpower paralle

Das Projekt befasst sich mit der Entwicklung von Sicherheitsmechanismen, Funktionen und Diensten für hochverfügbare sog. Multicoreprozessorsysteme. Multicoreprozessorsysteme sind eingebettete Systeme, bei denen in einem Chip mehrere Prozessoren parallel arbeiten.

Da der Entwicklungsaufwand solcher Systeme sehr hoch ist, sind die die Hürden für die Nutzung dieser Technologie für kleinere Unternehmen sehr hoch.  Daher sollen in diesem Projekt die notwendigen Werkzeuge zur Modellierung, dem Entwurf und der Analyse einer sicherheitskritischen Anwendung auf Multicoreprozessoren entwickelt werden und die technische Funktionen eines Multiprozessor-Echtzeitbetriebssystems erweitert werden.

Dazu gehören auf Seiten des Betriebssystems die Entwicklung spezifischer Sicherheitsmechanismen für die verlässliche Kommunikation zwischen Tasks, als auch die dynamische Allokation derselben womit hochverfügbare System realisiert werden können. Dies wird unterstützt durch Modellierungswerkzeuge für Architekturen, System- und Sicherheitsanforderungen als auch durch eine Laufzeitumgebung und Analysewerkzeuge zur Task-Ausführung, der System- und Speicherauslastung und -Zuteilung.