Abstract | ||
---|---|---|
In many areas of safety-critical applications multiple applications must execute on a common machine without disturbing each other. Thus spatial and temporal isolation of each application must be guaranteed. In this paper we address the temporal isolation aspect which can be tackled using time partitioning. We propose a technique for automated design of multi-core time partitions based on characteristics of application workload. The work goes beyond recent work in the literature by effectively computing the parameters of multi-core time partitions, a task which is traditionally done manually by the system designer. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1109/CIT.2010.326 | CIT |
Keywords | Field | DocType |
embedded systems,scheduling,embedded system,model checking approach,multicore time partition design,scheduling,system designer,temporal isolation,model checking,multi-core,temporal partitioning | Model checking,Computer science,Scheduling (computing),Workload,Temporal isolation,Automaton,Real-time computing,Schedule,Processor scheduling,Multi-core processor,Distributed computing | Conference |
Citations | PageRank | References |
0 | 0.34 | 6 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Georgiana Macariu | 1 | 126 | 13.12 |