Compositional schedulability analysis for cyber-physical systems

Arvind Easwaran, Insup Lee
2008 ACM SIGBED Review  
Cyber-physical systems (CPSs) are becoming allpervasive, 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
more » ... hortcomings of existing techniques in analyzing them. Cyber physical systems. Embedded systems are widely applicable in today's world largely due to the ever decreasing cost of resources such as computing power and communication bandwidth. Of particular interest, are embedded systems that use the discrete and powerful world of computing to monitor and control the continuous dynamics of physical and engineered systems. These are known as cyber-physical systems or deeply embedded systems. There exist many examples of CPSs in our day-to-day lives such as medical devices, avionics systems and factory automation. It is desirable that these systems operate correctly, efficiently and in real-time. Composition for CPSs. Typically, CPSs consist of a combination of different types of resources, programmable components, sensors, etc. Such re-configurable architectures are essential to adapt these systems to a variety of applications. With increasing complexity and large scale, there is a need for advanced design and analysis tools for CPSs. Component-based engineering, which involves compositional system modeling and analysis, is widely used for this purpose. It is founded on the paradigm that a complex system can be designed and analyzed by decomposing it into simpler components, and then composing the components using interfaces that abstract complexities. CPSs interact with the physical world in many safetycritical domains like aviation, medicine, etc. Hence, they are subject to certification with respect to government specified regulations. In addition, these domains also have some
doi:10.1145/1366283.1366289 fatcat:hywzwhku5bferg4soqottdirbu