Network Architecture Recovery and Verification in the context of CAN Communication in Vehicles
Abstract: Den ökade funktionaliteten i bilindustrin under de senaste åren har orsakat ökad komplexitet i elektriska och elektroniska (E/E) system. Vanligtvis är funktionerna fördelade över olika elektroniska styrenheter (Electronic Control Units, ECU) och behovet av en stabil kommunikation mellan dem är stort. Kommunikationen i lastbilar mellan ECUs görs med "SAE J1939 standard" som kompletterar "Controller Area Network"(CAN)-protokollet. Vanligtvis utvecklas dessa enheter av flera tvärfunktionella grupper, som inte alltid följer liknande utvecklingsprocesser. Dessutom finns det kontextuella begränsningar som: inte alltid korrekt dokumenterade eller föråldrade resurser, bakåt kompatibilitet införandet av nya standarder (dvs. funktionella säkerhetsstandard ISO26262) och förändringar under de iterativa processer V-modellen, som alla resulterar i en slutprodukt långt från den ursprungliga modellen. Vi kommer i denna uppsats att introducera användandet av så kallad ”Architecture Recovery”-teknik (AR) för att extrahera och verifiera systemarkitektur från befintliga system . Det föreslås även vad man bör ha i åtanke vid utvecklingen av program i syfte att senare kunna tillämpa AR tekniker. En modulär verktygskedja har designats och består av en nätverksmodell på hög nivå, mönsterutvinning samt analysverktyg som är tillämpliga på andra möjliga system som studeras. En prototypimplementering har också utvecklats och testats under flera verkliga fallstudier. AR använder sig av information från redan implementerad källkod, och processen som använts stör inte den existerande funktionen i systemet. Vi har visat att sådana verktyg kan användas för att generera en pålitlig representation av systemets arkitektur och att det även ger säkrare fordon genom användandet av tekniker för arkitektur verifiering såsom: conformance (då man undersöker om den aktuella modellen möter kraven), correspondence (jämförelse mellan en tidigare definierad High-level Network Model och den Source Model som extraherats av verktyget) samt consistency (kontrollera samverkan mellan nätverksnoderna).
AT THIS PAGE YOU CAN DOWNLOAD THE WHOLE ESSAY. (follow the link to the next page)