Association for Computing Machinery
It is desirable to develop large complex systems using components based on systematic abstraction and composition. The authors' goal is to develop a compositional real-time scheduling framework to support abstraction and composition techniques for real-time aspects of components. In this paper, they present a formal description of compositional real-time scheduling problems, which are the component abstraction and composition problems. They identify issues that need be addressed by solutions and provide their framework for the solutions, which is based on the periodic interface.