Sökning: "Cyber-Physical-Systems"

Visar resultat 1 - 5 av 74 uppsatser innehållade ordet Cyber-Physical-Systems.

  1. 1. EVALUATING CRYSTAL FRAMEWORK IN PRACTICE

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

    Författare :Victor Mertala; Nordin Christopher; [2024]
    Nyckelord :CRYSTAL Framework; Tiny Twin; Tiny Digital Twin; Rebeca; Timed Rebeca; monitor; cyber attacks;

    Sammanfattning : Cyber-physical systems (CPSs) are used in several industries, such as healthcare, automotive, manufacturing, and more. The fact that CPSs often contain components integrated via communication networks means that malicious actors can exploit vulnerabilities in these components through cyber attacks. LÄS MER

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

    Kandidat-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

    Författare :Ahmed Yasser; Axel Broberg; [2023-09-21]
    Nyckelord :Digital Twin; Standardization; Practices; AI; Requirements Engineering; CPS; V V;

    Sammanfattning : 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. LÄS MER

  3. 3. Autonomous Control in Advanced Life Support Systems : Air Revitalisation within the Micro-Ecological Life Support System Alternative

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

    Författare :Lukas Demey; [2023]
    Nyckelord :Advanced Life Support Systems; Cyber-Physical Systems; Control Architecture; Distributed Software Architecture; Space Exploration; Avancerade livsuppehållande system; cyberfysiska system; kontrollarkitektur; distribuerad mjukvaruarkitektur; rymdutforskning;

    Sammanfattning : In recent years international space agencies have become more and more explicit about long term lunar and Martian space missions. With the space program Terrae Novae, the European Space Agency puts forward a focus on the development of Human & Robotic Exploration technologies essential in enabling such long term missions. LÄS MER

  4. 4. Measuring the responsiveness of WebAssembly in edge network applications

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

    Författare :Remo Scolati; [2023]
    Nyckelord :Cloud Computing; Edge Computing; Internet of Things; WebAssembly; Cloud Computing; Edge Computing; Internet of Things; WebAssembly;

    Sammanfattning : Edge computing facilitates applications of cyber-physical systems that require low latencies by moving compute and storage resources closer to the end application. Whilst the edge network benefits such systems in terms of responsiveness, it increases the systems’ complexity due to edge devices’ often heterogeneous and resource-constrained nature. LÄS MER

  5. 5. 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