Modellbasierte Generierung von statischen Schedules für sicherheitskritische, eingebettete Systeme mit Multicore Prozessoren und harten Echtzeitanforderungen

In dieser Arbeit wird anhand des neuen Werkzeugs PRECISION PRO das Potential der automatisierten Generierung von statischen Schedules für sicherheitskritische, eingebettete Systeme beschrieben. Dessen Erstellung ist häufig mit einem hohen manuellen Aufwand verbunden, da er von hoher Bedeutung für einen erfolgreichen Zertifizierungsprozess ist. Eine modellbasierte Generierung ermöglicht ein schnelles Feedback, eine frühe Bewertung der Hardware- und Softwarearchitekturen, sowie erweiterte Möglichkeiten zur Optimierung der Systemauslastung. Dabei ist immer sichergestellt, dass alle spezifizierten Anforderungen erfüllt sind.