Software Research Seminar
Speaker
SIMON CHU and RYAN WAGNER
Ph.D. Students
Ph.D. Program in Software Engineering
Institute for Software Research
Carnegie Mellon University
When
-
Where
In Person and Livestream
Description
► Simon Chu, Ph.D. Student, Software Engineering
— Reconciliation-based Resolution of Feature Interactions in Cyber-Physical Systems
Feature interaction (FI) occurs when two or more independent features interact with each other in unexpected ways leading to undesirable system outcomes. FI has emerged in cyber-physical systems and caused life-threatening incidents in recent years. Numerous resolution approaches have been proposed over the years with the notation of priority, however, most of them fail to consider various stakeholder needs, and the winner-takes-all approach becomes unsustainable in features of relatively equal importance.
In this talk, I will present a reconciliation-based resolution approach, which enables conflict resolution of features by weakening the guarantees that each feature provides using signal temporal logic. By framing the requirement conflict problem as a MILP specification, our tool can find the optimal reconfiguration for the features. In addition, I will present some preliminary results obtained by our organ delivery drone case study and some future works and collaborations.
► Ryan Wagner, Ph.D. Student, Software Engineering
— Exemplar Systems for Evaluating Secure Graceful Degradation
My research is focused on how systems can gracefully degrade while under attack, trading off some functionality to maintain confidence in the security of the remaining functionality. I plan to evaluate my research using three exemplar systems that I am adapting from industry. In this talk, I present these systems with architectural views that I will use to demonstrate my claims about my approach to secure graceful degradation. These systems are not specific to the cybersecurity world and may be useful to others in their research.
In Person and Livestream Participation. See announcement.