Model-Based Testing has shown tangible benefits in previous research exploring widespread domains. Clearing systems in financial markets however are large software systems in which these approaches rarely have been explored. This paper in particular explores the Model-Based Testing approach using Modbat, a specialized tool based on extended finite-state machines, as a complementary testing approach on software clearing systems at Nasdaq. In particular, the approach is applied to functionalities of the system to test both its ability to find bugs undiscovered by traditional methods, as well as to measure its effectiveness and efficiency in creating reliable coverage in short amounts of time. In this study, we show that the model-based Modbat approach can achieve high code coverage with relatively little effort. 77 % of the production coverage was achieved with very few Modbat test runs. Additionally, only ∼ 9-14 % of the same lines of code, and a fraction of the time were required to achieve these results. From this, we conclude that Model-Based Testing approaches such as Modbat allow for significantly more efficient testing in terms of coverage over time compared to manual approaches. / Modellbaserad testning har visat på konkreta fördelar i tidigare forskning som utforskat omfattande områden. Clearingsystem inom finansmarknader är dock stora programvarusystem där dessa metoder sällan har utforskats. Denna arbete utforskar specifikt modellbaserad testning med användning av Modbat, ett specialiserat verktyg baserat på utökade ändliga automater, som ett kompletterande testningsmetodik för programvarurensningssystem på Nasdaq. Särskilt tillämpas metoden på specifika funktioner i systemet för att testa både dess förmåga att hitta buggar som inte upptäckts av traditionella metoder och att mäta dess effektivitet att skapa pålitlig täckning av kod på kort tid. I denna studie visar jag att den modellbaserade Modbat-metoden kan uppnå hög kodtäckning med relativt lite ansträngning. 77 % av produktionskoden täcktes med mycket få Modbat-testkörningar. Dessutom krävdes endast cirka 9-14 % av samma LOC, och en bråkdel av tiden för att uppnå dessa resultat.

A modern truck contains a large number of functionalities implemented in its electronics system. Thus, testing all of these functions employs a considerable effort. The execution of tests against the system has been automated for a long time. Unfortunately, most of the test is still designed manually these days. This manual test design is sometimes not comprehensive enough to cover all possible scenarios within a complex system. At the moment, there is also a growing trend in the development process based on the model. Furthermore, model-based software can handle events and signal behaviour more robustly[1]. This thesis investigates the technique in model-based testing. The study evaluates the requirement modelling and automated abstract test generation of model-based testing over the existing testing method. A cause-effect graph is utilized for the modelling in Matlab Simulink tool with DesignVerifier feature. The case study is the truck dosing system in Scania. The results are the following. The temporal and static requirements modelling are capable of being modelled using the cause-effect graph in Matlab Simulink. Compared to the traditional method, the MBT method can achieve higher requirement coverage and more rigorous test with optimized test case generation. The MBT method also has a rapid test case generation time suitable for quick design iteration. However, the total test development time (including test case generation time) of using MBT is 12.5% higher than the manual method. Using a model-based platform like Matlab Simulink is recommended to assist the manual testing, not to replace the test flow entirely with the current research state. / En modern truck innehåller ett stort antal funktioner implementerade i dess elektroniksystem. Att testa alla dessa funktioner kräver därför en avsevärd ansträngning. Utförandet av tester mot systemet har varit automatiserat under lång tid. Tyvärr är det mesta av testet fortfarande utformat manuellt nu för tiden. Denna manuella testdesign är ibland inte tillräckligt omfattande för att täcka alla möjliga scenarier inom ett komplext system. För tillfället finns det också en växande trend i utvecklingsprocessen utifrån modellen. Dessutom kan modellbaserad programvara hantera händelser och signalbeteende mer robust[1]. Detta examensarbete undersöker tekniken i modellbaserad testning. Studien utvärderar kravmodellering och automatiserad abstrakt testgenerering av modellbaserad testning över den befintliga testmetoden. En cause-effect graph används för modelleringen i Matlab Simulink-verktyget med Design Verifier-funktionen. Fallstudien är lastbilens doseringssystem i Scania. Resultaten är följande. Den tidsmässiga och statiska kravmodelleringen kan modelleras med hjälp av cause-effect graph i Matlab Simulink. Jämfört med den traditionella metoden kan MBT-metoden uppnå högre kravtäckning och mer rigorösa test med optimerad testfallsgenerering. MBT-metoden har också en snabb genereringstid för testfall som är lämplig för snabb designiteration. Den totala testutvecklingstiden (inklusive genereringstid för testfall) för att använda MBT är 12,5% högre än den manuella metoden. Att använda en modellbaserad plattform som Matlab Simulink rekommenderas för att underlätta den manuella testningen, inte för att ersätta testflödet helt med det aktuella forskningsläget.

In the highly competitive transportation industry, one way to gain a competitive advantage is to ensure the customer needs are satisfied and tailored according to each customer’s need. Scania’s one of the core values is customers first and believes that the organization is successful only when its customers are successful. In order to achieve their goals, modularization is the key to tailoring the needs of each customer. Considering this factor, an ‘n’ number of variants are required in each module of the trucks and buses offered to the customer. This thesis focuses onthe high voltage cables i.e. VCB cables in Scania’s terms, the cable harnesses are considered as the human nerves and blood vessels for automobiles. Scania is set to produce the VCB cables in-house instead of buying them from the suppliers which is the current method. The thesis focuses on the challenges in change management for new components in-house manufacturing by design-manufacturing integration as a solution. A case study is conducted for the products of electric trucks and buses to understand the design manufacturing integrations. The thesis aims to identify gaps and find where the highest risk exists for deviations in today’s process in terms of design demands, product specification, and product preparation in the production of VCB cables. The case study is conducted, including a literature review and semi-structured qualitative interviews to understand the workflow of how the information is transferred between many cross-functional groups with different business areas such as research & development (R&D) and production. The thesis aims to understand what challenges Scania’s METP (Engineering and process, Battery & VCB production) production group faces while going through a change of organizational structure and interpreting the information via engineering drawings between different stakeholders/groups. A conceptual framework is presented by emphasizing the communication between the R&D groups and the production group by benchmarking the DMI practices for collaborative product development. Furthermore, suggestions for effective drawing methods and increasing the group dynamics between R&D and production are discussed in the thesis. It is hoped that the thesis provides a guide to initiate the stated tasks in results to ensure a smooth production start-up. / I den mycket konkurrensutsatta transportbranschen är ett sätt att få en konkurrensfördel att säkerställa kundens behov genom att skräddarsy produkten efter varje kunds behov. En av Scanias kärnvärdena är “kunderna först” vilket Scania anser vara ett viktigt måtto, speciellt eftersom Scanias framgång bygger på kundens framgång. För att nå sina mål är modularisering nyckeln till framgång. För att lyckas med detta krävs ett "n" antal varianter i varje modul av de produkkter som erbjuds kunden. Detta examensarbete fokuserar på högspänningskablarna. Scania utforskar möjligheten att producera högspänningskablarna i egen regi istället för att köpa dem från leverantörerna, vilket är den nuvarande metoden. Avhandlingen fokuserar på utmaningarna inom förändringsarbetet som krävs för att impementera denna typ av förändring. En fallstudie genomfördes på elektriska lastbilar och bussar för att förstå integrationen av design och tillverkning på detaljerad nivå som tidgare inte hade behövts eftersom externa leverantör tog hand om detaljerna. Avhandlingen syftar till att identifiera luckor och hitta var den största risken finns för avvikelser i dagens process vad gäller designkrav, produktspecifikationer och produktförberedelser vid tillverkning av högspänningskablage. Fallstudien genomfördes, inklusive en litteraturgenomgång och semistrukturerade kvalitativa intervjuer för att förstå arbetsflödet för hur informationen överförs mellan tvärfunktionella grupper. Dessa grupper har olika affärsområden såsom forskning & utveckling (FoU) och produktion. Avhandlingen syftar till att förstå vilka utmaningar Scanias production team (Engineering and process, Battery & VCB production) produktionsgrupp står inför samtidigt som de går igenom en förändring av organisationsstrukturen och tolkar informationen via tekniska ritningar mellan olika intressenter/grupper. Ett konceptuellt ramverk presenteras genom att betona kommunikationen mellan FoU-grupperna och produktionsgruppen genom att jämföra DMI:s praxis för samverkande produktutveckling. Vidare diskuteras förslag på effektiva metoder för teknisk ritning samt att öka gruppdynamiken mellan FoU och produktion. Förhoppningen är att avhandlingen ger en vägledning för att initiera de angivna målen för att säkerställa en smidig produktionsstart.

Increased trends towards servitization within previously exclusively manufacturing industries makes a larger part of maintenance become the responsibility of the manufacturer. This increased responsibility makes it more important for suppliers to know how different parameters contribute to cost, to be able to price their contracts correctly. Systems Engineering (SE) and Integrated Logistics Support (ILS) are two current methodologies on how to manage large systems. These methodologies are mainly used within defence industries and large capital-intensive infrastructure projects but are today also utilised in civilian industries. With the new methodology of Model Based Systems Engineering (MBSE) and the new demands of servitization it becomes more important to know how different parameters affect the final cost of a project during the very early phases of development. Within ILS the parameters Administrative Delay Time (ADT) and Logistics Delay Time (LDT) have previously not received attention proportional to their contribution to overall availability in projects. This thesis is based in literature, interviews of industry professionals, and the study of a real case of an electrical charging infrastructure project currently in development. From these sources multiple paths to resolve the issues with support from ILS, MBSE, SE, and other management literature are explored. Several attributes of the case, and characteristics of MBSE and ILS leads to the conclusion that coupling the methodologies with Lean methods would lead to better insight into where critical points in the explored system are and give ways of resolving issues with ADT and LDT that exist. The combination of MBSE and Lean methods could successfully identify possible critical points in the error handling of the electrical charging infrastructure system early in the process of implementation. Conclusionary the combination of MBSE, ILS, and Lean is a possibly powerful way to identify and improve the availability and consequently the cost of a project in the early stages. / Tjänstefiering är en trend som gör att en allt större del av underhåll inom tidigare endast tillverkande industrier blir tillverkarens ansvar. När detta ansvar ökar blir det viktigare för tillverkaren and veta vilka parametrar som är kostnadsdrivande. Detta för att kunna prissätta sina tjänster korrekt. Systemteknik (SE) och Integrerat Logistikstöd (ILS) är två metodologier som används till att hantera underhåll av stora system. Dessa nyttjas främst inom försvarsindustrin och inom kapitalintensiva infrastrukturprojekt, men används även i privat industri. Med hjälp av en utveckling inom SE, Modellbaserad Systemteknik (MBSE), och med de krav som tjänstefiering innebär så blir vikten av att ha korrekt angivna parametrar tidigt i projektet mer tydlig. Inom ILS är särskilt parametrarna administrativ väntetid (ADT) och logistisk väntetid (LDT) särskilt eftersatta med hänsyn till hur mycket de påverkar tillgängligheten och kostnaderna för systemet. Detta examensarbete baseras på tillgänglig litteratur inom nämnda områden, intervjuer med industrirepresentanter, och dokumentation och intervjuer i ett riktigt fall. Det riktiga fallet är ett pågående projekt för uppbyggnad och underhåll av laddningsinfrastruktur för eldrivna fordon. Från dessa källor utforskades och analyserades flera vägar för hur man skulle kunna förbättra hanteringen av ADT och LDT med grund i litteraturen kring ILS, MBSE, och SE med annan litteratur inom mangament som stöd. Fallets egenskaper, och egenskaper hos ILS och MBSE leder till slutsatsen att en kombination av MBSE och Lean skulle leda till att man lättare kan utforska kritiska delar av ett underhållssystem, och åtgärda existerande problem med ADT och LDT. En kombination av dessa principer kunde identifiera kritiska punkter i felhanteringssystemet hos laddarna i infrastrukturprojektet trots att projektet befann sig tidigt i implementationen. Slutligen kan konstateras att MBSE, ILS och Lean är en möjlig kraftfull kombination för att förbättra tillgängligheten tidigt i ett projekts livscykel.

The Concurrent Design Platform 4 (CDP4®) is a collaborative Model-Based Systems Engineering (MBSE) software tool conceived for architecting complex systems. Nevertheless, there are limitations concerning the manageable number of system options. The upcoming Siemens tool for generative engineering, Simcenter™ Studio, is attempting to overcome this limitation by enabling automatic synthesis and evaluation of architecture variants. The motivation for the Generative Concurrent Design (GCD) project as a collaboration between RHEA, Siemens and OHB is to develop a combined prototype of these two tools. This thesis presents a modelling of Copernicus Next Generation (CNG) space component, using generative capabilities in a typical Phase-0 study. It represents the third step of the bottom-up GCD validation process, intended to investigate how architecting differs among “Sub-system”, “Systems” and “Systems of Systems (SoS)”. Therefore, this work provides an architecting strategy which is generalizable for other SoS use-cases and contributes to assess whether extensions to ECSS-E-TM-10-25 are necessary to successfully support GCD. / Concurrent Design Platform 4 (CDP4®) är ett samarbetsverktyg för modellbaserad systemteknik (MBSE) som utformats för att bygga komplexa system. Dock finns det begränsningar vad gäller det antalet hanterbara systemalternativ. Det kommande Siemens-verktyget för generativ teknik, Simcenter™ Studio, försöker övervinna denna begränsning genom att möjliggöra automatisk syntes och utvärdering av arkitekturvarianter. Motivationen för Generative Concurrent Design (GCD) -projektet som ett samarbete mellan RHEA, Siemens och OHB är att utveckla en kombinerad prototyp av verktygen CDP4® och Simcenter™. Detta examensarbete presenterar en modellering av rymdkomponenten Copernicus Next Generation (CNG) med användning av generativa funktioner i en typisk fas-0-studie. Den representerar det tredje steget i GCD-valideringsprocessen nedifrån och upp, avsedd att undersöka hur arkitekturen skiljer sig åt mellan "Sub-system", "Systems" och "Systems of Systems (SoS)". Detta arbete ger därför en arkitektonisk strategi som är generaliserbar för andra SoS-användningsfall och bidrar till att bedöma om förlängningar till ECSS-E-TM-10-25 är nödvändiga för att framgångsrikt stödja GCD.

Transition delay in boundary-layer flows is achieved via reactive control of flow instabilities, i.e. Tollmien-Schlichting (TS) waves. Adaptive and model-based control techniques are investigated by means of direct numerical simulations (DNS) and experiments. The action of actuators localised in the wall region is prescribed based on localised measurement of the disturbance field; in particular, plasma actuators and surface hot-wire sensors are considered. Performances and limitations of this control approach are evaluated both for two-dimensional (2D) and three-dimensional (3D) disturbance scenarios. The focus is on the robustness properties of the investigated control techniques; it is highlighted that static model-based control, such as the linear-quadratic- Gaussian (LQG) regulator, is very sensitive to model-inaccuracies. The reason for this behaviour is found in the feed-forward nature of the adopted sensor/actuator scheme; hence, a second, downstream sensor is introduced and actively used to recover robustness via an adaptive filtered-x least-mean-squares (fxLMS) algorithm. Furthermore, the model of the flow required by the control algorithm is reduced to a time delay. This technique, called delayed-x least-mean-squares (dxLMS) algorithm, allows taking a step towards a self-tuning controller; by introducing a third sensor it is possible to compute on-line the suitable time-delay model with no previous knowledge of the controlled system. This self-tuning approach is successfully tested by in-flight experiments on a motor-glider. Lastly, the transition delay capabilities of the investigated control con- figuration are confirmed in a complex disturbance environment. The flow is perturbed with random localised disturbances inside the boundary layer and the laminar-to-turbulence transition is delayed via a multi-input-multi-output (MIMO) version of the fxLMS algorithm. A positive theoretical net-energy- saving is observed for disturbance amplitudes up to 2% of the free-stream velocity at the actuation location, reaching values around 1000 times the input power for the lower disturbance amplitudes that have been investigated. / I den här avhandlingen har reglertekniska metoder tillämpats för att försena omslaget från ett laminärt till ett turbulent gränsskikt genom att dämpa tillväxten av små instabiliteter, så kallade Tollmien-Schlichting vågor. Adaptiva och modellbaserade metoder för reglering av strömning har undersökts med hjälp av numeriska beräkningar av Navier-Stokes ekvationer, vindtunnelexperiment och även genom direkt tillämpning på flygplan. Plasmaaktuatorer och varmtrådsgivare vidhäftade på ytan av plattan eller vingen har använts i experimenten och modellerats i beräkningarna. Prestanda och begränsningar av den valda kontrollstrategin har utvärderats för både tvådimensionella och tredimensionella gränsskiktsinstabiliteter. Fokus har varit på metodernas robusthet, där vi visar att statiska metoder som linjär-kvadratiska regulatorer (LQG) är mycket känsliga för avvikelser från den nominella modellen. Detta beror främst på att regulatorer agerar i förkompenseringsläge (”feed-foward”) på grund av strömningens karaktär och placeringen av givare och aktuatorer. För att minska känsligheten mot avvikelser och därmed öka robustheten har en givare införts nedströms och en adaptiv fXLMS algoritm (filtered-x least-mean-squares) har tillämpats.                  Vidare har modelleringen av fXLMS-algoritmen förenklats genom att ersätta överföringsfunktionen mellan aktuatorer och givare med en lämplig tidsfördröjning.  Denna  metod som kallas för dxLMS (delayed-x least-mean-squares) kräver att ytterligare en givare införs långt uppströms för att kunna uppskatta hastigheten på de propagerande instabilitetsvågorna. Denna teknik har tillämpats framgångsrikt för reglering av gränsskiktet på vingen av ett segelflygplan. Slutligen har de reglertekniska metoderna testas för komplexa slumpmässiga tredimensionella störningar som genererats uppströms lokalt i gränsskiktet. Vi visar att en signifikant försening av laminärt-turbulentomslag äger rum med hjälp av en fXLMS algoritm. En analys av energibudgeten visar att för ideala aktuatorer och givare kan den sparade energiåtgången på grund av minskad väggfriktion vara upp till 1000 gånger större än den energi som använts för reglering.

This master’s thesis explores ways to uncover and exploit vulnerabilities in Android applications by introducing a novel approach to security testing. The research question focuses on discovering an effective method for detecting vulnerabilities related to the context of an application. The study begins by reviewing recent papers on Android security flaws affecting application in order to guide our tool creation. Thus, we are able to introduce three Domain Specific Languages (DSLs) for Model-Based Security Testing (MBST): Context Definition Language (CDL), Context-Driven Modelling Language (CDML), and Vulnerability Pattern (VPat). These languages provide a fresh perspective on evaluating the security of Android apps by accounting for the dynamic context that is present on smartphones and can greatly impact user security. The result of this work is the development of VPatChecker[1], a tool that detects vulnerabilities and creates abstract exploits by integrating an application model, a context model, and a set of vulnerability patterns. This set of vulnerability patterns can be defined to represent a wide array of vulnerabilities, allowing the tool to be indefinitely updated with each new CVE. The tool was evaluated on the GHERA benchmark, showing that at least 38% (out of a total of 60) of the vulnerabilities in the benchmark can be modelled and detected. The research underscores the importance of considering context in Android security testing and presents a viable and extendable solution for identifying vulnerabilities through MBST and DSLs. / Detta examensarbete utforskar vägar för att hitta och utnyttja sårbarheter i Android-appar genom att introducera ett nytt sätt att utföra säkerhetstestning. Forskningsfrågan fokuserar på att upptäcka en effektiv metod för att detektera sårbarheter som kan härledas till kontexten för en app. Arbetet inleds med en översikt av nyliga forskningspublikationer om säkerhetsbrister som påverkar Android-appar, vilka vägleder utvecklingen av ett verktyg. Vi introducerar tre domänspecifika språk (DSL) för modellbaserad testning (MBST): CDL, CDML och VPat. Dessa språk ger ett nytt perspektiv på säkerheten för Android-appar genom att ta hänsyn till den dynamiska kontext som finns på smarta mobiltelefoner och som kan starkt påverka användarsäkerheten. Resultatet av arbetet är utveckling av VPatChecker[1], ett verktyg som upptäcker sårbarheter och skapar abstrakta sätt att utnyttja dem i en programmodell, en kontextmodell, och en mängd av sårbarhetsmönster. Denna sårbarhetsmönstermängd kan defineras så att den representerar ett brett spektrum av sårbarheter, vilket möjliggör för verktyger att uppdateras med varje ny CVE.Verktyget utvärderades på datamängden GHERA, vilket visade att 38% (av totalt 60) av alla sårbarheter kunde modelleras och upptäckas. Arbetet understryker vikten av att ta hänsyn till kontext i säkerhetstestning av Android-appar och presenterar en praktisk och utdragbar lösning för att hitta sårbarheter genom MBST and DSLs. / Ce mémoire de maîtrise explore les moyens de découvrir et d’exploiter les vulnérabilités des applications Android en introduisant une nouvelle approche des tests de sécurité. La question de recherche se concentre sur la découverte d’une méthode efficace pour détecter les vulnérabilités liées au contexte d’une application. L’étude commence par l’examen de documents récents sur les failles de sécurité des applications Android afin de guider la création de notre outil. Nous sommes ainsi en mesure d’introduire trois Langages dédié (DSL) pour des Tests de Sécurité Basés sur les Modèles (MBST) : Langage de Définition de Contexte (CDL), Langage de Modélisation Déterminée par le Contexte (CDML) et Motif de Vulnérabilité (VPat). Ces langages offrent une nouvelle perspective sur l’évaluation de la sécurité des applications Android en tenant compte du contexte dynamique présent sur les smartphones et qui peut avoir un impact important sur la sécurité de l’utilisateur. Le résultat de ce travail est le développement de VPatChecker[1], un outil qui détecte les vulnérabilités et crée des exploits abstraits en intégrant un modèle d’application, un modèle de contexte et un ensemble de modèles de vulnérabilité. Cet ensemble de modèles de vulnérabilité peut être défini pour représenter un large éventail de vulnérabilités, ce qui permet à l’outil d’être indéfiniment mis à jour avec chaque nouveau CVE. L’outil a été testé sur le benchmark GHERA[2] et montre qu’un total d’au moins 38% (sur un total de 60) des vulnérabilités peut être modélisé et détecté. La recherche souligne l’importance de prendre en compte le contexte dans les tests de sécurité Android et présente une solution viable et extensible pour identifier les vulnérabilités par le biais de MBST et DSLs.

Model-based testing (MBT) is a black-box software testing technique that focuses on specification of the system-under-test (SUT) and/or its environment. It uses models to automatically generate a large number of tests. To the best of our knowledge, no study has investigated the correlation of model coverage with SUT coverage using more advanced coverage criteria (such as edge-pair coverage) and the correlation of coverage (at model level and SUT level) with test suite effectiveness using non-adequate test suites in the context of MBT despite the prominence of non-adequate test suites in industry. To carry out the investigation, we extend an existing open-source MBT tool called Modbat to measure edge-pair coverage at model level, implement a new tool called PaCovForJbc to measure edge-pair coverage, edge coverage and node coverage at SUT level. Finally, we perform an experiment using these tools applied on three projects: “ArrayList”, and “LinkedList” of Java standard library, and “Apache ZooKeeper”. Overall, the results suggest the following: Edge and edge-pair coverage at model level often have a moderate to high correlation with the same type of coverage at SUT level, while that link between model and SUT for node coverage is weaker. Moreover, coverage criteria at SUT level often have a moderate to high correlation with test suite effectiveness, and a coverage criterion at SUT level has a slightly higher correlation with test suite effectiveness than the same type of coverage at model level. Regarding coverage at model level, edge and edge-pair coverage at model level have a slightly higher correlation with test suite effectiveness than node coverage at model level. Note that the mentioned suggestions need to be taken with discretion, because results vary depending on the project and/or coverage criterion under investigation. / Modellbaserad testning (MBT) är en black-box-testteknik som fokuserar på specifikation av system-under-test (SUT) och/eller dess miljö. MBT använder modeller för att generera ett stort antal tester automatiskt. Såvitt vi vet, finns ingen studie som undersökt korrelationen mellan modelltäckning och täckning av SUT med hjälp av mer avancerade täckningskriterier såsom kantparstäckning. Dessutom finns ingen studie som undersökt korrelationen mellan täckning (på modellnivå och SUT-nivå) och effektivitet av icke- adekvata testsviter som genereras med hjälp av MBT trots betydelsen av icke-adekvata testsviter i industrin. För att utföra undersökningen, utökar vi ett ”open-source” MBT-verktyg som kallas för Modbat för att mäta kantparstäckning på modellnivå. Dessutom implementerar vi ett nytt verktyg som kallas för PaCovForJbc för att mäta kantpars-, kant- och nodtäckning på SUT-nivå. Till slut utför vi experiment genom att applicera Modbat och PaCovForJbc på tre projekt: ”ArrayList” och ”LinkedList” av Javas standardbibliotek samt ”Apache ZooKeeper”. Sammantaget indikerar resultaten följande: Kant- och kantparstäckning på modellnivå har ofta en måttlig till hög korrelation med samma typ av täckning på SUT- nivå, medan länken mellan modell och SUT för nodtäckning är svagare. Dessutom har täckningskriterier på SUT-nivå ofta en måttlig till hög korrelation med testsvitseffektivitet, och ett täckningskriterium på SUT-nivå har en aning högre korrelation med testsvitseffektivitet än samma typ av täckning på modellnivå. Angående täckning på modellnivå har kant- och kantparstäckning på modellnivå en aning högre korrelation med testsvitseffektivitet än nodtäckning på modellnivå. Observera att de nämnda förslagen måste tas med diskretion, eftersom resultaten varierar beroende på projektet och/eller täckningskriteriet som undersöks.

When developing three-phase drives for Electric Vehicles (EVs), it is essential to verify the controller design. This will help in understanding how fast and accurately the torque of the motor can be controlled. In order to do this, it is always better to test the controller using the software version of the motor or vehicle drivetrain than using actual hardware as it could lead to component damage when replicating extreme physical behavior. In this thesis, plant modelling of Permanent Magnet Synchronous Machine (PMSM) and vehicle drivetrain in MATLAB/Simulink for Model Based Design (MBD) is presented. MBD is an effective method for controller design that, if adopted can lead to cost savings of 25%-30% and time savings of 35%-40% (according to a global study by Altran Technologies, the chair of software and systems engineering and the chair of Information Management of the University of Technology in Munich) [1]. The PMSM plant models take effects like magnetic saturation, cross- coupling, spatial harmonics and temperature into account. Two PMSM models in d-q frame based on flux and inductance principles were implemented. Flux, torque maps from Finite Element Analysis (FEA) and apparent inductance from datasheets were used as inputs to the flux- and inductance-based models, respectively. The FEA of PMSM was done using COMSOL Multiphysics. The PMSM model results were compared with corresponding FEA simulated results for verification. A comparison of these PMSM models with conventional low fidelity models has also been done to highlight the impact of inclusion of temperature and spatial harmonics. These motor models can be combined with an inverter plant model and a controller can be developed for the complete model. Low frequency oscillations of drivetrain in EVs lead to vibrations which can cause discomfort and torsional stresses. In order to control these oscillations, an active oscillation damping controller can be implemented. For implementation of this control, a three-mass mechanical plant model of drivetrain with an ABS (Anti-lock Braking System) wheel speed sensor has been developed in this thesis. Analysis of the model transfer function to obtain the pole zero maps was performed. This was used to observe and verify presence of low frequency oscillations in the drivetrain. In order to include the effects of ABS wheel speed sensor and CAN communication, a model was developed for the sensor. / Testning av regulatorernas inställningar med hänsyn till snabbhet och noggrannhet i momentreglering är avgörande i trefasiga drivsystem för elektriska fordon. Oftast är det bättre att simulera i stället för att utföra experimentella tester där komponenter kan skadas på grund av fysisk stress. Detta kallas för Model Based Design (MBD). MBD är an effektiv metod för utformningen av styrningen som kan leda till kostnadsbesparingar på 25%-30% och tidsbesparingar på 35%-40% enligt en studie från Altran Technologies i samarbete med Tekniska universitet i München, TUM. Detta examensarbete behandlar en modell för en synkronmaskin med permanentmagneter (PMSM) samt en modell för drivlinan utvecklad i Matlab/Simulink för MBD. PMSMs modellen inkluderar magnetisk mättnad och tvärkoppling, MMF övervågor och temperatur. Två PMSM modeller har utvecklats. Den första baseras på magnetiskt flöde som erhålls från finita element beräkningar i COMSOL Multiphysics medan den andra bygger på induktanser givna från datablad. En jämförelse av dessa PMSM-modeller med konventionella low fidelity-modeller har också gjorts för att illustrera påverkan temperaturberoende och MMF övervågor. Modellerna kan kombineras med en växelriktarmodell för att utveckla en hel styrenhet. Lågfrekventa oscillationer i drivlinan leder till vibrationer som kan orsaka vridspänningar och försämra komforten i elfordonet. En aktiv dämpningsregulator kan implementeras för att kontrollera spänningarna men en mekanisk drivlinemodell med tre massor och en ABS (anti-lock braking system) hastighetssensor behövs. Den mekaniska modellen har implementerats och analyserats även beaktande en modell för en CAN kommunikationskanal. Oscillationer med låg frekvens kunde observeras i modellen.