Title :
Towards predicting real-time properties of a component assembly
Author :
Bondarev, Egor ; de With, Peter ; Chaudron, Michel
Author_Institution :
Syst. Archit. & Networking Group, Eindhoven Univ. of Technol., Netherlands
fDate :
31 Aug.-3 Sept. 2004
Abstract :
This work addresses the prediction of timing properties of a component-based application already during the composition phase. At this stage, it is of vital importance to guarantee that the timing requirements (e.g. end-to-end deadlines) of a real-time application that is executed on a target system is satisfied. This is obtained by predicting the real-time behaviour of a component-based application. We extend an already existing scenario-based approach [J. Muskens et al. (2004)] with the possibility to model the behaviour of an application and the behavior of the underlying components. As a result, an application developer can reason accurately about the dynamic resource consumption and real-time properties of a component assembly. The modeling involves the specification of synchronization constraints for tasks and the simulation of application behaviour. A concluding case-study of video encoder development reveals that the approach is not only feasible but also addresses yet unsolved problems of task parallel execution and synchronization.
Keywords :
formal specification; object-oriented programming; parallel processing; real-time systems; resource allocation; synchronisation; video coding; component assembly; dynamic resource consumption; end-to-end deadlines; real-time properties; synchronization constraint specification; timing requirements; video encoder; Accuracy; Application software; Assembly; Bandwidth; Bonding; Computer architecture; Embedded system; Home appliances; Real time systems; Timing;
Conference_Titel :
Euromicro Conference, 2004. Proceedings. 30th
Print_ISBN :
0-7695-2199-1
DOI :
10.1109/EURMIC.2004.1333428