par Chapeaux, Thomas;Rodriguez Lobera, Paul 
;George, Laurent;Goossens, Joël
Référence Brazilian Symposium on Computing System Engineering, SBESC, page (95-100), 6825349
Publication Publié, 2014
;George, Laurent;Goossens, Joël Référence Brazilian Symposium on Computing System Engineering, SBESC, page (95-100), 6825349
Publication Publié, 2014
Article révisé par les pairs
| Résumé : | Sensitivity analysis for real-time systems provides efficient methods to determine feasibility conditions in the case of changes in task parameters, such as different WCET values when porting a system to a different platform. The C-space defines the space of execution times for which a system is feasible, which can help system designers to more easily check if a task set is feasible on a set of candidate platforms. This paper extends previous works generalizing the description of the C-space for Earliest Deadline First scheduling to systems with initial task offsets. The feasibility gain offered by offsets is then expressed as the volume ratio between the C-space of an asynchronous system and its corresponding synchronous system when offsets are randomly chosen. The problem requires solving multiple similar instances of the Chinese Remainder Problem, for which an efficient algorithm in this context is provided. We show that even for random offsets, the gain can reach 15%. © 2013 IEEE. |
