Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 3 of 3
Full-Text Articles in Engineering
Functional Monitoring For Run-Time Assurance Of A Real-Time Cyber Physical System, Matthew W. Gelber
Functional Monitoring For Run-Time Assurance Of A Real-Time Cyber Physical System, Matthew W. Gelber
Theses and Dissertations
As cyber-physical systems (CPS) become more integrated into everyday life, the security of these systems must also be considered during their development due to their ever-increasing importance. With the growth of physical components in the system, more autonomous control requirements, and increased dependence on proper functionality, verifying system safety and correct operation becomes increasingly difficult. CPS have become more complex through the combination of additional hardware and the resulting interconnected software in many layers, each requiring unique security solutions. One example of such a safety-critical CPS embedded system is the Flight Control System (FCS) of an Unmanned Aerial System (UAS). …
Multilevel Runtime Verification For Safety And Security Critical Cyber Physical Systems From A Model Based Engineering Perspective, Smitha Muralidhar Gautham
Multilevel Runtime Verification For Safety And Security Critical Cyber Physical Systems From A Model Based Engineering Perspective, Smitha Muralidhar Gautham
Theses and Dissertations
Advanced embedded system technology is one of the key driving forces behind the rapid growth of Cyber-Physical System (CPS) applications. CPS consists of multiple coordinating and cooperating components, which are often software-intensive and interact with each other to achieve unprecedented tasks. Such highly integrated CPSs have complex interaction failures, attack surfaces, and attack vectors that we have to protect and secure against. This dissertation advances the state-of-the-art by developing a multilevel runtime monitoring approach for safety and security critical CPSs where there are monitors at each level of processing and integration. Given that computation and data processing vulnerabilities may exist …
A Hierarchical Architectural Framework For Securing Unmanned Aerial Systems, Matthew Leccadito
A Hierarchical Architectural Framework For Securing Unmanned Aerial Systems, Matthew Leccadito
Theses and Dissertations
Unmanned Aerial Systems (UAS) are becoming more widely used in the new era of evolving technology; increasing performance while decreasing size, weight, and cost. A UAS equipped with a Flight Control System (FCS) that can be used to fly semi- or fully-autonomous is a prime example of a Cyber Physical and Safety Critical system. Current Cyber-Physical defenses against malicious attacks are structured around security standards for best practices involving the development of protocols and the digital software implementation. Thus far, few attempts have been made to embed security into the architecture of the system considering security as a holistic problem. …