1. Modelarea și sinteza specificațiilor sincrone la nivel de sistem. - 1. 1. Introducere. - 1. 2. Modele la nivel de sistem. - 1. 3. Modelarea sistemelor sincrone simultane. - 1. 4. Semantica CFE-urilor. - 1. 5. Programarea operațiunilor în CFFSM. - 1. 6. Rezultate experimentale. - 1. 7. Concluzii și lucrări viitoare. - 2. Modelarea la nivel de sistem și compromisul arhitecturii hardware. - 2. 1. Introducere. - 2. 2. Modelare și abstractizare. - 2. 3. Compromisul arhitecturii hardware. - 2. 4. Modelarea comportamentului. - 2. 5. Aspecte suplimentare de reutilizare. - 2. 6. Concluzie. - 3. Automatizarea proiectării sistemului cu modele conceptuale. - 3. 1. Introducere. - 3. 2. Grafice conceptuale. - 3. 3. Capturarea cerințelor. - 3. 4. Unificarea cerințelor. - 3. 5. Cunoștințe de design. - 3. 6. Analiza specificațiilor. - 3. 7. Generarea modelului. - 3. 8. Adnotare inversă. - 3. 9. Concluzii. - 4. Co-verificarea hardware/software a proiectelor de sisteme încorporate folosind integrarea sistemului virtual. - 4. 1. Introducere. - 4. 2. Starea actuală a lucrurilor. - 4. 3. Noul mediu de integrare unificată. - 4. 4. Beneficiile integrării sistemului virtual. - 4. 5. Concluzie. - 5. LIRMM: Platformă de prototipare pentru codesign hardware/software. - 5. 1. Introducere. - 5. 2. Mediu de co-proiectare hardware/software. - 5. 3. Arhitectura plăcii de prototipare. - 5. 4. Performanța plăcii de prototipare. - 5. 5. Aplicare. - 5. 6. Concluzie. - 6. Proiectarea sistemului hardware/software bazat pe metodologia MCSE. - 6. 1. Introducere. - 6. 2. Prezentare generală a metodologiei de codesign. - 6. 3. Prezentarea exemplului. - 6. 4. Design funcțional cu stăpânirea performanței. - 6. 5. Pasul de specificație de implementare. - 6. 6. Un exemplu de probleme de co-design. - 6. 7. Concluzii. Limba: Engleză