GUARANTEEING REAL-TIME REQUIREMENTS WITH RESOURCE-BASED CALIBRATION OF PERIODIC PROCESSES

Citation
R. Gerber et al., GUARANTEEING REAL-TIME REQUIREMENTS WITH RESOURCE-BASED CALIBRATION OF PERIODIC PROCESSES, IEEE transactions on software engineering, 21(7), 1995, pp. 579-592
Citations number
18
Categorie Soggetti
Computer Sciences","Engineering, Eletrical & Electronic","Computer Science Software Graphycs Programming
ISSN journal
00985589
Volume
21
Issue
7
Year of publication
1995
Pages
579 - 592
Database
ISI
SICI code
0098-5589(1995)21:7<579:GRRWRC>2.0.ZU;2-2
Abstract
This paper presents a comprehensive design methodology for guaranteein g end-to-end requirements of real-time systems. Applications are struc tured as a set of process components connected by asynchronous channel s, in which the end-points are the system's external inputs and output s. Timing constraints are then postulated between these inputs and out puts; they express properties such as end-to-end propagation delay, te mporal input-sampling correlation, and allowable separation times betw een updated output values. The automated design method works as follow s: First new tasks are created to correlate related inputs, and an opt imization algorithm, whose objective is to minimize CPU utilization, t ransforms the end-to-end requirements into a set of intermediate rate constraints on the tasks. If the algorithm fails, a restructuring tool attempts to eliminate bottlenecks by transforming the application, wh ich is then resubmitted into the assignment algorithm. The final resul t is a schedulable set of fully periodic tasks, which collaboratively maintain the end-to-end constraints.