<p><strong>Bakgrund: </strong>Skandaler vilka härrör till brister i den interna kontrollen har under det senaste decenniet uppdagats. Med bakgrund i skandalerna har regelverk och koder inom bolagsstyrningsområdet växt fram och som en följd av detta upprättades Svensk kod för bolagsstyrning. I Koden regleras den interna kontrollen, avseende de finansiella rapporterna, vilken talar om att styrelsen kontinuerligt ska se till och utvärdera att bolaget har god intern kontroll samt årligen avge rapporter över hur den interna kontrollen är organiserad. Med den knapphändiga information som Koden ger, samt avsaknaden av klara riktlinjer över hur arbetet i praktiken kan utföras, ansåg vi det av vikt att ta reda på hur bolag kan gå tillväga för att beskriva och utvärdera den interna kontrollen i syfte att tillmötesgå de krav som ställs inom ramen för Svensk kod för bolagsstyrning.</p><p><strong>Syfte: </strong>Uppsatsens syfte är att göra en beskrivning och en analys av svenska företags val av metod och verifiering av intern kontroll med avseende på de finansiella rapporterna, i enlighet med Svensk kod för bolagsstyrning.</p><p><strong>Genomförande: </strong>Empiriinsamlingen till denna studie har skett genom intervjuer och en survey-undersökning samt genom en inblick i en konkret organisations tillvägagångssätt. Survey-undersökningen omfattade alla de bolag som i dagsläget tillämpar Svensk kod för bolagsstyrning och intervjuerna genomfördes med representanter från fyra revisionsbolag, Ekonomistyrningsverket och Kollegiet. Posten är den organisation vars tillvägagångssätt studerats och som möjliggjort till en djupare förståelse och ett konkret exempel ur praktiken.</p><p><strong>Resultat: </strong>Studiens resultat pekar på att det inte finns någon ultimat metod för att kartlägga och verifiera den interna kontrollen. Det vanligaste tillvägagångssättet visade sig vara att bolag använder självutvärdering, därutöver återfanns egenrapportering, analysbaserad metod och COSO-ramverket. Utöver de konkreta metoderna har studien resulterat i att det krävs ytterligare ställningstaganden såsom syftesdefiniering, om konsulthjälp ska nyttjas och om internrevisionsavdelning ska utföra utvärderingen. Det har visats sig att alla metoder kan vara effektiva, dock måste hänsyn tas till bolags förutsättningar och processen bör ses ur ett vidare perspektiv. Vidare utgjorde verifiering en av de viktigaste faktorerna i utvärderingsprocessen.</p> / <p><strong>Background:</strong> During the last decennium there have been several scandals due to weak internal control. As a reaction to these scandals, several codes and sets of regulations have emerged within the area of corporate governance and the “Swedish code for corporate governance” is one of them. This code regulates the internal control concerning the financial reports and thus obliges the management to continuously govern and evaluate the internal control so that it holds good quality and to annually report how the internal control is organized. Due to the scarce information that the code provides and the lack of guidelines on the practical work we found it of importance to find out how companies could do in order to describe and evaluate the internal control so that the requirements of the code are fulfilled.</p><p><strong>Purpose:</strong> The purpose of this thesis is to make a description and an analysis of Swedish companies choice of method and verification of internal control regarding the financial reports in accordance to the “Swedish code for corporate governance”.</p><p><strong>Implementation:</strong> The empirical data for this thesis has been collected by a survey, by several interviews and through the study of an organization. The survey included all companies that are required to conform to the code today and the interviews where made with representatives from four major audit firms, Kollegiet and Ekonomistyrningsverket. The study of the procedure of the company Posten has led to a greater understanding and a practical example.</p><p><strong>Result:</strong> The result of the study implies that there is no ultimate method to map out and verify the internal control. The most common way to do this is self evaluation, in addition to that there is self reporting, analysis based method and COSO. In addition to the methods the study has shown that further decisions, such as a definition of the purpose, if a consultant should be acquired and if the management accounting division should be engaged, must be made. The thesis shows that all methods can be made effective but the process should be seen from a broader perspective and considerations must be taken to company prerequisites. Furthermore, verification was one of the most important factors in the evaluation process.</p>

Syftet med denna studie var att visa vilka konsekvenser valet av en viss detaljnivå får vid simuleringen av ett system bestående av mjukvara, hårdvara och mekaniska komponenter. Till detta syfte ställdes två frågeställningar “Vad blir konsekvenserna av att lägga sig på en viss detaljnivå vid simulering av ett system bestående av mjukvara, hårdvara och mekaniska komponenter?” och “Hur påverkar detaljnivån när en simulering av ett system bestående av mjukvara, hårdvara och mekaniska komponenter ska verifieras och valideras?”. För att genomföra denna studie och uppnå syftet användes en vanligt förekommande metod för att utveckla simuleringsmodeller. Studien visade på att detaljnivån påverkar vilken information en modell kräver för att konstrueras och vilket användningsområde en modell har. Resultaten tyder på att informationen som finns tillgänglig om det system som en modell ska utvecklas för helt eller delvis begränsar vilken detaljnivå som modellen kan utvecklas på. Studien har begränsat undersökningen till en typ av växelspak och de två modeller som utvecklades ligger på en hög detaljnivå. Examensarbetet har även inte undersökt utvecklingen av modeller, enbart färdiga modeller. / The purpose of this study was to show what consequences a particular level of detail has on the simulation of a system consisting of software, hardware and mechanical components. In order to fulfil this purpose, the following questions were asked: “What are the consequences of using a certain level of detail in a simulation of a system containing software, hardware, and mechanical components?” and “How does the level of detail affect when a simulation of a system containing software, hardware, and mechanical components is verified and validated?”. To carry out this study, a common method for developing simulation models was used. The study showed that the level of detail will affect what information a model requires to be constructed and which uses a model has at that level of detail. The results suggest that the available information about the system that a model is developed for partially restricts the level of detail the model can have. The study is limited to a single type of shifter and all models have been developed at a high level of detail. The study also did not examine the development of models, and only studied finished models.

Den tekniska utveckling som skett världen över har medfört en enorm effektivisering inom många områden, bland annat hur vi utfördagliga betalningar och i vilken form vi förvarar vår plånbok. Det fysiska bankkortet som vi människor är vana vid har näst intill totalt eliminerat kontanter i Sverige men håller, på grundav den tekniska utveckling, just nu på att självt bli ersatt. Denna ersättaren kallas i vardagligt tal för den digitala plånboken och har under de senaste åren tagit sig in i fler och fler länderoch är idag det betalningssätt som fler och fler konsumenter använder i första hand. I denna undersökning så studeras konsumenters synsätt på digitala plånböcker utifrån aspekternasäkerhet och användbarhet. Dessa aspekter är, enligt tidigare forskning, faktorer som användare av digitala plånböcker anser vara viktigast och vi har därför gjort en mer djupgåendeundersökning av hur användare i Sverige ställer sig till dessa aspekter. För att komma fram till resultatet så har 5 stycken användare intervjuats för att ge deras syn på digitalaplånböcker. Slutsatserna som kan dras utifrån diskussionen, som förts med grund i teori och den insamlade empirin, är att respondenternas synsätt på sina digitala plånböcker är att dehåller en god nivå av användbarhet på grund av exempelvis ständig tillgänglighet samt enkelhet vid användning. Respondenterna ansåg dessutom att nivån på säkerhet hålls på en godnivå, mestadels på grund av verifieringen som användaren ständigt måste genomföra för att kunna använda sig utav tjänsten.

En stor del av de byggarbeten som äger rum i Sverige utförs på befintliga byggnader. Svensk regelförfattning använder begreppet ändring för vissa typer av arbeten på befintliga byggnader. Begreppet ändring innefattar tillbyggnad, ombyggnad och ändring. För vissa ändringar krävs att konstruktionens stabilitet verifieras i sin helhet, andra ändringar tillåter delvis verifiering. Verifieringen av konstruktionen får enligt EKS utföras i enlighet med de konstruktionsregler som användes vid byggnadens uppförande eller enligt nuvarande konstruktionsregler. Generellt gäller dock att det säkerhetsindex som specificeras i dagens regelverk ska följas.Säkerhetsindex är ett mått på vilken sannolikhet som råder för att en konstruktion ska gå i brott och härstammar från de beräkningsmetoder som baseras på sannolikhetsteori. Med äldre konstruktionsregler, som inte bygger på sannolikhetsteori, blir det svårt att bekräfta ett tillräckligt säkerhetsindex. Används gällande Eurokoder för verifiering så måste indata vara kompatibel. Syftet med detta examensarbete var att undersöka osäkerheter och att ge en kunskapsöversikt vid verifiering av befintliga takkonstruktioner i trä, med utgångspunkt i Eurokoderna och partialkoefficientmetoden.Genom litteraturstudie har verifieringsmetoderna samt material- och lastvärdens uppbyggnad redovisats för att ge en kunskapsbas vid verifiering av äldre byggnader. För att besvara syftet har följande frågeställningar använts:•Vad gäller för regler vid ändring av konstruktioner enligt svensk bygglagstiftning?•Vilka teoretiska grunder och antaganden baserades äldre konstruktionsregler på och hur är de nuvarande uppbyggda?• Hur behandlas osäkerheter i dagens konstruktionsregler och hur påverkar det användning av last- och materialvärden?• Vilka andra viktiga faktorer än material- och lastvärden kan påverka vid verifiering och hur kan osäkerheten utvärderas?• Hur kan äldre egenskapsvärden jämföras med nuvarande för att exempelvis avgöra om en lasteffekt förändrats?Genom beräkningsmodeller approximerades de äldre material- och lastvärdena till värden jämförbara med nuvarande och parametrarnas inverkan på ett beräkningsresultat kvantifierades. Syftet med beräkningsmodellerna var att ge empiriskt stöd vid val av indata. Den teoretiska bakgrunden tillsammans med beräkningsmodellerna utgör underlag till följande slutsatser:• Reglerna i Boverkets Byggregler (BBR) gäller vid ändring av konstruktioner och det är säkerhetsindex som är riktmärket vid verifiering, även då äldre konstruktionsregler används. • Äldre dimensioneringsregler är uppbyggda på deterministiska teorier vilket inte möjliggör beräkningar av säkerhetsindex som är ett sannolikhetsbaserat mått.• Osäkerheter i dagens konstruktionsnorm är baserade på sannolikhet och beaktas genom partialkoefficienter, fraktiler, faktorer och lastreduktioner. Detta medför att äldre material- och lastvärden är svåra att jämföra med nuvarande.• Befintliga träkonstruktioners hållfasthet är till stor del beroende av omgivande klimat och nedbrytningsprocesser. Last- och materialvärden påverkas också stort genom form- och korrektionsfaktorer vars påverkan kan kvantifieras med enkla beräkningsmodeller. • Äldre last- och materialvärden som avser medelvärden kan approximeras med beräkningar. För värden med låg variation i mätdata ger de beräknade värdena en kompletterande grund vid hållfasthetsbedömningar.Resultatet från studien visar att det råder svårigheter vid jämförande av äldre normativa värden och dagens fraktilvärden, vilket gör det svårt att bedöma en eventuell lastökning. Därför anses att nuvarande riktlinjer för förändrade lastvärden bör förtydligas. / When assessing existing buildings the Swedish construction regulations allows the use of older verification models derived from the time the building was established. The purpose of this thesis is to examine uncertainties when verifying existing timber roof constructions with the use of Eurocode and the partial coefficient method.By a literature study the structure of the Eurocodes was presented to mediate a knowledge base for the reader. To fulfill the purpose the following research aims were made:• What regulations applies when alterations are made to existing buildings according to Swedish regulations?• What types of verification models and assumptions has been used in past Swedish construction regulation and how is the current standard constructed?• How are uncertainties handled in the current standard and how does this effect the choice of input data?• What other aspects except material strengths affects the characteristics of timber and how can uncertainties be quantified?• How can older characteristic values approximatively be compared to contemporary values?To compare values and quantify the actual impact the factors holds, basic calculations has been made with the purpose to give empirical support when choosing input data. The study leads to the conclusions that:• The rules in Boverket’s building regulations (BBR) applies when assessing existing buildings and the safety index sets the demand of safety.• Uncertainties in current construction standards are based on probability unlike older which are based on deterministic theories.• Current timber constructions are to great extent dependent to ambient climate and deterioration processes. Load values and material strengths are affected by shape and modification factors which can be quantified with simple calculations.• Older load values and material strengths represented by mean values can be approximated by calculations. Values associated with low variation in input data gives basic knowledge when evaluating timber material strengths in existing buildings.

No description available.

Awareness of vehicles’ surrounding conditions is important in today’s intelligent transportation system. A wide range of effort has been put in to deploy Vehicular Communication (VC) systems to make driving conditions safer and more efficient. Vehicles are aware of their surroundings with the help of authenticated safety beacons in VC systems. Since vehicles act according to the information conveyed by such beacons, verification of beacons plays an important role in becoming aware of and predicting the status of the sender vehicle. The idea of implementing secure mechanisms to deal with a high rate of incoming beacons and processing them with high efficiency becomes a very important part of the whole VC network. The goal of this work was to implement a scheme that deals with a high rate of the incoming beacon, preserve non-repudiation of the accepted messages which contains information about the current and near-future status of the sender vehicle, and at the same time keep the computation overhead as low as possible. Along with this, maintaining user privacy from a legal point of view as well as from a technical perspective by implementing privacy-enhancing technologies. These objectives were achieved by the introduction of Timed Efficient Stream Loss-Tolerant Authentication (TESLA), periodic signature verification, and cooperative verification respectively. Four different scenarios were implemented and evaluated, starting and building upon the baseline approach. Each approach addressed the problems that were aimed at this work and results show improved scalability and efficiency with the introduction of TESLA, periodic signature verification, and cooperative verification. / Medvetenheten om fordons omgivande förhållanden är viktig i dagens intelligenta transportsystem. Ett stort antal ansträngningar har lagts ned för att distribuera VC system för att göra körförhållandena säkrare och effektivare. Fordon är medvetna om sin omgivning med hjälp av autentiserade säkerhetsfyrar i VC system. Eftersom fordon agerar enligt den information som förmedlas av sådana fyrar, spelar verifiering av fyrar en viktig roll för att bli medveten om och förutsäga avsändarfordonets status. Idén att implementera säkra mekanismer för att hantera en hög frekvens av inkommande fyrar och bearbeta dem med hög effektivitet blir en mycket viktig del av hela VC nätverket. Målet med detta arbete var att implementera ett schema som behandlar en hög hastighet för det inkommande fyren, bevara icke-förkastelse av de accepterade meddelandena som innehåller information om den aktuella och närmaste framtida statusen för avsändarfordonet och samtidigt håll beräkningen så låg som möjligt. Tillsammans med detta upprätthåller användarnas integritet ur juridisk synvinkel såväl som ur ett tekniskt perspektiv genom att implementera integritetsförbättrande teknik. Dessa mål uppnåddes genom införandet av TESLA, periodisk signatur verifiering respektive samarbets verifiering. Fyra olika scenarier implementerades och utvärderades med utgångspunkt från baslinjemetoden. Varje tillvägagångssätt tog upp de problem som riktades mot detta arbete och resultaten visar förbättrad skalbarhet och effektivitet med införandet av TESLA, periodisk signatur verifiering och samarbets verifiering.

Reumatoid artrit (RA) är den vanligaste autoimmuna sjukdomen och prevalensen är 0.5-1.0% av populationen i industriella länder. Diagnos av RA sker bland annat genom analys av markörerna reumatoid faktor (RF) samt antikroppar mot cykliskt citrullinerad peptid (anti-CCP). Nefelometrisk metod samt CMIA har båda varit huvudmetoder för markörerna RF och anti-CCP respektive vid utredning av RA på Laboratoriemedicin på Länssjukhuset Ryhov i Jönköping. Införskaffning av instrumentet Phadia 250 har gjort det möjligt att sammanställa analyserna för markörerna på samma enhet. Syftet med studien var att verifiera EliA-metoden för anti-CCP samt RF på instrumentet Phadia 250 för att kunna ersätta nuvarande analysmetoder för de båda RA-markörerna. Bestämning av cut-off, mellanliggande precision, inomserieprecision samt överensstämmelse med tidigare metod utfördes. Totalt 115 prover (70 blodgivare, 30 patientprover och 15 konsekutiva prover) användes. En korrelation utfördes för CMIA respektive nefelometriska metoden med EliA-metoden samt en kategoriöverensstämmelse för nefelometrisk metod, CMIA och EliA-metoden. God korrelation erhölls för anti-CCP mellan CMIA och EliA-metoden (r=0.953, p=0.001) samt för RF mellan nefelometriska metoden och EliA-metoden (r=0.835, p=0.048). Analys av samtliga markörer bör inkluderas som screening för RA för att upptäcka sjukdomen. Metoden EliA tillät analys av båda markörer och verifieringen möjliggjorde övergången till EliA-metoden för Laboratoriemedicin i Jönköping. / Rheumatoid arthritis (RA) is the most common autoimmune disease and the prevalence is 0.5-1.0% among the population in industrial countries. Diagnosis of RA is based partially on detection of the autoantibodies rheumatoid factor (RF) and anti-cyclic citrullinated peptide antibodies (anti-CCP). Nephelometry and CMIA have been the main methods for detection of the antibodies at Laboratoriemedicin at the County Hospital Ryhov in Jönköping. The purpose of this study was to verify the EliA-method for anti-CCP and RF on Phadia 250 in order to replace the current methods with the EliA-method. Determination of cut-off, intermediate precision, within-run precision and consistency with the previous method was performed on a total of 115 samples (70 blood-donors, 30 patient samples and 15 consecutive samples). A correlation between CMIA and the nephelometric method with EliA-method was performed and a cathegorical correspondance was done to assess the accordance between the previous methods with the EliA-method. A good correlation was obtained for anti-CCP between CMIA and the EliA-method (r=0.953, p=0.001) and RF obtained good correlation between the nephelometric method and the EliA-method (r=0.835, p=0.048). Analysis of both markers simultaneously has been recommended and the verification enabled the transition to the EliA-method on Phadia 250 for Laboratoriemedicin in Jönköping.

<p>For Siemens Industrial Turbomachinery to meet its business objectives a modular authentication concept has to be implemented. Such a mechanism must be cost- effective while providing a well-balanced level of security, easy maintenance and be as user-friendly as possible. </p><p>Authenticating users securely involves the combination of two fields, theory of authentication mechanisms in information systems and human computer interaction. To construct a strong user authentication system the correlations of these fields has to be understood and provide guidance in the design. </p><p>Strong user authentication mechanisms enforce the use of two-factor authentication or more. The combinations implemented rely on knowledge, possession and sometimes logical-location. </p><p>A user authentication system has been implemented using leading industrial products as building blocks glued together with security analysis, programming and usability research. </p><p>The thesis is divided into two parts, the first part giving the theoretical background of cryptography, authentication theory and protocols needed for the understanding of the second part, providing security analysis, blueprints, and detailed discussions on the implemented system. </p><p>Conclusions have been drawn regarding the implemented system and its context as well as from strict theoretical reasoning regarding the authentication field in general. Conclusions include: </p><p>· The unsuitability of remote authentication using biometrics</p><p> · The critical importance of client security in remote authentication</p><p> · The importance of a modular structure for the security of complex network-based systems</p>

<p>Different security issues are a top subject around the world, especially since the terror threats seem to intensify. In the same time, the transport industry suffer from problems with smuggling and theft of valuable goods. One way to increase the security might be to have a verification system installed in commercial trucks, in order to assure that the driver is the proper one.</p><p>This thesis has two purposes. One is to find appropriate methods for driver verification and build a prototype of a verification system which can be used for testing and further development. The other is to study how truck drivers perceive such a system and how their conception goes along with the growing demand for higher security. The present work is the result of a cooperation between an engineer and a cognitive scientist. The thesis focuses on the transport industry and was performed for Volvo Technology Corporation (VTEC), Gothenburg, Sweden.</p><p>Eleven available verification methods were studied. To enable a well-based selection of methods to implement in the prototype, inquiries and interviews with truck drivers and haulage contractors were carried out to complement the theoretical study.</p><p>One regular and three biometric verification methods were chosen for the test; fingerprint verification, face recognition, voice recognition and PIN verification. These methods were put together to a prototype system that was implemented in a truck simulator. A graphical user interface was developed in order to make the system user friendly. The prototype system was tested by 18 truck drivers. They were thoroughly interviewed before and after the test in order to retrieve their background, expectations and opinions as well as their perceptions and experiences of the test.</p><p>Most of the test participants were positive to the prototype system. Even though they did not feel a need for it today they believed it to “be the future”. However, some participants felt uncomfortable with the system since they felt controlled by it. It became clear how important it is to have a system that respect the users’ privacy and to assure that the users are well informed about how the system is used. Some of the technology used for the verification system requires more development to fit in the automotive context, but it is considered to be possible to achieve a secure and robust system.</p>

För att korta ner den totala driftsättningstiden i projekt beslutade Volvo Cars Skövde om att undersöka möjligheterna för verifiering av PLC-logik mot simuleringsprogram. Det övergripande målet med examensarbetet var att undersöka möjligheterna för att upprätta kommunikation mellan flödesimuleringsprogrammet Siemens Plant Simulation och en PLC-enhet. En ingripande förståelse av området virtuell driftsättning skapades vid skrivandet av referensramen och en litteraturstudie vilket legat till grund för det fortsatta praktiska arbetet. Genom en datainsamling med intervjuer, diskussioner och en omfattande litteraturstudie kunde en bättre förståelse bildas kring hur kommunikation mellan de olika programmen fungerar, samt viktiga punkter som bör has i åtanke vid virtuell driftsättning överlag. Ett hypotetiskt system utvecklades i Plant Simulation av Volvo Cars Skövde för att användas som testsystem. I emuleringsmjukvaran Simumatik3D skapades en modell för att efterlikna Plant Simulation modellen samtidigt som PLC-logiken utvecklades i Siemens Step 7. Under utvecklingens gång verifierades delsystem i Simumatik3D mot den skapade PLC-logiken tills det att modellen var färdigutvecklad. För att säkerhetsställa att både Simumatik3D modellen och Plant Simulation modellen var valid undersöktes ett antal valideringspunkter. Experimentfasen tog vid efter valideringstestet där olika scenarier undersöktes och testades för att föra upp eventuella problem i modellerna till ytan. En omfattande utvärdering presenteras där hela uppbyggnadsfasen av modeller utvärderas med avseende på tidsåtgång, för- och nackdelar och kommunikation med PLC. De två programmen Simumatik3D och Plant Simulation utvärderades mot varandra för att få ut vilket program som mest lämpar sig för virtuell verifiering av PLC-logik. Ett översiktligt arbetssätt togs fram utifrån den utvärdering som gjorts samt erfarenheter från genomförandet av arbetet. Resultatet av det framtagna arbetssättet presenteras vilket beskriver uppdelningen mellan beställare och leverantör, kommunikationen mellan parterna samt en överskådlig visualisering av arbetssättets process. Resultatet från utvärderingen visade att Simumatik3D lämpar sig åt att verifiera PLC logik på detaljnivå. Utvärderingen visade även att PLC-logik kan verifieras med hjälp av Plant Simulation, dock inte på samma detaljnivå. Plant Simulation lämpar sig istället till att göra simuleringsmodeller mer verklighetstrogna. Virtuell driftsättning av PLC-logik är ett nytt koncept på Volvo Cars Skövde och därför kan resultatet från detta arbete ligga till grund för fortsatt arbete inom detta område. Virtuell verifiering av PLC-logik diskuteras där flera aspekter som är viktiga att tänka på presenteras. Projektens huvudmål att virtuellt verifiera PLC-logik mot simuleringsprogram uppnåddes och gav goda resultat, de uppsatta delmålen resulterade i en omfattande utvärdering och framtida rekommendationer. / To shorten project lead times Volvo Cars Skövde decided to explore the possibilities regarding verifi-cation of PLC-logic in simulation programs. The overall objective of the thesis was to analyze the pos-sibilities for establishing communication between the flow simulation program Plant Simulation and a PLC-device. A thorough understanding of the area virtual commissioning was obtained by writing the frame of reference and a literature review which served as basis for the continued practical work. Through a collection of interviews, discussions and an extensive literature review a better under-standing regarding how the communication between the different programs works, along with im-portant points that should be considered under a virtual commissioning project was obtained. A hy-pothetical system was developed in Plant Simulation by Volvo Cars Skövde to be used as a test sys-tem. The Simumatik3D model was created by emulating the Plant Simulation model and at the same time developing the PLC-logic in Siemens Step 7. During the development progress subsystems were verified in Simumatik3D against the created PLC-logic until the model was fully developed. To make sure that both the Simumatik3D model and the Plant Simulation model was valid a number of valida-tion points were tested. After the validation test the experimental phase started were different sce-narios were analyzed and tested to bring up any problems in the models to the surface. A thorough evaluation is presented in which the entire construction phase of the models is evaluated in terms of time required, advantages and disadvantages and communication with the PLC-device. The two pro-grams Simumatik3D and Plant Simulation was evaluated against one another in order to find out which program that is the most suited for virtual verification of PLC-logic. An overall methodology was developed based on the evaluation carried out and the experience gained from the implementa-tion of the work. The result from the developed methodology is presented which describes the parti-tion between the client and supplier, the communication between them and a visualization of the methodology-process. The result from the evaluation showed that Simumatik3D was more suitable for verification of PLC logic on a detailed level. The evaluation also showed that the PLC logic could be verified with Plant Simulation, but not on the same detailed level. Plant Simulation was more suit-able for making simulation models more realistic. Virtual commissioning of PLC-logic is a new con-cept on Volvo Cars Skövde and therefore can the result from this thesis form a basis for future work in this area. Virtual verification of PLC-logic is discussed in which several important aspects to think about is presented. The projects main goal to virtually verify PLC-logic in simulation programs was achieved and yielded good results, the partial objectives resulted in a thorough evaluation and future recommendations.