Digitale Hardware/ Software-Systeme- P15 pps
... von Zeitaspekten der Software wird, wie im Fall der Hardware-Verifikation, davon ausgegangen, dass das Problem zwei- stufig ist, d. h., dass zun ¨ achst das Zeitverhalten der Software analysiert ... engl. Deadlines f ¨ ur einzelne Software- Prozesse vor. Dabei spezifiziert eine Deadline die maximale Zeitspanne von Aktivierung eines Prozesses bis zu dessen 436 7 Software- Verifikation • Die...
Ngày tải lên: 02/07/2014, 14:20