This thesis investigates the possibility of using Sequential Monte Carlo methods (SMC) to create an online algorithm to infer properties from a dataset, such as unknown model parameters. Statistical inference from data streams tends to be difficult, and this is particularly the case for parametric models, which will be the focus of this paper. We develop a sequential Monte Carlo algorithm sampling sequentially from the model's posterior distributions. As a key ingredient of this approach, unknown static parameters are jittered towards the shrinking support of the posterior on the basis of an artificial Markovian dynamic allowing for correct pseudo-marginalisation of the target distributions. We then test the algorithm on a simple Gaussian model, a Gausian Mixture Model (GMM), as well as a variable dimension GMM. All tests and coding were done using Matlab. The outcome of the simulation is promising, but more extensive comparisons to other online algorithms for static parameter models are needed to really gauge the computational efficiency of the developed algorithm. / Detta examensarbete undersöker möjligheten att använda Sekventiella Monte Carlo metoder (SMC) för att utveckla en algoritm med syfte att utvinna parametrar i realtid givet en okänd modell. Då statistisk slutledning från dataströmmar medför svårigheter, särskilt i parameter-modeller, kommer arbetets fokus ligga i utvecklandet av en Monte Carlo algoritm vars uppgift är att sekvensiellt nyttja modellens posteriori fördelningar. Resultatet är att okända, statistiska parametrar kommer att förflyttas mot det krympande stödet av posterioren med hjälp utav en artificiell Markov dynamik, vilket tillåter en korrekt pseudo-marginalisering utav mål-distributionen. Algoritmen kommer sedan att testas på en enkel Gaussisk-modell, en Gaussisk mixturmodell (GMM) och till sist en GMM vars dimension är okänd. Kodningen i detta projekt har utförts i Matlab.

Detta är en fallstudie där två olika Laserskannrar jämförs. Dessa skannrar skiljer sig då de använder två skilda metoder för punktmolnsregistrering. Dessa två metoder är: SLAM (Simultaneous Localization and Mapping) -baserad punktmolnsregistrering och punktmolnsregistrering med den indirekta två-stegs-metoden. Målet med projektet var således att granska den statiska SLAM-baserade skannern Leica RTC 360 3D och jämföra den med den mer traditionsenliga terrestra laserskannern Leica Scanstation P40. Denna undersökning är relevant eftersom det finns en tydlig skillnad mellan dessa laserskannrar både ur en planerings- och en effektivitetssynpunkt. Den statiska SLAM skannern RTC 360 har möjligheten att vara väldigt tidseffektiv då den använder sig av SLAM algoritmen VIS (Visual Inertial System) för punkmolnsregistrering i fält, samt att skannern använder en IMU (Inertial Measurement Unit) som möjliggör skanningar med hög kvalitet utan att instrumentet är ordentligt horisonterat. Vilket är en förutsättning för att kunna genomföra en skanning med P40. Punktmolnen från dessa två laserskannrar jämförs med varandra och granskas visuellt för att analysera vilka skillnader som finns mellan dem. Samma punktäthet används och skanningarna genomförs från samma positioner med båda instrumenten. Utöver detta görs en statistisk undersökning med hjälp av kontrollpunkter och RMS-värden beräknas med hjälp av dessa. För att tillåta denna statistiska analys, georefererades båda punktmolnen med indirekt georeferering till referenssystemet SWEREF 99 16 30 i plan samt RH 2000 i höjd. Just denna process var något enklare att genomföra med P40 än med RTC 360. Då P40 data var något bättre anpassat för bearbetning i Leica Cyclone. Vilket var de program som främst användes för bearbetning av data. RTC 360 använder två pulser för att skanna in varje punkt, vilket resulterade i att den skannade in något fler punkter. Framförallt märktes denna funktion på områden som traditionellt är svåra att skanna med en laserskanner, främst blanka, svarta områden. Det visade sig av kontrollpunkterna att det fanns en liten variation mellan punktmolnenskvalitet där lasersdata från P40 höll 1–2 millimeters kvalitet. Ur detta resultat kunde slutsatsen dras att Leica Scanstation P40 är något bättre för geodetiska ändamål med mycket höga krav på georefereringen. I det flesta andra sammanhang är RTC 360 att rekommendera. Leicas RTC 360 är ett bra exempel på hur SLAM-algoritmen kan användas för att förenkla många laserskanningsprojekt. Även i de projekten med höga krav på detaljrikedom. / This is a case study which aims to compare two different laser scanners. The main difference between these two scanners is that they use different solutions for registration of point clouds. These two solutions are SLAM (Simultaneous Localization and Mapping) as well as the indirect two-step approach. The thesis aims at comparing the static SLAM-based scanner Leica RTC 360 with the more traditional scanner Leica Scanstation P40. This is a relevant study due to the big differences between these two scanners, in the aspect of both how much preparation that is need and how effective both scanners are. The static SLAM scanner RTC 360 has the possibility to be very time efficient due to use of the SLAM-algorithm called VIS (Visual Inertial System) that are used for alignment of different point clouds as early as in the fieldwork. The RTC 360 also uses an IMU (Inertial Measurement Unit) that allows the laser scanner to do complete and detailed scans without the need to be perfectly levelled. The P40 on the other hand do need to be precisely levelled to be able to complete a scan. The point clouds from these two laser scanners are compared with each other by reviewing the visual features of the two clouds and finding differences between the point clouds. The same point density was used in both clouds and the scans took place from the same positions with both scanners. A statistical comparison was also made. This statistical analysis was made with use of control points and RMS values that were established with the help of these. This statistical analysis was made possible by the fact that both point clouds were georeferenced to the reference system SWEREF 99 16 30 as well the system RH 2000 for height. This process of georeferencing both clouds was easier to perform with the P40 than the RTC 360. Because the laser data from P40 were slightly better suited for the program Leica Cyclone, which were the program that was used for most of the data processing. RTC 360 uses two individual laser-pulses for each scanned point. This resulted in that the RTC 360 scanned some more points compared to the P40. This difference was extra noticeable on surfaces that usually are difficult for laser scanners to scan, such as plain, black surfaces. The control points showed that quality of both point clouds was very similar to each other. The P40 showed slightly higher accuracy, about 1-2millimeter, relative to the RTC 360 scanner. This resulted in the conclusion that P40 were slightly better for geodic purposes with very high demands on the georeferencing. In most of the other cases RTC 360 is the recommended scanner. Leica RTC 360 is a good example of how the SLAM-algorithm can be used to make many laser scanning projects easier and more efficient.

Bakgrunden till detta projekt är att Vattenfall Eldistribution AB (nedan kallat Vattenfall) kommer att införa ett avgiftssystem för inmatning av reaktiv effekt till sitt elnät. Avgiften införs till följd av problem på elnätet som orsakas av reaktiv effekt. Umeå Energi Elnät AB (nedan kallat Umeå Energi) har historiskt matat in reaktiv effekt vilket motiverade detta arbete som utreder den reaktiva effekten på Umeå Energis elnät samt bidrar med information om två alternativa tillvägagångssätt att bemöta avgiften. Alternativ 0 är att kompensationsutrustning inte installeras, utan att ett abonnemang på inmatning av reaktiv effekt upprättas. Alternativ 1 är att kompensationsutrustning installeras. För att utreda den reaktiva effekten erhölls och behandlades data på reaktiv effekt i Umeå Energis nät. Historisk kondensatordrift togs fram för år 2016 ur händelsehistoriken hos Umeå Energis driftcentral. Kondensatordriften år 2015 kunde enbart erhållas från ett tidigare arbete på Umeå Energi eftersom ett begränsat antal händelser lagras i händelsehistoriken. Genom att subtrahera kondensatorernas produktion från den reaktiva effekten i Umeå Energis anslutningspunkter som uppmätts av Vattenfall erhölls data som mer representerade underliggande fenomen på nätet. Utan kondensatordrift beräknades inmatningen enligt Vattenfalls definition uppgå till cirka 34 MVAr utifrån data från 2015 och 2016. För åren 2018 till och med 2023 beräknades ändringar i reaktiv effekt till följd av förändringar på Umeå Energis nät. Vid beräkningarna försummades ledningarnas induktiva karaktär, vilket gav ett tomgångsscenario med maximal produktion av reaktiv effekt. År 2023 beräknades inmatningen ska ha ökat till 59 MVAr till följd av förändringar på Umeå Energis nät. Med antagandet att Umeå Energi inte kommer att drifta kondensatorbatterierna så att inmatningen höjs föreslogs för alternativ 0 val av abonnemang på inmatning av reaktiv effekt för åren 2018 till och med 2023 utifrån de 34 MVAr som nämnts ovan och inverkan från förändringarna på nätet. År 2019 föreslogs ett abonnemang på 41 MVAr, och 2023 föreslogs ett på 59 MVAr. Kostnaderna för dessa beräknades enligt Vattenfalls tariff till 820 000 kr respektive 1 187 000 kr. Kostnaden för eventuell överinmatning av reaktiv effekt beräknades med tariffen för överinmatning årligen uppgå till maximalt 76 000 kr med 95 % sannolikhet enligt den korrigerade standardavvikelsen hos inmatningen utan kondensatordrift åren 2015 och 2016. Optimal kondensatordrift beräknades för åren 2015 och 2016 genom att addera den produktion av reaktiv effekt från befintliga kondensatorbatterier som gav minst absolutvärde i reaktiv effekt. Beroende på hur ofta kondensatordriften justerades erhölls olika resultat. En undersökning av störningar till följd av kondensatorkopplingar rekommenderas för att få en förståelse för förutsättningarna för optimal kondensatordrift. Det bedömdes inte ekonomiskt motiverbart med mer avancerad kompensationsteknik såsom statiska VAr-kompensatorer då variabla reaktorer kan kompensera dygns- och säsongsvariationer i reaktiv effekt. Den reaktiva effektproduktionen i ledningar är störst på 145 kV-nivån och kommer öka i framtiden på denna nivå. Det är därför sannolikt här kompensationsutrustning såsom reaktorer först bör installeras. För att kunna ta så bra beslut som möjligt angående den reaktiva effekten rekommenderas att snarast möjligt ingå ett arbetssätt som om avgiftssystemet redan tagits i bruk och utöka ett representativt dataunderlag. / The background of this project is that Vattenfall Eldistribution AB (hereinafter referred to as Vattenfall) will establish a system of fees for input of reactive power. This will be done due to problems in the grid caused by reactive power. Umeå Energi Elnät AB (hereinafter referred to as Umeå Energi) has historically input reactive power, motivating this work which investigates the reactive power in the grid of Umeå Energi and provides information on two alternative approaches to responding to the fee. Alternative 0 entails no installation of compensation technology, and that a subscription for reactive power input is established instead. Alternative 1 entails that compensation technology is installed. To investigate the reactive power, data on reactive power in the grid of Umeå Energi were obtained and processed. Historical operations of capacitor banks for the year 2016 were obtained from the history of events of the control center at Umeå Energi. The operations of the capacitor banks during 2015 could only be obtained from an earlier work at Umeå Energi since the number of events stored in the history is limited. By subtracting the capacitor banks’ production from the reactive power measured by Vattenfall in the connections of Umeå Energi, data more representative of underlying phenomena were obtained. Without capacitor production of reactive power, the input was calculated according to the definition of Vattenfall to about 34 MVAr, by using data from 2015 and 2016. For the years 2018 through 2023, changes in reactive power due to changes in the grid of Umeå Energi were calculated. These calculations did not consider inductances, and thus yielded zero-load scenarios with maximum reactive power production. By the year of 2023, the input was calculated to have increased to 59 MVAr due to changes in the grid of Umeå Energi. Assuming that Umeå Energi will not operate the capacitors so that the input is increased, for alternative 0 subscriptions for input of reactive power were suggested for the years 2018 through 2023 by considering the abovementioned 34 MVAr and the changes in the grid. Subscriptions of 41 MVAr and 59 MVAr were suggested for the years 2019 and 2023 respectively. The costs of these were calculated with the fee specified by Vattenfall to SEK 820,000 and SEK 1,187,000 respectively. Calculations with the applicable fee yielded that the yearly cost of possible over-input could amount to a maximum of SEK 76,000 with a 95 % probability, using the corrected standard deviation of the input without capacitor production of reactive power for the years 2015 and 2016. Optimal capacitor bank operations were calculated for the years 2015 and 2016 by adding the production of reactive power from existing capacitor banks which yielded the minimum absolute reactive power. Depending on how often the capacitors were operated different results were obtained. An investigation of power quality disturbances due to capacitor bank operations is recommended to achieve an understanding of the conditions for optimal capacitor bank operations. It was not deemed economically justifiable to install more advanced compensation technologies such as static VAr compensators since variable reactors are able to compensate daily and seasonal variations in reactive power. The production of reactive power in cables is the largest on the 145 kV level and will increase in the future on this level. It is therefore likely here compensation technologies such as reactors should be installed first. To be able to make as good decisions as possible concerning the reactive power, it is recommended to as soon as possible commence a working method as if the fee system had already come into effect; thus increasing the amount of representative data.

Omnia HR är en HR-plattform utvecklat för Microsofts SharePoint. I denna artikel beskrivs hur en liten del av plattformen är skapad – onboardingen. När en ny person anställs på ett företag bör det göras förberedelser inför den nyanställdes första dag, det är vad onboardingen handlar om. I detta projekt skapades förutsättningar för att administrera och hantera dessa förberedelser.   Projektet skrevs i Microsoft-utvecklade programmeringsspråket TypeScript, en påbyggnad på JavaScript. TypeScript transpileras ned till JavaScript och har stöd för de senaste funktionerna. I rapporten diskuteras fördelarna samt nackdelarna med att använda TypeScript för ett projekt, hur vida det faktiskt underlättar arbetet eller om det går lika bra att använda vanlig JavaScript. / Omnia HR is a HR-platform developed for Microsoft SharePoint. In this article, the creation of a smaller part for the platform – the onboarding – is described. When a new employee is hired, the company need to do some tasks before the new employees first day, that’s what the onboarding is all about. In this project conditions to administrate and handle these tasks were made.   The project was written in the programing language TypeScript, developed by Microsoft. TypeScript is superset of JavaScript and is transpiled down to pure JavaScript with support for the latest functions. In this rapport pros and cons by using TypeScript for a project is discussed, and if it actually makes the process easier or if it’s just as good to use regular JavaScript.

Establishing and preserving a high level of software quality is a not a trivial task, although the benefits of succeeding with this task has been proven profitable and advantageous. An approach to mitigate the decreasing quality of a project is to track metrics and certain properties of the project, in order to view the progression of the project’s properties. This approach may be carried out by introducing continuous code inspection with the application of static code analysis. However, as the initial common opinion is that these type of tools produce a too high number of false positives, there is a need to investigate what the actual case is. This is the origin for the investigation and case study performed in this paper. The case study is performed at Ida Infront AB in Linköping, Sweden and involves interviews with developers to determine the performance of the continuous inspection platform SonarQube, in addition to examine the general opinion among developers at the company. The author executes the implementation and configuration of a continuous inspection environment to analyze a partition of the company’s product and determine what rules that are appropriate to apply in the company’s context. The results from the investigation indicate the high quality and accuracy of the tool, in addition to the advantageous functionality of continuously monitoring the code to observe trends and the progression of metrics such as cyclomatic complexity and duplicated code, with the goal of preventing the constant increase of complex and duplicated code. Combining this with features such as false positive suppression, instant analysis feedback in pull requests and the possibility to break the build given specified conditions, suggests that the implemented environment is a way to mitigate software quality difficulties. / 建立和保持高水平的软件质量可以带来经济利益等诸多好处，然而这是一项很困难的任务。其中一种防止软件项目质量下降的方法是通过跟踪项目的度量值和某些属性，来查看项目的属性的变化情况。通过引入持续的代码审查和应用静态代码分析方法可以实现这种方法。然而，在人们的印象中，这类工具往往具有较高的误检，因此需要进一步调查实际情况、研究其可行性，这是本文的初始研究目标。本文在瑞典林雪平的Ida Infront AB公司开展了案例研究，调研了该公司开发人员的意见，并通过访问开发人员，确定持续的代码审查平台SonarQube的性能。作者对持续的代码审查环境进行了配置，分析了公司的部分产品，进而确定哪些规则适用于该公司。调查结果表明该工具是高质量并且准确的，还提供了持续监测代码来观察度量值的趋势和进展等先进功能，例如通过监测环路复杂度和重复代码等度量值，来防止复杂度和重复代码的增加。通过组合误检压缩、对pull requests的瞬间分析反馈、以及分解和建立给定的条件等特征，使得所实现的环境成为一种可以降低软件质量保障难度的方式。

Kalmar Cargotec is a company offering solutions for container and heavy industrial material handling. One of their products, EC-truck (empty container), lifts objects as heavy as 11 tonnes and sometimes as high as 16 meters vertically up in the air. Lifting very heavy objects high up in the air can cause the pulse to rise if unwanted movement is caused due to strong winds. This thesis was raised by Kalmar Cargotec, to study if the swinging effect of the elevated load could be reduced by increasing the torsional resistance of the truck chassis framework. The project work will be conducted at the engineering consultancy firm Citec AB in Karlstad, whom together with Kalmar Cargotec, offered the opportunity for this thesis. Concepts were generated for the chassis framework to find a new and improved design. The conceptual designs were compared both numerically, through the finite element analysis based program Mechanical, and analytically. The three best performing concepts were studied further with more variables accounted for where one was picked to be implemented in a large scale computational model. It was discovered that it is possible to reduce the swinging effect of the mast by replacing the current U-profiled beams in the chassis framework with hollow rectangular cross-sectional beams. / Kalmar Cargotec är ett företag som erbjuder lösningar till kontainer- och materialhantering i tungviktsindustrin. En av deras produkter, EC-trucken (empty container), lyfter föremål så tunga som 11 ton och ibland s˚a högt som 16 meter vertikalt upp i luften. Att lyfta så tunga föremål, så högt upp i luften kan väcka oro ifall föremålet börjar förflytta sig på grund av starka vindar. Den här masteruppsatsen presenterades av Kalmar Cargotec för att studera om svängningseffekten av det upphöjda föremålet kan reduceras genom att öka vridmotståndet i truckens chassi-ramverket. Projektet kommer att utföras på ingenjörsinriktade konsultfirman Citec AB i Karlstad, som genom Kalmar Cargotec, erbjöd möligheten för att utföra detta examensarbete. Koncept genererades på chassi-ramverket med syfte att hitta nya och förbättrade lösningar. De konceptuella utformningarna jämfördes både numeriskt, genom det finita element-baserade programmet Mechanical, och analytiskt. De tre koncept som presterade bäst valdes för vidare studier med fler variabler inräknade, där en till slut valdes för att implementeras i en större beräkningsmodell. Det visade sig vara möjligt att reducera den svängande effekten av stativet med lasten genom att byta ut de befintliga U-profil balkarna i chassi-ramverket mot balkar med rektangulärt ihåliga tvärsnitt.

Den här rapporten behandlar ett projekt utfört i kandidatkursen TDDD96 - Kandidatprojekt i programvaruutveckling. Projektet är utfört av åtta studenter från datateknik- ochmjukvaruteknikprogrammen på Linköpings universitet (LiU) för kunden från institutionen för medicinsk teknik (IMT) på LiU. Syftet med projektet var att ta fram en prototypmed ett grafiskt gränssnitt för uppvisning och simulering av hur kroppen påverkas av t.ex.träning, sömn och kostintag. Modellerna som simulerats är framtagna av forskningsgrup-pen integrativ system biologi för institutionen för medicinsk teknik LiU och resultatet är i form av dataändringar och grafer i programmets gränssnit.

The aim of this study is to investigate how preschool children, aged 3-5 years, create meaning of static electricity in an activity led by a pedagogue, how this is expressed and what part the pedagogue takes in children’s meaning making. The method used was participant observation and video camera was used to document a designed activity. The observations took place at four occasions with four different groups and the observations was conducted in different rooms of various sizes, which were provided by the preschool. Equipment used in this study are: Balloons, pvc-pipes, salt, different kinds of papers, aluminum cans and thin plastic bags. Results in this study show that the children create meaning of the activity first and foremost by exploring interplay and conversations. They solve the task at hand working together and with support of the pedagogue. The role of pedagogue in the children’s meaning making is to present tasks which have moderate levels of difficulties, and to direct the children’s focus by using questions concerning the current phenomenon. In so doing, they support the children to succeed. Factors of importance for the children’s meaning making is to be given the opportunity to explore, their curiosity, joy and being heard.

In stainless steelmaking, around 68% of the total greenhouse gas emissions come from the processing of raw materials. Thus, it is important for steelmakers to make efforts together with their raw material suppliers to implement low-carbon initiatives. To facilitate such initiatives, assessment of raw materials will provide guidance. In this work, the assessment of materials consists of two parts: i) different production scenarios are studied by using a static process model coupled with life cycle assessment approach to investigate the reduction potential of environmental impacts for Mo and Ni alloys; ii) assessment of the effect of trace element content (phosphorus) in stainless steel scrap on steel’s manufacturing cost, resource consumption and environmental impact using an online static process model. The results show that the overall GHG emission of FeMo production varies between 3.16-14.79 t CO2-eq/t FeMo (i.e. 5.3-24.7 tCO2-eq/t Mo). The main variance comes from the mining and beneficiation stages and depends mainly on the ore’s beneficiation degree. However, whether molybdenum is extracted as a co-product from copper mine or not can have an even greater effect on the total GHG emission of molybdenum due to the allocation of the impacts.  In the case of nickel alloys, the GHG emissions for producing nickel metal, nickel oxide, ferronickel and nickel pig iron are 14, 30, 6 and 7 tCO2-eq/t alloy (i.e. 14, 40, 18, and 69 tCO2-eq/t Ni), respectively. Extracting sulfide ore through flash smelting process has been shown to have the least energy requirement and greenhouse gas emissions. In comparison to sulfide ore processing, oxide ore processed in an electric furnace is much more energy intensive and less environmental friendly primarily due to high content of gangue. However, by using a sustainable electricity source such as hydro-powered electricity, or applying a thermal heat recovery, it is possible to reduce the impact from electric furnace smelting of laterite. Furthermore, the use of stainless steel scraps with low phosphorous contents reduces slag amount, alloy consumption, production cost and carbon footprint. An estimation equation between phosphorous content and scrap’s value-in-use is obtained in the study to support the development of purchasing strategy. To conclude, the application of static process model based on mass and energy balance provides the possibility to assess raw materials’ environmental impact (energy consumption and GHG emissions) and to identify potentials to realize sustainable stainless steelmaking. / Vid tillverkning av rostfritt stål kommer cirka 68% av växthusgaserna ifrån råvaruanvändningen. Därför är det viktigt för ståltillverkare att göra en samordnad insats med sina levenrantörer för att reducera dessa utsläpp. Den här avhandlingen ämnar att undersöka råvaror ur två perspektiv: i) att utvärdera olika produktionsscenarier för  molybden och nickelleggeringar genom en statisk processmodell i kombination med livscykelanalys för att undersöka potentialen för att minska miljöbelastningen; ii) att undersöka hur spårämnesinnehållet (fosfor) i rostfritt stålskrot påverkar ståltillverkningskostnaden, resursförbrukningen och miljöpåverkan med ett webbaserat verktyg för processmodellen. Resultaten visar att växthusgasutsläppen från produktionen av FeMo varierar mellan 3.16-14.79 t CO2-eq/t FeMo (d.v.s. 5.3-24.7 tCO2-eq/t Mo). Variationen beror främst på malmets anrikningsgrad under malmbrytnings- och anrikningsprocessen. När molybden förekommer  i kopparmalm och utvinns som en co-produkt så kan det ha en större effekt på molybdens energiförbrukning och växthusgasutsläpp än vad malmens anrikningsgrad har. I fallet för tillverkning av nickelmetall, nickeloxid, ferronickel och nickeltackjärn är växthusgasutsläppen 14, 30, 6 respektive 7 tCO2-eq/t legering (motsvarande 14, 40, 18, respektive 69 tCO2-eq/t Ni). Användningen av sulfidmalm i flashsmältningsprocessen har visat sig ha lägst energibehov och växhusgasutsläpp medan användningen av oxidmalm i ljusbågsugn både är mer energiintensiv och utsläppsintensiv  på grund av en stor mängd oxider i nickelmalmen. Dessa utsläpp kan dock förbättras genom användningen av hållbar energi (till exempel el från vattenkraft), eller genom värmeåtervinning under processen. Utöver detta kan skrot med lågt fosforinnenhåll också användas vid tillverkningen av rostfritt stål för att minska slaggmängden, förbrukningen av legeringar, produktionskostnaden och växthusgasutläppen.  En ekvation mellan fosforinnehållet och skrotets värde föreslås här som underlag för att utveckla en inköpsstrategi för skrot. Sammanfattningsvis så kan en statisk processmodell baserad på mass- och energibalans tillämpas för att utvärdera råvarors miljöbelastning (energiförbrukning och växthusgasutsläpp) och identifiera potentialen för en hållbar tillverkning av rostfritt stål.

In the real world, web applications are crucial in various domains, from e-commerce to finance and healthcare. However, these applications are not immune to vulnerabilities, particularly in business logic. Detecting such vulnerabilities can be challenging due to the complexity and diversity of application functionality. Consequently, there is a growing need for automated tools and techniques to aid in identifying business logic vulnerabilities. This research study investigates the efficacy of static analysis techniques in detecting server-side business logic vulnerabilities through the analysis of client-side JavaScript code. The study explores various analysis techniques, including code parsing, data flow analysis as detection methods, and their application in identifying potential vulnerabilities. This thesis also identifies common flaws contributing to business logic vulnerabilities, such as insufficient input validation, insecure access controls, and flawed decision-making logic. The effectiveness of static analysis techniques in pinpointing server-side business logic vulnerabilities is evaluated, revealing promising results, particularly in detecting parameter manipulation vulnerabilities. Notably, the study discovered vulnerabilities in two live applications that could lead to severe financial problems, underscoring the real-world implications of these vulnerabilities. However, challenges such as false positives and the need for manual verification are also acknowledged. The study concludes by proposing improvements and future research directions, including exploring advanced techniques like machine learning and natural language processing and integrating dynamic analysis and real-world testing scenarios to enhance the accuracy and efficiency of static analysis. The findings contribute to the understanding of utilizing static analysis techniques for detecting server-side business logic vulnerabilities, offering insights for developing more robust and efficient vulnerability detection tools. / I den verkliga världen är webbapplikationer avgörande inom olika områden, från e-handel till finans och sjukvård. Dessa applikationer är dock inte immuna mot sårbarheter, särskilt inte i affärslogiken. Att upptäcka sådana sårbarheter kan vara en utmaning på grund av komplexiteten och mångfalden i applikationernas funktionalitet. Därför finns det ett växande behov av automatiserade verktyg och tekniker som kan hjälpa till att identifiera sårbarheter i affärslogiken. Denna forskningsstudie undersöker hur effektiva statiska analystekniker är för att upptäcka sårbarheter i affärslogiken på serversidan genom analys av JavaScript-kod på klientsidan. Studien utforskar olika analystekniker, inklusive kodparsing, dataflödesanalys som detektionsmetoder, och deras tillämpning för att identifiera potentiella sårbarheter. Avhandlingen identifierar också vanliga brister som bidrar till sårbarheter i affärslogiken, såsom otillräcklig validering av indata, osäkra åtkomstkontroller och bristfällig logik för beslutsfattande. Effektiviteten hos statiska analystekniker för att hitta sårbarheter i affärslogiken på serversidan utvärderas och visar på lovande resultat, särskilt när det gäller att upptäcka sårbarheter i parametermanipulation. I studien upptäcktes sårbarheter i två live-applikationer som kan leda till allvarliga ekonomiska problem, vilket understryker de verkliga konsekvenserna av dessa sårbarheter. Utmaningar som falska positiva resultat och behovet av manuell verifiering erkänns dock också. Studien avslutas med förslag på förbättringar och framtida forskningsinriktningar, inklusive utforskning av avancerade tekniker som maskininlärning och naturlig språkbehandling och integrering av dynamisk analys och verkliga testscenarier för att förbättra noggrannheten och effektiviteten hos statisk analys. Resultaten bidrar till förståelsen för att använda statiska analystekniker för att upptäcka sårbarheter i affärslogik på serversidan, och ger insikter för att utveckla mer robusta och effektiva verktyg för sårbarhetsdetektering.