This thesis presents an application that performs positioning of modules automatically based on given data for every module, and the development of it. The basis of the application is from a previous thesis code. On top of that code, more features and error handling has been added, as well as fixes for various bugs. A stress test has been performed and further development possibilities are being presented. The thesis work was carried out at Toyota Material Handling Mjölby (TMH) and was made in parallel with another thesis by Fredrik Holden who was generating data for the application. For a complete understanding of the theory and background, please also read Holden’s thesis report “Development of method for automated positioning of 3D-representations of a modularized product”, as well as the former thesis  ”Analysis for Automated Positioning of 3D-representation of a Modularized product””. / Detta examensarbete presenterar en applikation som positionerar moduler automatiskt med hjälp av given data för varje modul, samt utvecklingen av applikationen. Applikationen bygger på kod från ett tidigare examensarbete. Ovanpå den koden har flera egenskaper och felhanteringar lagts till, samt har olika buggar fixats. Ett stresstest har också utförts och framtida utvecklingsmöjligheter presenteras. Examensarbetet genomfördes på Toyota Material Handling Mjölby (TMH) och gjordes parallellt med ett annat examensarbete av Fredrik Holden som genererade data för applikationen. För en fullständig förståelse angående teorin bakom samt bakgrunden till examensarbetet, vänligen läs också Holdens rapport ”Developmentof method  for automated positioning of 3D-representations of a modularized product”, samt rapporten från föregeånde examensarbetet ”Analysis for Automated Positioning of 3D-representation of a Modularized product”.

Syftet med föreliggande kvantitativa studie var att undersöka om det förelåg några skillnader i upplevd psykosocial arbetsmiljö beroende på om de anställda arbetar i en automatiserad produktion eller en manuell produktion. Den psykosociala arbetsmiljön mättes utifrån aspekterna: inre arbetsmotivationen med underkategorierna: autonomi, kompetens och samhörighet samt krav i arbetet och stress. Enkätstudien genomfördes på en stålindustri där 60 anställda deltog i undersökningen. Mätinstrumenten som användes var BNS (Basic Need Satisfaction at Work Scale) som mätte den inre arbetsmotivationen med behoven; autonomi, kompetens och samhörighet. COPSOQ (Copenhagen Psychosocial Questionnarie) mätte krav i arbetet och stress. Resultatet visade en signifikant skillnad i inre arbetsmotivation, där de anställda som arbetade på den automatiserade avdelningen skattade högre grad av autonomi än de anställda på den manuella avdelningen. Vidare visade resultatet på en tendens till skillnad i krav i arbetet. De anställda på den manuella avdelningen upplevde högre krav i arbetet än de som arbetade på den automatiserade avdelningen. Inga skillnader påvisades mellan avdelningarna avseende motivationsbehoven kompetens, samhörighet eller stress. / The purpose of this quantitative study was to examine whether there were any differences in self- perceived psychosocial work environment depending on whether employees work in an automated production or a manual production. The psychosocial work environment was measured on the basis of the aspects: intrinsic work motivation with the subcategories: autonomy, competence and belongingness as well as demands in work and stress. The survey was conducted on a steel industry where 60 employees participated in the survey. The measuring instruments used were the BNS (Basic Need Satisfaction at Work Scale) that measured the intrinsic work motivation with the needs; autonomy, competence and belongingness. COPSOQ (Copenhagen Psychosocial Questionnaire) measured requirements in work and stress. The result showed a significant difference in intrinsic work motivation, where employees working at the automated department estimated higher autonomy than employees in the manual department. Furthermore, the result showed a tendency to differentiate from the requirements of the work. The staff at the manual department experienced higher demands at work than those working at the automated department. No differences were identified between departments regarding the motivational needs of competence, belongingness or stress.

Inom gränssnittsdesign används designmönster för att lösa återkommande designproblem. En typ av sådana mönster är mörka designmönster. Dessa används för att manipulera användares beteende när de interagerar med olika gränssnitt. Syftet med denna studie är att identifiera vilka effekterna appliceringen av mörka designmönster på gränssnitt har på en användares beslutsfattande. För att undersöka detta genomfördes ett experiment med 50 deltagare vilka fick interagera med nio cookie-godkännanden från olika webbplatser. Data över deltagarnas beslut analyserades med deskriptiv statistik samt med två olika statistiska tester. Resultatet visade att de mörka designmönstren obstruction och inference interface påverkade deltagarnas beslutsfattande till att fatta mindre medvetna och fler integritetskränkande beslut.

Företag arbetar ofta efter hårda krav från kunder där lösningar måste levereras på ett tidseffektivt sätt och samtidigt hålla en hög kvalitet. Detta i form av felfria och robusta system vilket delvis kan åstadkommas med hjälp av testning. Kraven på snabb leverans och hög kvalitet är däremot motpoler till varandra; snabb leverans genomförs ofta på bekostnad av kvalitet och tvärtom. Agila arbetsmetoder med tidiga och frekventa leveranser har ändrat på detta, men kräver samtidigt en ständig kvalitetsförsäkring under arbetets löptid. Under utveckling av mjukvara enligt dessa metoder förekommer därför en kontinuerlig kvalitetssäkringsprocess för att säkerställa att produkten dels uppfyller vad kravspecifikationen avser samt att levererad produkt håller en hög tekniskt kvalitet i form av buggfri och robust kod som innehar stor pålitlighet för framtiden. Då manuell testning är en kostnad- och resurskrävande metod har automatiserad testning blivit ett aktuellt alternativ för ökad effektivitet och hållbar utveckling. Målet med det här arbetet har varit att för Precio Systemutveckling AB utreda möjligheterna för en implementation av automatiserad testning av användargränssnitt, i en hos företaget redan existerande och etablerad utvecklingsprocess. Arbetet har genomförts med en inledande förstudie om testning med fokus på varför det är en extra viktig faktor i dagsläget. Detta följs av ett avsnitt där existerande teori och teknik för testning i generell mening avhandlats, följt av en närmare studie på hur automatiserad testning är rekommenderad att utföras ur ett perspektiv från utveckling av produkter inom Microsoft-teknologi. / Software companies work under a strict pressure from customers where solutions must be delivered in a timely manner as well as providing high quality and value. The products should be robust and without errors, which partially can be accomplished by testing during the development process. The requirement for an early delivery and a high quality does not always come hand in hand, but with the increased use of agile software development methods, this can be achieved. During agile development of software, there is a continuous process to ensure the quality of what is being developed, both to make sure that all the functional requirements are fulfilled, but also that the code behind is robust and dependable for the future. Since manual testing can be both time and resource consuming, automated testing has become a modern alternative to increase productivity and to maintain a sustainable development process. The goal of this thesis work has been to investigate the possibilities of implementing a solution for automated UI testing in an already existing development process at the company Precio Systemutveckling AB. The work has been conducted in three steps, starting with a literature study about testing in general, followed by an extensive research into suitable tools and technology for testing that exists today. After this, a deeper look was made at what the recommended solutions for implementing automated testing in a Microsoft-oriented enviroment were. The work was concluded with an actual implementation of automated testing on premise at Precio.

Ett erkänt problem inom industrin för mjukvaruutveckling är bristen på kvalitativ systemdokumentation. Hos företaget Multisoft Consulting finns detta problem. Utvecklare måste spendera onödigt mycket tid på att sätta sig in i befintliga system. Som en del av lösningen vill företaget införa automatisk generering av dokumentation. Genereringen ska ske i plattformen Softadmin® som används för att bygga alla kundsystem. Plattformen är baserad på C# och Microsofts SQL Server och innehåller en mängd färdiga komponenter med olika funktionalitet. För att veta vilken dokumentation som bör genereras automatiskt har litteraturstu-dier och intervjuer med Multisoft Consulting-anställda genomförts. För att veta vilken dokumentation som kan genereras har Softadmin® analyserats. Undersökningarna visar att dokumentation som ger en överblick över ett system samt visar hur systemet används både är önskvärd och möjlig att generera via Softadmin®. En form av system-överblick fanns redan implementerad i Softadmin® i form av en träd-struktur. Överblicken saknade dock en del önskvärda detaljer vilket medförde att fokus för studien blev att implementera en prototyp som kompletterade överblicken. Resultatet är att information om systemets menyval, vilket är sidor med olika funktionalitet, nu visas i överblicken. / A well-known problem within the software development industry is the absence of qualitative system documentation. This problem can be found within the company Multisoft Consulting. Too much time is spent by the developers when they must familiarize themselves with an existing system. As a part of the solution to this problem the company would like to generate documentation automatically. The generation should be performed by the platform Softadmin® which is used to develop all customer systems. The platform is based on C# and Microsoft’s SQL Server and contains different components, each with its own functionality. In order to find out which documentation that should be generated automatically literature has been studied and developers have been interviewed. In order to know which documentation that can be generated by Softadmin® the platform has been analyzed. The conclusion is that documentation which provides a general view of the system and demonstrates how the system is used is both desirable and possible to generate with Softadmin®. A kind of general view had already been implemented in Softadmin®. However, some desired features were not included in the general view. The priority of this study became to implement a prototype which completed the general view by including some of the desired features. The result is that it is now possible to display information about the system’s menu items, which is pages with different functionality, within the general view.

Under två decennier har utvecklare inom mjukvarutestning utvecklat testtekniken Modell-baseradtestning. Tekniken bygger på att man genererar testfall från en modell (tex i UML), istället föratt manuallet skriva testfall. Detta kan göra testprocessen mer effektiv, vilket leder till att merarbeten kan göras på kortare tid. Det kan också ses som en ekonomiskt fördel för företag därtestning är huvudområdet. Modell-baserad testning har goda omdömen och teorin för teknikenär väl dokumenterad i artiklar, arbeten samt böcker. Mycket tyder på att tekniken rent teoretisktär användbar i praktiken dessutom finns det väldigt lite kritik mot tekniken. Men trots alltdetta har Modell-baserad testning inte blomstrat inom IT-industrin.Syftet med detta arbete är att ta reda på vad anledningarna skulle kunna vara till att MBT intelyckats bättre inom industrin. I arbetet används tre olika MBT-verktyg för att testa och sedanjämföra om resultatet i praktiken blir som teorin beskriver tekniken. Studiens resultat pekar påatt tekniken fortfarande är omogen och många brister kring Modell-baserad testning stöts på. / For two decades, software testing developers have developed the Model-based testing technique.The technology is based on generating test cases from a model (e.g. in UML) instead of manuallywriting test cases. This can make the test process more efficient, which leads to more workcan be done in less time. It can also be seen as an economic benefit for companies where testingis the main area. Model-based testing has good reviews and the theory of the technique is welldocumented in articles, works and books. There are many indications that the technology istheoretically useful in practice, with a very few criticisms of the technology. Despite all this,Model-based testing has not expanded in the IT industry.The purpose of this study is to find out what the reasons could be to the fact that MBTdid not succeed better in the industry. In this thesis, three different MBT tools are used totest and then compare whether the result in practice becomes as the theory describes the technique.The result of the study indicates the opposite direction and many shortcomings regardingModel-based testing come across.

Allt mer forskning kring digitala bildanalysplattformar sker då de har visat lika bra eller bättre prestation än existerande manuella och automatiserade metoder samt effektiviserat handläggningstiden för patientprov. Nyligen har företaget CellaVision utvecklat ett prototypprogram som via bildanalys kan räkna och klassificera retikulocyter. Syftet med studien var att jämföra noggrannheten och precisionen av CellaVisions prototypprogram för retikulocytnumrering med manuell mikroskopering och en automatiserad cellräknare. Totalt 40 blodutstryk tillverkades av 20 blodprov med abnormala värden retikulocyter (>2,5%) och 20 med normala värden retikulocyter (0,5-2,5%). Blodutstryken analyserades med prototypprogrammet, manuell mikroskopering och den automatiserade cellräknaren varpå retikulocytkoncentrationen för respektive resultat jämfördes med Pearsons korrelationstest och Bland-Altmananalys. Blodutstryk tillverkades av tre nivåer retikulocytkontroller och analyserades flertal gånger med prototypprogrammet vars retikulocytkoncentration jämfördes med andra metoders retikulocytkoncentrationer. Samma blodutstryk analyserades med olika antal inskannade celler för att utvärdera hur variationen påverkades. Resultaten från komparabilitetsstudien visade att prototypprogrammet erhöll en utmärkt korrelation och en god överensstämmelse med de andra metoderna. Precisionsstudien visade att prototypprogrammet erhöll konsekventa retikulocytkoncentrationer vid repeterade analyser och en låg variationskoefficient (0,25-10%) vid högre antal inskannade celler vid tre olika nivåer av retikulocytkontroller. Resultaten visar CellaVisions prototypprogram designat för retikulocyträkning erhåller en god noggrannhet och en hög precision vid jämförelse med manuell mikroskopering och en automatiserad cellräknare, dock behöver större studier utföras då antalet patientprov var begränsade. / More and more research on digital image analysis platforms is taking place as they have shown to have as good or better performance than existing manual and automated methods and have also streamlined the processing time for patient samples. Recently, the company CellaVision has developed a prototype program that can enumerate and classify reticulocytes via image analysis. The purpose of the study was to compare the accuracy and precision of CellaVision's prototype program for reticulocyte numbering with manual microscopy and an automated cell counter. A total of 40 blood smears were made from 20 blood samples with abnormal reticulocyte values (>2,5%) and 20 with normal reticulocyte values (0,5-2,5%). The blood smears were analysed with the prototype program, manual microscopy, and the automated cell counter, after which the reticulocyte concentration for each result was compared with Pearson's correlation test and Bland-Altman analysis. Blood smears were made by three levels of reticulocyte controls and analysed several times with the prototype program whose reticulocyte concentration was compared with the other methods' reticulocyte concentrations. The same blood smears were analysed with different numbers of scanned cells to evaluate how the variation was affected. The results of the comparability study showed that the prototype program obtained an excellent correlation and a good agreement with the other methods. The precision study showed that the prototype program obtained consistent reticulocyte concentrations in repeated assays and a low coefficient of variation (0,25-10%) in higher numbers of scanned cells at three different levels of reticulocyte controls. The results showed the CellaVision's prototype program designed for reticulocyte counting obtained good accuracy and high precision when compared with manual microscopy and an automated cell counter, however, larger studies need to be performed as the number of patient samples was limited.

Articular chondral lesions in the knee joint can be diagnosed at an early stage using MRI. Segmenting and visualizing lesions and the overall joint structure allows improved communication between the radiologist and referring physician. It can also be of help when determining diagnosis or conducting surgical planning. Although there are a variety of studies proving good results of segmentation of larger structures such as bone and cartilage in the knee, there are no studies available researching segmentation of articular cartilage lesions. Automating the segmentation will save time and money since manual segmentation is very time-consuming. In this thesis, a U-Net based convolutional neural network is used to perform automatic segmentation of chondral lesions located on the distal part of the femur, in the knee joint. Using two different techniques, batch normalization and dropout, a network was trained and tested using MRI sequences collected from Episurf Medical's database. The network was then evaluated using a segmentation approach and a detection approach. For the segmentation approach, the highest achieved dice coefficient and sensitivity of 0.4059 ± 0.1833 and 0.4591 ± 0.2387, was obtained using batch normalization and 260 training subjects, consisting of MRI sequence and corresponding masks. Using a detection approach, the predicted output could correctly identify 81.8% of the chondral lesions in the MRI sequences. Although there is a need for improvement of technique and datasets used in this thesis, the achieved results show prerequisites for future improvement and possible implementation. / Skador i knäledens brosk kan diagnostiseras i ett tidigt stadie med hjälp av MR. Segmentering och visualisering av skadorna, samt ledens struktur i helhet, bidrar till en förbättrad kommunikation mellan radiolog och remitterande läkare. Det kan också underlätta för att ställa diagnos eller utföra operationsplanering. I dagsläget finns flertalet studier som påvisar goda resultat för segmentering av större strukturer, t.ex. ben och brosk. Det finns dock få studier som studerar segmentering av skador i ledbrosk. Genom att automatisera segmenteringsprocessen kan både tid och pengar sparas. Detta eftersom att manuell segmentering är mycket tidskrävande. I detta arbete kommer ett U-Net baserat convolutional neural network att användas för att utföra automatisk segmentering av skador på distala femur i knäleden. Nätverket kommer att tränas med två olika tekniker, batch normalization och dropout. Nätverket kommer att tränas med data som är hämtad från Episurf Medicals databas och består av MR sekvenser. Nätverket kommer att tränas och utvärderas med hjälp av två metoder, en segmenteringsmetod och detekteringsmetod. Den högsta uppnådda dice koefficienten och sensitiviteten vid utvärderingen av segmenteringsmetoden uppmätte 0,4059 ± 0,1833 och 0,4591 ± 0,2387. Den upnåddes med hjälp av batch normalization och 260 MR sekvenser för träning och testning. För detektionsmetoden kunde programmet identifiera 81,8% av skadorna synliga på MR sekvenserna. Även om tekniken och datan som används behöver optimeras, så visar det uppnådda resultatet på bra förutsättningar för fortsatta studier och i framtiden möjligen även implementering av tekniken.

Security protocols are ubiquitously used in various applications with the intention to ensure secure and private communication. To achieve this goal, a mechanism offering reliable and systematic protocol verification is needed. Accordingly, a major interest in academic research on formal methods for protocol analysis has been apparent for the last two decades. Such methods formalize the operational semantics of a protocol, laying the base for protocol verification with automatic model checking tools. So far, little work in this field has focused on protocol standardization. Within this thesis a security analysis of a novel Authenticated Key-Exchange (AKE) protocol for secure association handover between two Long-Term Evolution (LTE) base stations (which support dual-connectivity) is carried out by applying two state-of-the-art tools for automated model checking (Scyther and Tamarin Prover). In the course of this a formal protocol model and tool input models are developed. Finally, the suitability of the used tools for LTE protocol analysis is evaluated. The major outcome is that none of the two applied tools is capable to accurately model and verify the dual-connectivity protocol in such detail that it would make them particularly useful in the considered setting. The reason for this are restrictions in the syntax of Scyther and a degraded performance of Tamarin when using complex protocol input models. However, the use of formal methods in protocol standardization can be highly beneficial, since it implies a careful consideration of a protocol’s fundamentals. Hence, formal methods are helpful to improve and structure a protocol’s design process when applied in conjunction to current practices. / Säkerhetsprotokoll används i många typer av applikationer för att säkerställa säkerhet och integritet för kommunikation. För att uppnå detta mål behövs en behövs mekanismer som tillhandahåller pålitlig och systematisk verifiering av protokollen. Därför har det visats stort akademiskt intresse för forskning inom formell verifiering av säkerhetsprotokoll de senaste två decennierna. Sådana metoder formaliserar protokollsemantiken, vilket lägger grunden till automatiserad verifiering med modellverifieringsverktyg. Än så la¨nge har det inte varit stort focus på praktiska tilla¨mpningar, som t.ex. hur väl metoderna fungerar för de problem som dyker upp under en standardiseringsprocess. I detta examensarbete konstrueras en formell modell för ett säkerhetsprotokoll som etablerar en säkerhetsassociation mellan en terminal och två Long-Term Evolution (LTE) basstationer i ett delsystem kallat Dual Connectivity. Detta delsystem standardiseras för närvarande i 3GPP. Den formella modellen verifieras sedan med bästa tillgängliga verktyg för automatiserad modellverifiering (Scyther och Tamarin Prover). För att åstadkomma detta har den formella modellen implementerats i inmatningsspråken för de två verktygen.  Slutligen ha de två verktygen evaluerats. Huvudslutsatsen är att inget av de två verktygen tillräckligt väl kan modellera de koncept där maskinstödd verifiering som mest behövs. Skälen till detta är Scythers begränsade syntax, och Tamarins begränsade prestanda och möjlighet att terminera för komplexa protokollmodeller. Trots detta är formella metoder andvändbara i standardiseringsprocessen eftersom de tvingar fram väldigt noggrann granskning av protokollens fundamentala delar. Därför kan formella metoder bidra till att förbättra strukturen på protokollkonstruktionsprocessen om det kombineras med nuvarande metoder.

Test benches are commonly used to simulate events to an embedded system for validation purposes. Microcontrollers can be used for making test benches and can be programmed with a bare-metal style, i.e. without an Operating System (OS), for simple cases. If the test bench would be too complex for a microcontroller, then a Real-Time Operating System (RTOS) could be used instead of a more complex hardware. A RTOS has limited functionalities to guarantee high predictability. A General-Purpose Operating System (GPOS) has a vast number of functionalities but has low predictability. The literature study looks therefore into approaches to improve the real-time predictability of Linux. The result of the literature study finds an approach called Xenomai Cobalt to be the optimal solution, considering the target usecase and project resources. The Xenomai Cobalt approach was evaluated on a Raspberry Pi (RPi) 3 using its General-Purpose Input/Output (GPIO) pins and a latency test. An application was written using Xenomai's Application Programming Interface (API). The application used the GPIO pins to read from a function generator and to write to an oscilloscope. The measurements from the oscilloscope were then compared to the measurements done by the application. The result showed the measured dierences between the RPi 3 and the oscilloscope. The result of the measurements showed that reading varied 66:20 μs, and writing varied 56:20 μs. The latency test was executed with a stress test and the worst measured latency was 82 μs. The resulting measured dierences were too high for the project requirements. However, the majority of the measurements were much smaller than the worstcases with 23:52 μs for reading and 34:05 μs for writing. This means the system could be used better as a rm real-time system instead of a hard real-time system. / Testbänkar används ofta för att simulera händelser till ett inbyggt system för validering. Till simpla testbänkar kan mikrokontroller användas. För mer avancerade testbänkar kan RTOS användas på mer komplex hårdvara. RTOS har begränsad funktionalitet för att garantera en hög förutsägbarhet. GPOS har stora mängder funktionaliteter men har istället en låg förutsägbarhet.Litteraturstudien undersökte därför möjligheterna till att få Linux att hantera realtid. Resultatet av litteraturstudien fann ett tillvägagångssätt vid namn Xenomai Cobalt att vara den optimala lösningen för att få Linux till Real-Time Linux.Xenomai Cobalt utvärderades på en RPi 3 med hjälp av dess GPIO-pinnar och ett fördröjningstest. En applikation skrevs med Xenomai’s API. Applikationen använde GPIO-pinnarna till att läsa från en funktionsgenerator och till att skriva till ett oskilloskop. Mätningarna från oskilloskopet jämfördes sen med applikationens mätningar.Resultatet visade mätskillnaderna mellan RPi 3 och oskilloskopet med systemet i viloläge. Resultatet av mätningarna visade att läsningen varierade med 66.20 µs och skrivandet med 56.20 µs. Fördröjningstestet utfördes medstresstestning och visade den värsta uppmätta fördröjningen, resultatet blev82 µs.De resulterande mätskillnaderna blev dock för höga för projektets krav. Majoriteten av mätningarna var mycket mindre än de värsta fallen med 23.52 µs för läsning och 34.05 µs för skrivning. Detta innebar att systemet kan användas med bättre precision som ett fast realtidssystem istället för ett hårt realtidssystem.