Methods for Verification and Validation of Automotive Distributed Systems

摘要

Stále narustající složitost automobilovýchelektronických systému vytvárípoptávku po vhodných validacnícha testovacích metodách. Smerováníautomobilového prumyslu k plneautonomním vozidlum tento trenddále podporuje. Cílem práce je rozšíritmnožinu dostupných testovacíchmetod v nekolika oblastech. Prvnítakovou oblastí jsou mericí metodypro komunikacní sbernici FlexRay. Vporovnání se staršími standardy CAN aLIN je radic této sbernice konfigurovánmnohem vetším množstvím parametru.Pro zajištení správné funkce systémuje nutné overit, že aktuální hodnotytechto parametru odpovídají hodnotámpožadovaným. Tento úkol vyžadujenávrh mericích metod schopnýchidentifikovat skutecné hodnoty parametru.Další oblastí vyžadujícídoplnení stávajících testovací možnostíje integracní testování automobilovéelektroniky. S rostoucím poctemelektronických rídicích jednotek zacínábýt stávající zpusob testování pomocírucne navržených a implementovanýchtestovacích sekvencí nedostatecný.Práce se zabývá automatizací generovánítechto testovacích sekvencís využitím principu Model-basedtestování. Testovací sekvence jsougenerovány z modelu specifikovanýchcasovanými automaty. Soucástí práce jenávrh tohoto inovativních testovacíhokonceptu. Rešení je následne implementovánove forme testovacího nástrojeTaster a také je predstavena nováHIL testovací platforma založená namodulárním hardwaru firmy NationalInstruments. Overení této metody jeprovedeno formou dvou prípadovýchstudií. První demonstruje metoduna problému testováním systémubezklícového zapalování, druhá potomtestuje reálný systém otvírání pátýchdverí automobilu.