Sökning: "Timed Rebeca"

Hittade 3 uppsatser innehållade orden Timed Rebeca.

  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

  3. 2. CASE STUDIES ON MODELING SECURITY IMPLICATIONS ON SAFETY

    Magister-uppsats, Mälardalens högskola/Akademin för innovation, design och teknik

    Författare :Aleksandar Matović; [2019]
    Nyckelord :model-checking; security; safety-critical; rebeca; modeling security implications;

    Sammanfattning : Security is widely recognized as an important property that is tightly interdependentwith safety in safety-critical systems. The goal of this thesis is to conduct case studies on the implications that security attacks may have on the safety of these systems. LÄS MER

  4. 3. ROBOREBECA: A NEWFRAMEWORK TO DESIGN VERIFIED ROS-BASED ROBOTIC PROGRAMS

    Magister-uppsats, Mälardalens högskola/Akademin för innovation, design och teknik

    Författare :Saeid Dehnavi; [2019]
    Nyckelord :;

    Sammanfattning : Robotic technology helps humans in different areas such as manufacturing, health care and educa-tion. Due to the ubiquitous revolution, today’s focus is on mobile robots and their applications in avariety of cyber-physical systems. LÄS MER