Le projet Modistarc : un outil de test de conformité de composants OSEK/VDX pour l l automobile

Transcription

1 : un outil de test de conformité de composants OSEK/VDX pour l l automobile Benoît Caillaud, IRISA/INRIA Rennes MODISTARC = Methods and tools for the validation of OSEK/VDX DIStributed ARChitectures Projet Esprit R&D Consortium OSEK/VDX Partenaires : Dassault Electronique, FZI, Motorola, Sagem, Siemens AG & Automotive, Opel, BMW, Renault, PSA, université de Karlsruhe, INRIA. Début : sep. 97, durée : 20 mois 1

2 Le consortium OSEK Objectif économique : permettre une réelle mise en concurrence des équipementiers meilleure compétitivité des constructeurs. Partenaires : constructeurs automobiles européens, équipementiers electronique automobile européens + université de Karlsruhe Travail : standardisation d une architecture embarquée (OS + protocoles de communication) permettant la portabilité des applications 2

3 Calendrier du projet MODISTARC WP1 WP2 WP3 WP4 WP5 WP6 WP7 WP8 WP9 97/09 98/03 98/10 99/05 Project Management Conformance testing methodology Test suites definition for OS Test suites definition for COM & NM Conformance tool development for OS Conformance tool development for COM & NM OSEK implementation adaptation Test campaign Links with OSEK/VDX consortium 3

4 Bibliographie OSEK et et Modistarc Page WEB du projet Modistarc OSEK/VDX Conformance Testing Methodology Page WEB du consortium OSEK 4

5 L architecture OSEK Tableau de bord Automobile Contrôle chassis Contrôle moteur Terminal de diagnostic Application de diagnostic OSEK/VDX OSEK/VDX OSEK/VDX OSEK/VDX CAN Architecture répartie : plusieurs bus, 10 ECU Faible coût : processeurs 8 ou 16 bits, 1Mo mémoire Temps réel 5

6 L architecture OSEK OSEK/COM Standard API OSEK/COM Standard Protocols OSEK/COM Device Driver Interface Bus Frame Communication API Interaction Layer Application Network Management API Data Link Layer Bus I/O Driver Bus Communication Hardware Operating System OSEK Network Management Architecture modulaire : différents niveaux de fonctionnalité OS temps réel UUDT : communication mode diffusion de valeurs ASDT : communication mode connecté point à point 6

7 Comparaison avec l avionique et les télécoms Les applications et l architecture OSEK sont critiques mais pour le moment pas de travaux de validation des protocoles OSEK ( avionique et télécoms) Les systèmes embarqués automobiles ne sont pas ouverts. Chaque constructeur développe ses applications qui ne sont pas susceptibles de d interopérer ( télécoms) 7

8 Architecture de test TEST EQUIPMENT LT TM_PDUs OSEK PDUs EQUIPMENT UNDER TEST OSEK API UT IUT Equipement de test : PC + interface CAN. Equipement testé : ECU fournie par l équipementier, contenant le testeur haut en ROM. Communication entre testeurs (TM_PDU) : par OSEK/COM 8

9 Le générateur de tests TGV 9

10 Génération des cas de tests OSEK COM or NM + Upper Tester (SDL) (3) SDT Upper tester (C) OSEK supplier EQUIPMENT UNDER TEST Upper Tester + IUT (1) SDT, TGV (2) SDT CONFORMANCE TESTING COM or NM test suites (TTCN) (3) SDT Lower tester (C) TEST Tool supplier EQUIPMENT Lower Tester NETWORK 10

11 Test de la gestion de réseau (NM) : Simulation des défaillances REMOTE OPTION LOCAL OPTION Equipment Under Test (EUT) UT OSEK NM (IUT) Test Equipment (TE) Error simulation TM_PDU LT Test Software Equipment Under Test (EUT) UT OSEK NM (IUT) Test Software Test Equipment (TE) LT Software Driver Software Driver Software Driver Software Driver DATA BUS Interface Controller Hardware Driver Bus Manipulator Interface Controller Hardware Driver DATA BUS Interface Controller Hardware Driver Error simulation TM_PDU Interface Controller Hardware Driver 11

12 Conclusion Question : qui fait la certification OSEK? Probablement les équipementiers et les constructeurs eux mêmes. Remarques : Méthodes de certification plus proches des télécoms que de l avionique. Nécessité de travailler sur des spécifications stables et validées! 12