MOSAIK Modellbasiertes Software Engineering für IT-sichere eingebettete Geräte von KMU

Ziel des Vorhabens MOSAIK ist die Bereitstellung einer Methode für die eingebettete Soft­wareentwicklung mit vordefinierten, konfektionierbaren Prozessschritten und Dokumentations­bausteinen. Hierbei sollen besonders die Anforderungen und Rahmenbedingungen von KMU berücksichtigt und ihnen durch eine erhebliche Senkung des Aufwandes und Risikos auch die Entwicklung IT-sicherer und zuverlässiger Geräte ermöglicht werden. Neben den Arbeiten zur ganzheitlichen Methodik und deren werkzeuggestützter Umsetzung (Framework einer Tool­kette) soll das Vorhaben Beiträge zur Berücksichtigung der IT-Security im Entwurfsprozess, zur Formalisierung der Anforderungsspezifikation, zu Designpattern und -kriterien sowie zur Automatisierung der Verifikation und Validierung liefern. Dabei erfolgt eine Prüfung bereits etablierter Werkzeuge auf deren Nutzbarkeit.