Loading...
Please wait, while we are loading the content...
Similar Documents
Towards a Safe Compositional Real-Time Scheduling Theory for Cyber-Physical Systems
| Content Provider | Semantic Scholar |
|---|---|
| Author | Phan, Linh Thi Xuan |
| Copyright Year | 2013 |
| Abstract | Modern cyber-physical systems are becoming increasingly complex and distributed. These trends are making it more and more difficult to ensure the timing guarantees of these systems: traditional approaches were developed for much simpler systems and are difficult to scale. As system sizes are growing further, designing future cyber-physical systems is going to be even more challenging. Compositional design and compositional analysis have emerged as an effective means to address this challenge. Several interface models and interface computation methods have been developed, which can be used to analyze complex systems in an efficient manner. The existing theories provide a foundation for ensuring the timing guarantees of cyber-physical systems; however, they also have several important limitations. This position paper discusses open challenges in this domain, and it highlights several research directions towards a safe and resource-efficient compositional theory for cyber-physical systems. |
| Starting Page | 21 |
| Ending Page | 24 |
| Page Count | 4 |
| File Format | PDF HTM / HTML |
| DOI | 10.3384/ecp13090004 |
| Alternate Webpage(s) | http://www.cis.upenn.edu/~linhphan/papers/avicps14.pdf |
| Alternate Webpage(s) | http://www.seas.upenn.edu/~linhphan/papers/avicps14.pdf |
| Alternate Webpage(s) | https://doi.org/10.3384/ecp13090004 |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
