Essays about: "Timed Rebeca"

Found 3 essays containing the words Timed Rebeca.

1. 1. EVALUATING CRYSTAL FRAMEWORK IN PRACTICE

   University essay from Mälardalens universitet/Akademin för innovation, design och teknik

   Author : Victor Mertala; Nordin Christopher; [2024]
   Keywords : CRYSTAL Framework; Tiny Twin; Tiny Digital Twin; Rebeca; Timed Rebeca; monitor; cyber attacks;

   Abstract : 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. READ MORE

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

   University essay from Mälardalens högskola/Akademin för innovation, design och teknik

   Author : Aleksandar Matović; [2019]
   Keywords : model-checking; security; safety-critical; rebeca; modeling security implications;

   Abstract : 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. READ MORE

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

   University essay from Mälardalens högskola/Akademin för innovation, design och teknik

   Author : Saeid Dehnavi; [2019]
   Keywords : ;

   Abstract : 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. READ MORE