7 citations · 8 across the 5 of their papers we have counts for
5 papers
Characterizing the Identity of Model-based Safety Assessment: A Systematic Analysis
Minghui Suna, Smitha Gauthamb, Carl Elksb +1
Model-based safety assessment has been one of the leading research thrusts of the System Safety Engineering community for over two decades. However, there is still a lack of consen…
STPA-driven Multilevel Runtime Monitoring for In-time Hazard Detection
Smitha Gautham, Georgios Bakirtzis, Alexander Will +2
Runtime verification or runtime monitoring equips safety-critical cyber-physical systems to augment design assurance measures and ensure operational safety and security. Cyber-phys…
Understanding and Fixing Complex Faults in Embedded Cyberphysical Systems
Alexander Weiss, Smitha Gautham, Athira Varma Jayakumar +4
Understanding fault types can lead to novel approaches to debugging and runtime verification. Dealing with complex faults, particularly in the challenging area of embedded systems,…
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…
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…