Essays about: "verification strategy"

Showing result 1 - 5 of 45 essays containing the words verification strategy.

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

    University essay from Handelshögskolan i Stockholm/Institutionen för finansiell ekonomi

    Author : Waldemar Andersson; Larysa Karsayeva; [2023]
    Keywords : Sustainability-linked bond; fast fashion; green financing; transition;

    Abstract : 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. READ MORE

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

    University essay from Linköpings universitet/Institutionen för datavetenskap

    Author : Ahmad Hanash; [2023]
    Keywords : MLOps; Safety; Testing; Robustness; Integration; Verification;

    Abstract : 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. READ MORE

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

    University essay from KTH/Produktionsutveckling

    Author : Ashraf Valizada; Davide Lorenzo Astolfi; [2023]
    Keywords : Test strategy; new product development test processes; test organization; advanced testing tools; robotics;

    Abstract : 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. READ MORE

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

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Claes Henriksson; [2023]
    Keywords : 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;

    Abstract : 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. READ MORE

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

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Oskar Söderberg; [2023]
    Keywords : 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;

    Abstract : 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. READ MORE