Paper Info
Title
A Model Checking Approach for Multi-core Time Partitions Design
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 Macariu112613.12