Mon 15 Jul 2024 10:10 - 10:30 at Sapoti - Opening + Program Analysis Chair(s): Sérgio Soares, Igor Steinmacher, Wei Yang

Resilient cyber-physical systems comprise computing systems able to continuously interact with the physical environment in which they operate, despite runtime errors. The term resilience refers to the ability to cope with unexpected inputs while delivering correct service. Examples of resilient computing systems are Google’s PageRank and the Bubblesort algorithm. Engineering for resilient cyber-physical systems requires a paradigm shift, prioritizing adaptability to dynamic environments. Software as a tool for self-management is a key instrument for dealing with uncertainty and embedding resilience in these systems. Yet, software engineers encounter the ongoing challenge of ensuring resilience despite environmental dynamic change. My thesis aims to pioneer an engineering discipline for resilient cyber-physical systems. Over four years, we conducted studies, built methods and tools, delivered software packages, and a website offering guidance to practitioners. This paper provides a condensed overview of the problems tackled, our methodology, key contributions, and results highlights. Seeking feedback from the community, this paper serves both as preparation for the thesis defense and as insight into future research prospects.

Mon 15 Jul

Displayed time zone: Brasilia, Distrito Federal, Brazil change

09:00 - 10:30
Opening + Program AnalysisDoctoral Symposium at Sapoti
Chair(s): Sérgio Soares Universidade Federal de Pernambuco, Igor Steinmacher Northern Arizona University, Wei Yang University of Texas at Dallas
09:00
10m
Day opening
Opening
Doctoral Symposium
Wing Lam George Mason University, Maria Teresa Baldassarre Department of Computer Science, University of Bari
09:10
20m
Talk
Customized Approach for IoT Device Compliance: Classification Tool and Adaptive Protections
Doctoral Symposium
Ivonildo Pereira Gomes Neto Federal University of Pernambuco
File Attached
09:30
20m
Talk
Learning to Analyze Program Behaviors
Doctoral Symposium
Aashish Yadavally University of Texas at Dallas
Pre-print
09:50
20m
Talk
Library Migration in Python Applications
Doctoral Symposium
Mohayeminul Islam University of Alberta
File Attached
10:10
20m
Talk
Towards an Engineering Discipline for Resilient Cyber-Physical Systems
Doctoral Symposium
Pre-print