Sökning: "Verification Strategy"

Visar resultat 1 - 5 av 54 uppsatser innehållade orden Verification Strategy.

1. 1. Sustainability-Linked Bonds - A Case Study of H&M

   D-uppsats, Handelshögskolan i Stockholm/Institutionen för finansiell ekonomi

   Författare :Waldemar Andersson; Larysa Karsayeva; [2023]
   Nyckelord :Sustainability-linked bond; fast fashion; green financing; transition;

   Sammanfattning : The thesis investigates the sustainability-linked bond issuance by fast fashion company H&M in the midst of the Covid-19 pandemic. The study contributes to existing literature by providing observations of real-world practitioners on the cost-benefit considerations of SLB issuance, in particular, challenging the notion of a "free lunch", conversely concluding that the greatest concern is attributed to potential reputational damage in the event of missed targets. LÄS MER

3. 2. Testing and Integration of Machine Learning Components for Image Classification : Testning och integration av machine learning komponenter förbildklassificering

   Master-uppsats, Linköpings universitet/Institutionen för datavetenskap

   Författare :Ahmad Hanash; [2023]
   Nyckelord :MLOps; Safety; Testing; Robustness; Integration; Verification;

   Sammanfattning : As ML (Machine Learning) and deep neural networks get more used in many systems,the need to understand and test such systems becomes more actual. When designing a newsystem that contains ML models, the safety of this system becomes inevitably important. LÄS MER

4. 3. Test Strategy for New Product Development : Specific actions to enhance overall test strategy at ABB Robotics

   Master-uppsats, KTH/Produktionsutveckling

   Författare :Ashraf Valizada; Davide Lorenzo Astolfi; [2023]
   Nyckelord :Test strategy; new product development test processes; test organization; advanced testing tools; robotics;

   Sammanfattning : Testing is a crucial process for organizations to identify any defects, ensure high-quality standards, enhance customer experience, mitigate risks, and comply with regulations. With proactive identification and resolution of problems, efficient testing saves time, money, and effort, ultimately contributing to the organization's overall success. LÄS MER

5. 4. Fault diagnosis of a variable pole-phase motor

   Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Författare :Claes Henriksson; [2023]
   Nyckelord :Multiphase machine; variable pole-phase machine; fault diagnosis; switch fault; phase fault; harmonic plane decomposition; wound independently controlled stator coil machine; Multifasmaskin; variabel polfasmaskin; feldiagnosticering; brytarfel; fasfel; harmonic plane decomposition; WICSC-maskin;

   Sammanfattning : Wound Independently Controlled Stator Coil (WICSC) machines are a novel type of multiphase machine with the ability to change its pole-phase configuration during operation. This enables improved post-fault control and thus prolonged continuous operation. LÄS MER

7. 5. Automated Inference of ACSL Contracts for Programs with Heaps

   Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Författare :Oskar Söderberg; [2023]
   Nyckelord :Formal Verification; Contract Inference; Model Checking; Deductive Verification; Theory of Heaps; ACSL; Translation; Formell Verifiering; Kontrakth¨arledning; Modellprovning; Deduktiv Verifiering; Theory of Heaps; ACSL; Overs¨attning;

   Sammanfattning : Contract inference consists in automatically computing contracts that formally describe the behaviour of program functions. Contracts are used in deductive verification, which is a method for verifying whether a system behaves according to a provided specification. The Saida plugin in Frama-C is a contract inference tool for C code. LÄS MER