Sökning: "Verification Systems"

Visar resultat 21 - 25 av 369 uppsatser innehållade orden Verification Systems.

  1. 21. Samverkande system för saffranslökshantering för inomhusproduktion i Sverige

    Kandidat-uppsats, Linköpings universitet/Institutionen för ekonomisk och industriell utveckling

    Författare :Julia Linderborg; Emma Joelsson; [2023]
    Nyckelord :Product development; saffron cultivation; automation; collaborative systems; indoor cultivation; saffron; Produktutveckling; saffransodling; automation; samverkande system; inomhusodling; saffran;

    Sammanfattning : Currently, all commercial cultivation of saffron takes place in outdoor fields, and the work is largely carried out manually. The company BlueRedGold is a Swedish startup that aims to revolutionize commercial saffron cultivation by developing a method to grow saffron indoors year-round using fully automated processes. LÄS MER

  3. 22. Start of a new design method for a competitive Small Modular Reactor (SMR) adaptable to future uses

    Master-uppsats, KTH/Skolan för teknikvetenskap (SCI)

    Författare :Baptiste Mazurié; [2023]
    Nyckelord :Requirement modelling; Cyber-physical systems; Small Modular Reactor SMR ; Systems Engineering; CRML;

    Sammanfattning : As cyber-physical systems become increasingly complex, the management and verification of requirements during design is essential. A new language called CRML (Common Requirement Modelling Language) has been created during the European EMBrACE project to formalize realistic dynamical requirements, but a method for representing these requirements and a framework for using them as a design aid must be defined to ease appropriation by engineers. LÄS MER

  4. 23. Techno-Economic Analysis of Solar and Battery Systems : A Comprehensive Analysis of Key Parameters

    Master-uppsats, KTH/Skolan för industriell teknik och management (ITM)

    Författare :Sofia Lundholm; [2023]
    Nyckelord :Photovoltaic systems; battery energy storage systems; techno-economic analysis; dispatch strategies; electrical pricing areas; energy management; grid independence.; Solcellssystem; energilagringssystem; tekno-ekonomisk analys; elprisområdet; energihushållning; självständighet från elnätet;

    Sammanfattning : Sweden has experienced a significant increase in installed solar power capacity between 2010 and 2020, driven by decreasing installation costs, government subsidies and widespread public interest. However, Sweden's geographical distribution of electricity generation and consumption presents challenges for the national grid. LÄS MER

  5. 24. Continuous Verification of Automotive Software

    Kandidat-uppsats, Mälardalens universitet/Akademin för innovation, design och teknik

    Författare :Marcus Mörtstrand; [2023]
    Nyckelord :;

    Sammanfattning : As a result of the increased complexity of today’s automotive systems a model-based methodology called MoVES have been introduced for the development and architectural exploration of these systems. In this thesis to further decrease development time we propose to introduce a CI/CD pipeline to the MoVES methodology to automate already existing analyzing tools, such as Rubus ICE and a trace-based timing analysis tool. LÄS MER

  7. 25. Verification Method for Time of Capture of a Rolling Shutter Image

    Master-uppsats, Linköpings universitet/Databas och informationsteknik

    Författare :Filip Johansson; Alexander Johansson; [2023]
    Nyckelord :Verification method; rolling shutter; image timestamp; camera systems; mapping study; automotive;

    Sammanfattning : Modern automotive systems increasingly depend on camera sensors to gather safetycriticaldata used in driver-assisting features of the system. These features can consist offor example, lane-keeping assist and automatic braking where the sensors register objectswithin certain distances. LÄS MER