Am Beispiel eines DVD-Players in der PC-Umgebung wird im folgenden thematisch skizziert, welche Anforderungen und eventuell auch Modifikationen an einem bereits vordefinierten und verifizierten DesignObject vorgenommen werden müssen. Zur Sprache kommen ferner die grundsätzliche Funktionalität des Standard-Design-Objects M2VD sowie die Softwareumgebung für die Verifikation.
展开▼
