Sökning: "Cyber-Physical Systems"

Visar resultat 6 - 10 av 109 avhandlingar innehållade orden Cyber-Physical Systems.

1. 6. On Falsification of Large-Scale Cyber-Physical Systems

   Författare :Johan Lidén Eddeland; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Test Coverage; Testing; Optimization; Simulation-Based Verification; Formal Requirements; Cyber-Physical Systems; Falsification;

   Sammanfattning : In the development of modern Cyber-Physical Systems, Model-Based Testing of the closed-loop system is an approach for finding potential faults and increasing quality of developed products. Testing is done on many different abstraction levels, and for large-scale industrial systems, there are several challenges. LÄS MER

3. 7. On the Secure and Resilient Design of Connected Vehicles: Methods and Guidelines

   Författare :Thomas Rosenstatter; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; security; secure communication; V2X; cyber-physical systems; resilience; in-vehicle network; automotive;

   Sammanfattning : Vehicles have come a long way from being purely mechanical systems to systems that consist of an internal network of more than 100 microcontrollers and systems that communicate with external entities, such as other vehicles, road infrastructure, the manufacturer’s cloud and external applications. This combination of resource constraints, safety-criticality, large attack surface and the fact that millions of people own and use them each day, makes securing vehicles particularly challenging as security practices and methods need to be tailored to meet these requirements. LÄS MER

4. 8. Vulnerability Analysis for Critical Infrastructures

   Författare :Yuning Jiang; Yacine Atif; Jianguo Ding; Manfred A. Jeusfeld; Birgitta Lindström; Christoffer Brax; Sokratis Katsikas; Högskolan i Skövde; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; critical infrastructure cybersecurity; vulnerability assessment; vulnerability quantification; computational intelligence in cybersecurity; cyber-physical system; INF303 Informationssäkerhet; INF303 Information Security; INF301 Data Science; INF301 Data Science; Distribuerade realtidssystem DRTS ; Distributed Real-Time Systems;

   Sammanfattning : The rapid advances in information and communication technology enable a shift from diverse systems empowered mainly by either hardware or software to cyber-physical systems (CPSs) that are driving Critical infrastructures (CIs), such as energy and manufacturing systems. However, alongside the expected enhancements in efficiency and reliability, the induced connectivity exposes these CIs to cyberattacks exemplified by Stuxnet and WannaCry ransomware cyber incidents. LÄS MER

5. 9. Digital Power of Attorney for authorization in industrial cyber-physical systems

   Författare :Sreelakshmi Vattaparambil Sudarsan; Simone Fisher Hübner; Luleå tekniska universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Cyberfysiska system; Cyber-Physical Systems;

   Sammanfattning : In the age of digitization, many Cyber-Physical Systems are semi-autonomous and have sufficient power and resources to perform tasks on behalf of users. This thesis defines an authorization technique to transfer the power of legitimate users to trusted CPS or IoT devices, allowing the device to sign or access resources on behalf of the user. LÄS MER

7. 10. Digital Power of Attorney for Authorization in Industrial Cyber-Physical Systems

   Författare :Sreelakshmi Vattaparambil Sudarsan; Olov Schelén; Ulf Bodin; Jerker Delsing; Panagiotis Papadimitratos; Luleå tekniska universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Cyberfysiska system; Cyber-Physical Systems;

   Sammanfattning : Since ancient times, there has been a practice to authorize individuals that we trust. Today, we grant credentials and privileges digitally, making authorization a crucial part of security control and extending its use cases beyond people and web applications. LÄS MER