Model checking is a formal verification technique for verifying temporal properties in state-transition models. The main problem with using model checking is the state explosion problem, where the number of states in the model can grow exponentially, making verification infeasible. Previous work has tried to mitigate the state explosion problem by representing code blocks as Hoare-logic contracts in an abstract state-transition model using the temporal logic TLA. This is achieved by treating the block as atomic. In order to ensure that the abstract state-transition model is faithful with respect to the temporal properties you want to verify, only some code blocks can be considered atomic. This thesis aims to answer how atomic code blocks can be identified atomically and evaluate their potential for reducing state space during model checking. We give a theoretical foundation of what it means for a code block to be considered as atomic in TLA. Moreover, we introduce a property that characterizes these atomic code blocks and presents an algorithm to identify them for sequential programs written in a subset of C. Experimental results demonstrate that the identification of atomic code blocks using our algorithm can be used to significantly reduce the state space during model checking, with an average reduction factor of 62. The potential of this verification approach is promising, however, further case studies are necessary to better understand the extent of this reduction across different program types and properties. / Modellkontroll är en formell verifieringsteknik för att bekräfta tidsrelaterade egenskaper i tillståndsövergångsmodeller. Huvudproblemet med modellkontroll är problemet med tillståndsexplosion, där antalet tillstånd i modellen kan öka exponentiellt och göra verifieringen ogenomförbar. Tidigare arbete har försökt mildra problemet med tillståndsexplosion genom att representera kodblock som Hoare-logiska kontrakt i en abstrakt tillståndsövergångsmodell med hjälp av tidslogiken TLA. Detta uppnås genom att behandla blocket som atomiskt. För att säkerställa att den abstrakta tillståndsövergångsmodellen är trogen med avseende på de tidsrelaterade egenskaper du vill verifiera kan endast vissa kodblock betraktas som atomiska. Denna avhandling syftar till att besvara hur atomiska kodblock kan identifieras automatiskt och utvärdera deras potential för att minska tillståndsutrymmet under modellkontroll. Vi ger en teoretisk grund för vad det innebär för ett kodblock att betraktas som atomiskt inom TLA. Dessutom introducerar vi en egenskap som karaktäriserar dessa atomiska kodblock och presenterar en algoritm för att identifiera dem för sekventiella program skrivna i en delmängd av C. Experimentella resultat visar att identifieringen av atomiska kodblock med hjälp av vår algoritm kan användas för att betydligt minska tillståndsutrymmet under modellkontroll, med en genomsnittlig reduktionsfaktor på 62. Potentialen för denna verifieringsmetod är lovande, men ytterligare fallstudier krävs för att bättre förstå omfattningen av denna reduktion över olika typer av program och egenskaper.

Verification of knowledge-bases is a critical step to ensure the quality of a knowledge-based system. The success of these systems depends heavily on how qualitative the knowledge is. Manual verification is however cumbersome and error prone, especially for large knowledge-bases. This thesis provides a design theory, based upon the suggested framework by Gregor and Jones (2007). The theory proposes a general design of automated verification tools, which have the abilities of verifying heuristic knowledge in rule-based systems utilizing certainty factors. Included is a verification of completeness and consistency technique customized to this class of knowledge-based systems. The design theory is instantiated in a real-world verification tool development project at Uppsala University. Considerable attention is given to the design and implementation of this artifact – uncovering issues and considerations involved in the development process. For the knowledge management practitioner, this thesis offers guidance and recommendations for automated verification tool development projects. For the IS research community, the thesis contributes with extensions of existing design theory, and reveals some of the complexity involved with verification of a specific rule-based system utilizing certainty factors.

With the recent rise of 3D-printing as a form of manufacturing and their advantages for quick prototyping there is an interest for 3D-printed optical components. This thesis tests how well 3D-printed quasi-optical components preform and verify measurements with electromagnetic simulations. Measurements were made using a 60GHz FM-CW radar as well with a trihedral reflector, and tested on 3D-printed PLA lenses printed using an Ultimaker 2+. The measurements made are of the refractive index of the material, as well as the focal length of the lenses. Results showed PLA having a refractive index close to n = 1.654 in the 60GHz region. Results also showed the lenses having consistent properties like focal length and gain, two lenses having focal length of 23.7 and 23.9 mm which are close to the simulation of 24.05 mm. These findings shows 3D printed quasi-optical components have sufficient performance for use of prototyping or production depending on use. There are also some questions that have arisen like how does crystallisation in the plastic affect the components properties? And how does the PLA degrading affect the quality of the lenses over time? / På grund av framgångar inom 3D-utskrivning på senaste tiden som en form av tillverkning och dess fördelar med snabb framtagande av prototyper finns det ett intresse för utskrivna optiska komponenter. Detta examensarbete testar hur väl 3D-utskrivna kvasioptiska komponenter funger\-ar och verifierar testresultat med elektromagnetiska simuleringar. Mät\-ning\-arna gjordes med en FM-CW radar och en trihedral reflektor, och testade PLA linser utskrivna med en Ultimaker 2+. Mätningar\-na gjordes på materialets brytningsindex samt linsernas brännvidd. Resultaten visade att PLA har ett brytningsindex nära n = 1.654 i 60GHz området. Resultaten visade även hur linserna har konsekventa egenskaper som brännvidd och förstärkning. De två slutgiltiga linserna hade en brännvidd på 23.7 and 23.9 mm vilket är nära simuleringen på 24.05 mm. Dessa resultat visar att 3D-utskrivna komponenter har tillräcklig prestanda för användning i framtagande av prototyper eller produktion beroende på användning. Det finns en del frågor som kommit till, som hur påverkar plastens kristallisation komponentens egenskaper? Och hur påverkar PLAs nedbrytande linsernas kvalité?

Året är 2017 och den ökande användningen av enheter som är kopplade mot internet har exploderat okontrollerat. Enheter modifieras i en snabb takt för att kunna kopplas samman med syftet att få en mer effektivare vardag, i folkmun häftigare enheter och framförallt för att generera en ökad försäljning av dessa produkter. Kommunikationsverktygen kopplas samman och därmed samlas en stor mängd data på enskilda enheter som kan bli sårbara i form av övervakning, intrång och övertagande för syften som innehavaren kan vara helt omedveten om. Om individens enhet är medverkande i scenariot att stänga ned servern som håller en samhällstjänst uppe under en tidpunkt av en allvarlig fysisk attack mot Sverige: Vem bär i så fall skulden? Detta kallas överbelastningsattack och är en av många potentiella sårbarheter i dagens samhälle.   Internet of Things är ett nytt fenomen som är relativt outforskat med många öppna och obesvarade frågor. Forskningen ligger otvivelaktigt steget efter. Det gemensamma i forskningsartiklarna är slutsatsen: vi ska forskare vidare inom detta område. Alarmerande eftersom enheterna redan är närvarande i vardagen. Informationssäkerheten och individens personliga integritet är vad som står på spel, och frågan är vad individerna är villiga att offra för att ha de senaste produkterna.   Metoden och genomförandet av denna kandidatuppsats har bestått av det explorativa tillvägagångssättet. En litteraturstudie av forskningsartiklar och personliga intervjuer har genomförts med relevanta individer inom området.   Denna kandidatuppsats kommer inte att ge facit på vad som bör göras härnäst. Målet är att upplysa om olika problemställningar avseende fenomenet Internet of Things. I uppsatsen ligger fokuseringen på att generera en beskrivning av hur informationssäkerhet och personlig integritet kan påverka skapande och användandet av enheter som är uppkopplade mot Internet of Things.   Syftet med denna explorativa studie är att identifiera och beskriva faktorer som bidrar med ett framgångsrikt skapande och användande av Internet of Things enheter med fokusering på informationssäkerhet och personlig integritet. Slutsatserna är att faktorer som påverkar är bekräftelse av identitet, standarder, otillgänglig åtkomst samt användarkontroll.

Under produktionen av kartong vid det integrerade massa- och kartongbruket, som ägs av Holmen Iggesund Paperboard AB, bildas klorat som är giftigt för vattenlevande organismer. Därför är det väsentligt att utsläppet av klorat till havet, via avloppsvattnet från bruket, hålls under de gränsvärden som fastställts. För att övervaka kloratutsläppet analyseras prover på avloppsvattnet rutinmässigt, och en jonkromatograf ämnades tas i drift för ändamålet. Jonkromatografi är en standardiserad metod för analys av klorat, som måste verifieras innan den tas i bruk. Inga explicita krav fanns på hur omfattande verifieringen skulle vara. Ett syfte med studien var därför att utveckla generella rekommendationer för omfattningen av verifieringen av en standardiserad analysmetod. Litteratur angående verifiering eftersöktes och summerades, och utifrån den togs en verifieringsplan för jonkromatografisk analys av klorat fram. Mätresultat som erhölls utvärderades statistiskt. Slutsatserna var; att verifiering bör planeras på ett sätt så att kalibrering och underhåll av instrumentet sker i samma omfattning som är tänkt vid rutinanvändning av analysmetoden; selektivitet bör testas tidigt, och riktiga prover bör analyseras i ett tidigt skede; omfattningen av verifieringen med avseende på provmatriser och koncentrationsnivåer ska återspegla de provmatriser och koncentrationer som analysmetoden kommer att innefatta i rutinarbetet; antalet försök som bör inkluderas beror på kraven som ställs på de olika egenskaper som definierar prestandan. Minst 6 försök på varje provmaterial var ett riktmärke för precision och riktighet, medan ett försök räckte vid utvärdering av selektivitet och instrumentets mätområde. För att kunna säkerställa god analyskvalité, är utbildning i analysmetodik en viktig del. Ytterligare ett syfte med denna studie var att undersöka utbildningsverksamhetens lärandemål, samt vilka utmaningar som fanns inom utbildningen i analysmetodik. Genom fokusgruppintervjuer och observationer samlades information inom utbildningsverksamheten och dess utmaningar. Utifrån det teoretiska ramverket självstyrd inlärning utfördes en deduktiv tematisk analys av den insamlade datan. Slutsatserna av arbetet löd: Det övergripande syftet med upplärningen inom en analysmetod var att personen som genomgått utbildningen ska kunna ansvara för att tillämpa analysmetoden självständigt utifrån instruktionen, ha kunskap om rimliga mätresultat, kunna reflektera över sitt arbete, samt ha kunskap om syftet med analysmetoden. Ingen standardiserad mall för vad som ska ingå i utbildningen inom en analysmetod fanns, vilket bidrog till osäkerheter angående huruvida likvärdig kompetens uppnåddes för personer under utbildning; dagens utbildningsupplägg inbjöd inte till att personen under upplärning tog på sig ansvaret för uppfyllandet av lärandemålen i den utsträckning som önskades. För att möjliggöra detta föreslogs att ett förberedande moment skulle införas, samt att den lärande skulle få mer tid och möjlighet att genomföra delar av utbildningen självständigt. / During the production of paperboard at the integrated pulp and paperboard mill, owned by Holmen Iggesund Paperboard AB, chlorate is formed, which is a toxic compound for aquatic organisms. It is therefore essential that the chlorate levels in the wastewater from the mill, which is released to the ocean, are below the established limit. In order to monitor the effluent of chlorate, wastewater samples are routinely analyzed, and for this purpose an ion chromatograph was intended to be put to use. Ion chromatography is a standardized method for chlorate analysis, which needs to be verified before being used for routine analyses. No explicit requirements regarding the extent of the verification existed. One purpose of this study was therefore to develop general recommendations regarding the extent of verification of a standardized analytical method. Literature regarding verification was sought for and summarized. Based on the literature, a plan for verifying ion chromatographic analysis of chlorate was constructed. The measurement results obtained were evaluated statistically. Conclusions drawn were: calibration and maintenance of the instrument during the verification process should reflect the frequency of maintenance and calibration planned during the routine use; selectivity should be tested early on, as well as real samples; the extent of the verification with respect to matrices and concentration levels should reflect those that will be included in the routine use of the analytical method; the number of experiments included depends on the requirements imposed on the performance characteristics of the method. At least 6 experiments for each sample was a good aim for verifying precision and trueness, while one experiment was enough for verification of selectivity and the working range of the instrument. In order to ensure satisfactory analysis quality, training in analytical methods is an important aspect. Another purpose of this study was to investigate the learning objectives of the educational activities as well as what challenges could be identified with respect to training in analytical methods. Through focus group interviews and observations, data was collected about the educational activities and challenges. Based on the theoretical framework self-directed learning, a deductive thematic analysis was performed. Conclusions were: The overall purpose of the training in analytical methods was that the person who underwent training should be able to independently apply the analytic method, with the aid of the analytical instruction, have the necessary knowledge about reasonable results, be able to reflect about their work and have knowledge about the purpose of the analytical method. No standardized template regarding what should be included in the training existed, which contributed to uncertainties regarding if equivalent knowledge was achieved for persons under training. The educational approach of today did not encourage the person under training enough to take responsibility for fulfilling the learning objectives. To enable this, it was suggested that a preparation element should be included in the training, and also that the person under training should get more time and opportunities to complete some of the training independently.

Glas är ett styvt material som används bland annat inom byggbranschen och fordonsindustrin. Glas har hög styvhet och hög hållfasthet men är ett sprött material. När en spricka uppstår i en laminerad glasbalk minskas dess bärförmåga och styvhet och säkerhetsrisken ökar. För att garantera en hög säkerhet används laminerat glas där tunna plastfilmer limmar ihop flera skikt av glas (som även kallas för lameller). När glaset lamineras fungerar det som ett paket där spänningarna kan överföras mellan de olika lamellerna. Användningsområden inom byggbranschen kan vara plana element, till exempel för fönster eller balkonräcken, dessutom finns både liggande balkar (böjning i den tunna riktningen) samt stående balkar. Även i balkar av laminerat glas kan sprickor i en av lamellerna uppstå. Dessa fångas dock upp av de andra lamellerna så att hela balken förblir intakt och hålls på plats. En sprucken balk tappar då en del av bärförmågan och styvheten jämfört med en osprucken balk. Spruckna balkar kan alltså inte bära samma last. Syftet med arbetet är att öka kunskapen om beteendet hos laminerat glas som är sprucket och få bättre förståelse för hur laminerat glas beter sig när det går till brott. Målet är att verifiera den numeriska beräkningsmodellen av Abdul Khader, Basim & Reshid (2020) genom experimentella försök. Modellen beskriver liggande balkar av laminerat glas, både spruckna och ospruckna balkar. I detta examenarbete användes olika metoder: litteraturundersökning, tillämpning av en beräkningsmodell samt experiment. Litteratundersökningen gav ett fördjupande förståelse dels om ämnet glas exempelvis om olika typer av glas och glasets generella egenskaper, dels om laminerat glas, hur det är uppbyggt, tillverkat och egenskaper förbättras genom lamineringen. Beräkningsmodellen som detta arbete bygger på är från en tidigare studie, där en beräkningsmetod för spruckna glasbalkar beskrevs med hjälp av den så kallade effektiva tjockleksmetoden för böjstyvhet av laminerat glas. Experiment genomfördes för att studera hur laminerade glasbalkar med och utan spricka i mitten beter sig när de utsätts för belastning. Resultaten visar skillnaden mellan ospruckna och spruckna balkar av laminerat glas med två skikt när det gäller böjstyvheten och bärförmågan. Experimenten visar att nedböjningen för spruckna balkar är dubbelt så stor som för ospruckna balkar. Skillnaden beror på att böjstyvheten hos spruckna balkar är lägre än hos ospruckna balkar. På grund av sprickan i mitten överförs lasterna endast i en skiva, och dessutom minskas böjstyvheten i den ospruckna delen. Beräkningsmodellen överensstämde väl med resultaten från de utförda experimenten. Detta bekräftar att modellen kan tillämpas för laminerade glasbalkar. Mer omfattande studier bör dock genomföras där de ingående parametrarna varieras, till exempel genom längre balkar, sprickor på andra ställen än i mitten, samt att olika material för mellansiktet används.

Passenger safety and comfort are important aspects in the process of vehicle development. The world is heading towards developing the safest possible vehicle on the road. Using vehicle motion control functions is one of the ways to enhance vehicle stability. These motion control functions need to be developed in an energy optimised way. By complementing some of the development process with virtual models, both the development time and cost could be minimised. Hence, a sustainable way of control function development could be achieved. In order to verify, validate and calibrate vehicle motion control functions, an accurate model of the virtual vehicle is required. Hence, a research question on how good the virtual model needs to be for the purpose has been addressed. This report suggests a framework in order to determine the capabilities of a virtual vehicle.In this report, a comparison study has been carried out by exciting the real car and virtual model of a Volvo XC90 with a focus of covering the six degrees of freedom (Yaw, pitch, roll, longitudinal, lateral and vertical). A semi automated framework that possesses the capability of automating the testing in a virtual platform has been established. From the test results, the virtual vehicle capabilities were determined. Further, in the second part of the report, an example use case has been considered by taking two calibration sets of Electronic stability control (ESC) system in order to verify the previously established framework.The analysis includes various levels of plant and controller complexity such as Model-in-loop, Software-in-loop and Hardware-in-loop and on two different road surfaces, low friction and high friction. From the observations, the virtual models considered correlates well for the purpose of verification and validation. However, for the purpose of calibration, the models need to be fine-tuned in the virtual platform. Furthermore, the correlation on low friction road surface could be improved by simulating the tests using an advanced tyre model. Overall, this study helps in choosing the correct complexity of various subsystems in a vehicle for the purpose of verification, validation and calibration of vehicle motion control functions. / Passagerarsäkerhet och komfort är viktiga aspekter i utvecklingen av ett fordon. Världen är på väg mot att utveckla säkraste möjliga fordon på vägen. Användning av fordonetse rörelsekontrollfunktioner är ett av sätten att förbättra fordonets stabilitet. Dessa rörelsekontrollfunktioner måste utvecklas på ett energioptimerat sätt. Genom att komplettera en del av utvecklingsprocessen med virtuella modeller kan både utvecklingstid och kostnad minimeras. Därför kan ett hållbart sätt att utveckla funktionerna för kontrollfunktioner uppnås. För att verifiera, validera och kalibrera fordonets rörelsekontrollfunktioner krävs en detaljerad modell av ett virtuellt fordon. Därför har en forskningsfråga om hur bra den virtuella modellen måste vara för ändamålet behandlats. Denna rapport föreslår ett ramverk för att bestämma funktionerna hos virtuella fordon.I denna rapport har en jämförelsestudie genomförts genom att excitera den verkliga bilen och den virtuella modellen av en Volvo XC90 med fokus på att täcka de sex frihetsgraderna (gir, nick, roll, längs, lateral, vertikal). Ett semi-automatiserat ramverk som har förmågan att automatisera testningen i en virtuell plattform har skapats. Från testresultaten bestämdes de virtuella fordonsfunktionerna. Vidare har i den andra delen av rapporten ett exempel på användningsfall beaktats genom att man tar två kalibreringsuppsättningar av ESC-system (Electronic Stability Control) för att verifiera det tidigare etablerade ramverket.Analysen innefattar olika nivåer av modell- och styrenhetskomplexitet såsom Model-in-loop, Software-in-loop och Hardware-in-loop och på två olika vägytor, låg friktion och hög friktion. Enligt observationerna är de virtuella modellerna väl korrelerade för verifiering och validering. För kalibreringen måste dock modellerna finjusteras på den virtuella plattformen. Dessutom kunde korrelationen på lågfriktionsvägytan förbättras genom att simulera testerna med hjälp av en avancerad däckmodell. Sammantaget hjälper den här studien att välja rätt komplexitet hos olika delsystem i ett fordon för verifiering, validering och kalibrering av fordonets rörelsekontrollfunktioner.

More dynamic markets, shorter product life cycles and comprehensive variant management are challenges that dominate today's market. These maxims apply to the automotive sector, which is currently highly exposed to trade wars, changing mobility patterns and the emergence of new technologies and competitors. To meet these challenges, this thesis presents the creation of a digital twin of an existing production line of electric motors using discrete event simulation. Based on a detailed literature research, a step-by-step establishment of the simulation model of the production line using the software Plant Simulation is presented and argued. Finally, different experiments are carried out with the created model to show how a production line can be examined and optimized by means ofsimulation using different parameters. Within the scope of the different experiments regarding the number of workpiece carriers, number of operators as well as buffer sizes, the line was examined concerning the increase of the output. Furthermore, the simulation model was used to make decisions for future investments in additional XXX machines. Four different scenarios were examined and optimized. By examining the different parameters, optimization potentials of XXX% in the first scenario and up to XXX% in the fourth scenario were achieved. Finally, it was proven that the developed simulation model can be used as a tool for optimizing an existing production line and can generate useful investment information. Beyond that, the development of the simulation model can be employed to investigate further business questions at hand for the specific production line in question. / Mer dynamiska marknader, kortare produktlivscykler och omfattande varianthantering är utmaningar som dominerar dagens marknad. Dessa maximer gäller bilindustrin, som för närvarande är mycket utsatt för handelskrig, förändrade rörlighetsmönster och framväxten av ny teknik och nya konkurrenter. För att möta dessa utmaningar innebär denna avhandling skapandet av en digital tvilling av en befintlig produktionslinje av elmotorer med diskret händelsesimulering. Baserat på en detaljerad litteraturforskning presenteras och argumenteras en steg-för-steg-etablering av simuleringsmodellen för produktionslinjen med hjälp av programvaran Plant Simulation. Slutligen utförs olika experiment med den skapade modellen för att visa hur en produktionslinje kan undersökas och optimeras med hjälp av simulering med hjälp av olika parametrar. Inom ramen för de olika experimenten när det gäller antalet arbetsstyckesbärare, antalet operatörer samt buffertstorlekar undersöktes linjen om ökningen av produktionen. Dessutom användes simuleringsmodellen för att fatta beslut för framtida investeringar i ytterligare hårnålsmaskiner. Fyra olika scenarier undersöktes och optimerades. Genom att undersöka de olika parametrarna uppnåddes optimeringspotentialer på XXX % i det första scenariot och upp till XXX % i det fjärde scenariot. Slutligen bevisades det att den utvecklade simuleringsmodellen kan användas som ett verktyg för att optimera en befintlig produktionslinje och kan generera användbar investeringsinformation. Utöver detta kan utvecklingen av simuleringsmodellen användas för att undersöka ytterligare affärsfrågor till hands för den specifika produktionslinjen i fråga.

Inom medicin och kärnkraft ställs höga krav på olika komponenters renhetsgrad. Vid tillverkning av precisionskomponenter inom medicin och kärnkraftsteknik så används skärvätska för att kyla och smörja godset. Skärvätskan behöver tvättas bort innan komponenterna skickas till kunderna. För att kunna tvätta bort skärvätskan används en speciell tvättutrustning. Idag saknas en metod för att kunna påvisa att den speciella tvättutrustningen på ett tillförlitligt sätt uppnår gällande krav och standarder på renhet som ställs av branscherna, på komponenterna. Genom att verifiera tvättutrustningen mot en specifik kravbild, godkänns tvättutrustningens duglighet och således frisläpps utrustningen för produktion. Målet med studien är att ta fram ett underlag för att kunna verifiera en speciell tvättutrustning. Målet uppnås genom att undersöka vilka faktorer som påverkar renhetsgraden i tvättprocessen och utveckla metoder för att säkerställa att dessa faktorer beaktas. Några av metoderna som används i arbetet är Plan-Do-Study-Act (PDSA), Acceptanskontroll enligt attributsmetoden, intervju och observation. Resultatet av provgruppsmätningarna från laboratoriet, visar att komponenternas renhetsgrad ligger inom Willos kravställning på restkontamination av olja≤10 μg/cm^2 då komponenterna tvättats med tvättprogram två. Efter att provgupperna genomgått acceptanskontrollen står det klart att provgrupperna accepteras med en sannolikhet på 95,6% och att tvättprocessen är stabil. I studien har gamla och antagna mätvärdena använts eftersom det tar lång tid att ta laboratorieprover och tiden som examensarbetet pågår är begränsad. Med de gamla och antagna mätvärdena skulle den speciella tvättutrustningen kunna verifieras mot Willos kravställning, för att möta branschernas krav på renhetsgrad. Genom verifieringen kan man på så vis påvisa att tvättutrustningen levererar stabilt tvättresultat över tid. / In medical and nuclear power applications, high demands are placed on the level of cleanliness of various components. When precision components in medicine and nuclear power technology are manufactured, cutting fluid is used to cool and lubricate the raw stock. The cutting fluid needs to be washed away before the components are sent to customers. To be able to wash away the cutting fluid, special washing equipment is used. Today, there is no method to demonstrate that the special washing equipment reliably meets current requirements and standards for cleanliness set by the industries on the components. By verifying the washing equipment against specific requirements, the capability of the washing equipment is approved, and thus, the equipment is released for production. The study aims to produce a basis for verifying special washing equipment. The goal is achieved by examining which factors affect the level of cleanliness in the washing process and developing methods to ensure that these factors are taken into account. Some of the methods used in work are Plan-Do-Study-Act (PDSA), Acceptance sampling according to the attribute method, interview and observation. The results of the test group measurements from the laboratory show that the level of cleanliness on the components is within Willo's requirements for residual contamination of oil≤10 μg/cm^2 when the components have been washed with washing program two. After the sample groups have undergone the acceptance sampling, it is clear that the sample groups are accepted with a probability of 95.6% and that the washing process is stable. In the study, old and assumed measurement values have been used because of the time it takes to perform laboratory samples, and the time that the degree project progresses is limited. With the old and assumed measurement values, the special washing equipment could be verified to Willo's requirements in order to meet the industries' requirements for the level of cleanliness. Through the verification, it can be demonstrated that the washing equipment delivers stable washing results over time.