4 papers
Heterogeneous Runtime Verification of Safety Critical Cyber Physical Systems
Smitha Gautham, Abhilash Rajagopala, Athira Varma Jayakumar +3
Advanced embedded system technology is one of the key driving forces behind the rapid growth of Cyber-Physical System (CPS) applications. Cyber-Physical Systems are comprised of mu…
Self-Repairing Hardware Architecture for Safety-Critical Cyber-Physical-Systems
Shawkat Khairullah, Carl Elks
Digital embedded systems in safety-critical cyber-physical-systems (CPSs) require high levels of resilience and robustness against different fault classes. In recent years, self-he…
A Multilevel Cybersecurity and Safety Monitor for Embedded Cyber-Physical Systems
Smitha Gautham, Georgios Bakirtzis, Matthew T. Leccadito +2
Cyber-physical systems (CPS) are composed of various embedded subsystems and require specialized software, firmware, and hardware to coordinate with the rest of the system. These m…
A Systems Approach for Eliciting Mission-Centric Security Requirements
Bryan Carter, Georgios Bakirtzis, Carl Elks +1
The security of cyber-physical systems is first and foremost a safety problem, yet it is typically handled as a traditional security problem, which means that solutions are based o…