Schedulability Analysis for a Real-Time Multiprocessor System Based on Service Contracts and Resource Partitioning
Source: University of York
This paper presents some initial results of the research which addresses the increasing gaps between the power of multicore/multiprocessor systems and the lack of development models and tools that help programmers exploit such power while ensuring correctness and predictability. One specific goal of the research is to support service contracts on multicore/multiprocessor platforms that support resource partitioning and therefore allow a compositional development of parallel real-time systems. In such a system, each application or application component is described by a service contract, all of which collectively form a hierarchy of service contracts. After successful negotiations, such a hierarchy will be mapped to a hierarchical scheduling system.