Essays about: "Verification methods"

Showing result 1 - 5 of 317 essays containing the words Verification methods.

  1. 1. Digital Twins for Verification and Validation of CPS

    University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

    Author : Ahmed Yasser; Axel Broberg; [2023-09-21]
    Keywords : Digital Twin; Standardization; Practices; AI; Requirements Engineering; CPS; V V;

    Abstract : This paper proposes standardizing the usage and practices of Digital Twins (DTs) for the seamless digital-tophysical transition of Cyber-Physical Systems (CPS) to assure their safety. It recommends adopting Artificial Intelligence (AI) methods and following Requirements Engineering principles (RE) for strong Verification and Validation (V&V) processes. READ MORE

  3. 2. Code Synthesis for Heterogeneous Platforms

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

    Author : Zhouxiang Fu; [2023]
    Keywords : Code Synthesis; Heterogeneous Platform; Zero-Overhead Topology Infrastructure; Kodsyntes; Heterogen plattform; Zero-Overhead Topologi Infrastruktur;

    Abstract : Heterogeneous platforms, systems with both general-purpose processors and task-specific hardware, are largely used in industry to increase efficiency, but the heterogeneity also increases the difficulty of design and verification. We often need to wait for the completion of all the modules to know whether the functionality of the design is correct or not, which can cause costly and tedious design iteration cycles. READ MORE

  4. 3. Probabilistic guarantees in model-checking with Time Petri Nets

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

    Author : Manon Lecart; [2023]
    Keywords : Formal Methods; Statistical Model-Checking; Timed Automata; Timed PetriNets; Formella Metoder; Statistisk Modellkontroll; Timed Automater; Time Petri Nets;

    Abstract : With the prevalence of technology and computer systems in today’s society, it is crucial to ensure that the systems we use are secure. The fields that study these issues, cybersecurity and cybersafety, use the formal verification technique of modelchecking. READ MORE

  5. 4. Standardized Test Methods in Over-the-Air Chambers for FCC Part 27

    University essay from Umeå universitet/Institutionen för fysik

    Author : Oskar Hellström; [2023]
    Keywords : ;

    Abstract : Base stations (BSs) are the cornerstone that enables wireless communications. In order for a new BS variant to be imported and sold in the US they are required to undergo electromagnetic compatibility (EMC) testing. This testing is necessary to obtain their Federal Communications Commission (FCC) certification. READ MORE

  6. 5. Investigation of Antenna Radomes in Low Earth Orbits

    University essay from Lunds universitet/Centrum för analys och syntes

    Author : Mathias Manohar Gren; [2023]
    Keywords : Materials; Science; Space; Satellites; Antenna Radomes; Beyond Gravity; Coatings; Physics; Chemistry; Low Earth Orbits; Engineering; Lunds University; Materials Chemistry; Technology and Engineering;

    Abstract : Introduction: This master’s thesis focuses on exploring improved alternative material solutions for antenna radomes used to protect Beyond Gravity Sweden’s satellite antennas in low Earth orbits. Background: As the environment in low Earth orbit is harsh, surface materials on satellites experience high levels of atomic oxygen, ultra violet radiation, thermal-fluctuation, charged particles and micro meteoroids. READ MORE