Skip to Main Content
In this paper, we develop a tool for carrying out acceptance tests in a multiprocessor system, for workloads that include both sporadic hard tasks with specified resource requirements, and multimedia tasks with firm (m, k) guarantees. The tool is a two-level scheduler. The higher-level server planner generates server arrangements for the multimedia server, such that it can meet the (m, k) firm guarantees, and can execute optional task instances as well, while the lower-level feasibility checker determines the schedulability of the sporadic tasks under the specified server arrangement. The two levels iterate until schedulability is determined. The tool has been validated through simulation.