Compositional schedulability analysis for cyber-physical systems
Arvind Easwaran, Insup Lee · ACM SIGBED Review · 2008
Cyber-physical systems (CPSs) are becoming all-pervasive, and due to increasing complexity they are designed using component-based approaches. Temporal constraints of such complex CPSs are then modeled using hierarchical scheduling frameworks. Therefore, there is a need to develop compositional schedulability analysis techniques for such CPSs. In this essay, we describe one such CPS present in air-crafts. We also discuss the hierarchical frameworks that are found in these systems, and highlight shortcomings of existing techniques in analyzing them.