Méthode de validation globale pour les systèmes monopuces

LES TECHNOLOGIES ACTUELLES PERMETTENT L'INTEGRATION DE NOMBREUX COMPOSANTS SUR UNE SEULE PUCE. CES SYSTEMES APPELES SYSTEMES MONOPUCE (SOC) SONT UN ASSEMBLAGE HETEROGENE DE COMPOSANTS LOGICIELS El MATERIELS. LA PRESSION POUR LA QUALITE ET LES DELAIS DE MISE SUR LE MARCHE FONT DE LA VALIDATION DE CES SYSTEMES UN POINT CLE (70% DU TEMPS DE CONCEPTION). LA VERIFICATION DE L'INTEGRATION DES SOCS, REALISEE PAR SIMULATION, CONSISTE A VALIDER LES FONCTIONNALITES DES COMPOSANTS ET LEURS INTERCONNEXIONS DANS LI SYSTEME. ELLE EST COURAMMENT EFFECTUEE PAR L'EXECUTION DE PROGRAMMES LOGICIELS SUR LES PROCESSEURS EMBARQUES. CES PROGRAMMES SONT GENERALEMENT CONÇUS A BAS NIVEAU (ASSEMBLEUR, C) CE QUI REND DIFFICIL LA REALISATION DE SCENARII DE TEST COMPLEXES NECESSITANT DES MECANISMES DE SYNCHRONISATION SOPHISTIQUES. DE PLUS, LEUR UTILISATION N'EST PAS SUFFISANTE POUR EFFECTUER LA VALIDATION COMPLETE D'UN SYSTEME. AINSI, LES CONTRIBUTIONS PERMETTANT D'ACCELERER LA VALIDATION SONT: (1) LA DEFINITION D'UNE METHODOLOGIE DE VALIDATION UTILISANT PLUSIEURS TECHNIQUES DE VERIFICATION ADRESSANT LES PROBLEMES SPECIFIQUES AUX SOCS; (2) LA DEFINITION D'UNE NOUVELLE METHODE DE VERIFICATION DE L'INTEGRATION S'APPUYAN SUR DES PROGRAMMES DE TEST LOGICIEL DE HAUT NIVEAU REPOSANT SUR UN SYSTEME D'EXPLOITATION. CETTE METHODE A ETE VALIDEE SUR UN SYSTEME MONOPUCE INDUSTRIEL DESTINE AUX APPLICATIONS DE TELEVISION NUMERIQUE HAUTE DEFINITION.GRENOBLE1-BU Sciences (384212103) / SudocSudocFranceF