download - SPES 2020
download - SPES 2020
download - SPES 2020
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Safety-fokussierte Deployment Analyse<br />
Logical<br />
Viewpoint<br />
C1<br />
C3<br />
C2<br />
Technical<br />
Viewpoint<br />
ECU 1<br />
Bus<br />
ECU 2<br />
Herausforderungen<br />
• Es muss geprüft werden ob die Sicherheitsanforderungen<br />
der logischen Komponenten erfüllt sind<br />
• Die Erfüllung der Sicherheitsanforderungen muss<br />
nachgewiesen werden<br />
• Zusätzliche Kosten (Rezertifizierung) müssen<br />
minimiert werden<br />
Methoden zum effizienten Deployment<br />
• modulare Spezifikation von Sicherheitsanforderungen<br />
und Sicherheitsgarantien zwischen logischen<br />
Komponenten und Rechenknoten<br />
• Methode zur Prüfung der Sicherheitsanforderungen<br />
auf logischer und technischer Ebene<br />
• Teilautomatisierte Nachweiserstellung<br />
• Bewertung eines Deployments<br />
16