• DocumentCode
    3421771
  • 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
  • fYear
    2004
  • fDate
    31 Aug.-3 Sept. 2004
  • Firstpage
    601
  • Lastpage
    610
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Euromicro Conference, 2004. Proceedings. 30th
  • ISSN
    1089-6503
  • Print_ISBN
    0-7695-2199-1
  • Type

    conf

  • DOI
    10.1109/EURMIC.2004.1333428
  • Filename
    1333428