Compositional schedulability analysis for cyber-physical systems

Authors:
Arvind Easwaran;Insup Lee
Affiliations:
Department of CIS, University of Pennsylvania, PA;Department of CIS, University of Pennsylvania, PA
Venue:
ACM SIGBED Review - Special issue on the RTSS forum on deeply embedded real-time computing
Year:
2008

Citing 5
Cited 0

Periodic Resource Model for Compositional Real-Time Guarantees

RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
Scheduling within temporal partitions: response-time analysis and server design

Proceedings of the 4th ACM international conference on Embedded software
Trading End-to-End Latency for Composability

RTSS '05 Proceedings of the 26th IEEE International Real-Time Systems Symposium
Resource Sharing in Hierarchical Fixed Priority Pre-Emptive Systems

RTSS '06 Proceedings of the 27th IEEE International Real-Time Systems Symposium
Compositional Analysis Framework Using EDP Resource Models

RTSS '07 Proceedings of the 28th IEEE International Real-Time Systems Symposium

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.