Analyzing Real-Time Scheduling of Cyber-Physical Resilience
Carnegie-Mellon University, Software Engineering Institute Pittsburgh United States
Pagination or Media Count:
Cyber-Physical Systems CPS involve software executing on a computer that interacts with its physical environment. Common steps in the design and analysis of such systems are model the physical environment, develop software to interact with this physical environment, specify timing requirements of software, configure the software e.g., assign priorities, and then analyze the timing requirements for a given configuration. This approach works but tends to have low resilience to disruption. With the pervasive use of CPS, there is an increasing need to develop timing analysis methods that achieve increased resilience by modeling the linkage between the execution of software and the physical environment. In this paper, we present a new model that describes the current state of the physical environment interms of how tolerant it is to disruption of the software system we call this model Cyber-Physical Resilience CPR.We present an exact schedulability test for this model and implement a tool that performs this schedulability test. We evaluate it on randomly generated task sets and on a model of a multi-UAV system from1.
- Computer Programming and Software