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.
<strong>SPES</strong> Modeling Framework –<br />
Transversale Fragestellungen<br />
abstrakter<br />
konkreter<br />
Abstraction Layers<br />
Viewpoints<br />
Requirements Functional Logical Technical<br />
...<br />
...<br />
Echtzeit-spezifische Herausforderungen:<br />
...<br />
...<br />
• Mapping von Prozessen auf Prozessoren (räumliche Planung)<br />
• Scheduling der Ausführung der Tasks (zeitliche Planung)<br />
• Verifikation des Verhaltens der Applikation (Korrektheit)<br />
...<br />
...<br />
18