Sökning: "verification engineers"

Visar resultat 1 - 5 av 45 uppsatser innehållade orden verification engineers.

  1. 1. Enhancing Operational Accuracy of Plant Simulations through a Validation Framework : A case study for medical device manufacturing

    Master-uppsats, KTH/Produktionsutveckling

    Författare :Fabian Björn Schubert; [2023]
    Nyckelord :Plantsimulation; validation; validation framework development;

    Sammanfattning : Plant simulation is one of the most wide spread tools for manufacturing companies related to operations and management. Its utility lies in its a bility to conduct experiments and investigate production scenarios without disrupting actual manufacturing operations. A cross industry, a similar process is recommended for developing these simulations. LÄS MER

  3. 2. 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. 3. Undersökning av möjligt nyttjande av outnyttjad kapacitet genom energieffektiviserande våningspåbyggnad på befintliga murade stommar

    Uppsats för yrkesexamina på avancerad nivå, Lunds universitet/Avdelningen för Konstruktionsteknik

    Författare :Rasmus Ekeroth; Isak Ekman; [2023]
    Nyckelord :Technology and Engineering;

    Sammanfattning : As a part of the Green Deal within the EU, as of the start of 2023, new demands have been put in place in an energy taxonomy on companies providing financial services, a category in which real estate companies are included. The investments of these companies are now to be classified as sustainable or not sustainable. LÄS MER

  5. 4. Investigating Machine Learning for verification of AMBA APB protocol.

    Master-uppsats, Lunds universitet/Institutionen för elektro- och informationsteknik

    Författare :Abhiram Srisai Kishore; Mohammed Wasim; [2022]
    Nyckelord :Machine learning; SOC Verification; AMBA; Neural Networks; Deep Learning; Assertions.; Technology and Engineering;

    Sammanfattning : It is a well-known fact that in any Application Specific Integrated Circuit (ASIC) design, verification consumes most time and resources. And when it comes to huge designs, finding bugs can be tedious given the area and the complexity. As per Moore’s law, the design complexity is increasing exponentially due to the growing demand for performance. LÄS MER

  7. 5. Projects in Automatic Control 2021

    L3-uppsats, Lunds universitet/Institutionen för reglerteknik

    Författare :Charlotta Johnsson; [2022]
    Nyckelord :Technology and Engineering;

    Sammanfattning : The Department of Automatic Control at Lund University annually gives a project course in Automatic Control (FRTN40). The course is given at the advanced level (7.5 ECTS credits), and the students work in small teams to achieve a common goal. LÄS MER