MOSAIK

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

MOSAIK

Ziel des Vorhabens „MOSAIK“ ist die Bereitstellung einer Methode für die eingebettete Softwareentwicklung mit vordefinierten, konfektionierbaren Prozessschritten und Dokumentationsbausteinen. 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. Aktuelle Arbeiten befassten sich mit der Umsetzung einer auf dem ReqIF-Standard basierten Requirement-Datenbank. Weitere Arbeiten befassten sich mit Methoden und Techniken zur Validierung und Verifikation. Ein Schwerpunkt lag dabei auf der automatisierten Testfallgenerierung.