University of Vigo
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 paper, the authors describe one such CPS present in air-crafts. They also discuss the hierarchical frameworks that are found in these systems, and highlight shortcomings of existing techniques in analyzing them.