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). / The increase in functionality in the automotive industry over the last years has caused an increased in complexity of the electrical and electronic (E/E) systems associated. Commonly, functionality is distributed over different Electronic Control Units (ECUs) and the need of a robust communication between them is paramount. In the heavy-duty truck industry communication between ECUs is done using the SAE J1939 standard, which complements the Controller Area Network (CAN) protocol. Usually, these units are developed by multiple cross functional teams which not always follow similar developing processes. Additionally there are contextual constraints like: not properly documented or outdated resources, backward compatibility, introduction of new standards (i.e. functional safety standard ISO26262) and changes over the iterative processes of the V-model, which all result in a final product far from the original model.In this thesis we introduce the use of architecture recovery (AR) techniques, for extraction and verification of system architecture in existing systems. We have also proposed suggestions that can be considered when implementing software in order to apply AR techniques to. The tool chain designed is modular consisting of a high-level network model and extraction patterns and analysis tools which are applicable to other possible systems under study. A prototypical tool-chain was also developed and tested throughout several real case studies. AR utilizes information obtained from already implemented source code, using a non-disruptive complementary process to obtain precise and trustworthy knowledge about the system. We have verified that such a tool can be used to generate a suitable architectural representation of the system and even provide for safer vehicles by the use of architecture verification techniques such as: conformance (examining if the model under examination meets specifications), correspondence (comparison between a previously defined High-level Network Model and the Source Model extracted by the tool) and consistency (defined over the whole distributed system to check interoperability of network nodes).
| Identifer | oai:union.ndltd.org:UPSALLA1/oai:DiVA.org:kth-141163 |
| Date | January 2013 |
| Creators | Greco, Juan, Mokhtari, Behrooz |
| Publisher | KTH, Maskinkonstruktion (Inst.) |
| Source Sets | DiVA Archive at Upsalla University |
| Language | English |
| Detected Language | English |
| Type | Student thesis, info:eu-repo/semantics/bachelorThesis, text |
| Format | application/pdf |
| Rights | info:eu-repo/semantics/openAccess |
| Relation | MMK 2013:47 MES 005 |
Page generated in 0.0019 seconds