Analyzing Real-Time Scheduling of Cyber-Physical Resilience
Abstract
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 from[1].
Document Details
- Document Type
- Technical Report
- Publication Date
- Jan 01, 2018
- Accession Number
- AD1087048
Entities
People
- Björn Andersson
- Dionisio de Niz
- Sagar Chaki
Organizations
- Carnegie Mellon University