29 citations · 128 across the 15 of their papers we have counts for
16 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…
Application of Orthogonal Defect Classification for Software Reliability Analysis
Edward Chen, Han Bao, Tate Shorthill +3
The modernization of existing and new nuclear power plants with digital instrumentation and control systems (DI&C) is a recent and highly trending topic. However, there lacks stron…
Failure Mechanism Traceability and Application in Human System Interface of Nuclear Power Plants using RESHA
Edward Chen, Han Bao, Tate Shorthill +2
In recent years, there has been considerable effort to modernize existing and new nuclear power plants with digital instrumentation and control systems. However, there has also bee…
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,…
Cyberphysical Security Through Resiliency: A Systems-centric Approach
Cody Fleming, Carl Elks, Georgios Bakirtzis +4
Cyber-physical systems (CPS) are often defended in the same manner as information technology (IT) systems -- by using perimeter security. Multiple factors make such defenses insuff…