• DocumentCode
    2205082
  • Title

    The derivation of scheduling algorithms from a timing model

  • Author

    Filali, M.

  • Author_Institution
    IRIT, Univ. Paul Sabatier, Toulouse, France
  • fYear
    1994
  • fDate
    15-17 Jun 1994
  • Firstpage
    180
  • Lastpage
    185
  • Abstract
    We first present a timing model for describing the temporal behaviour of a real-time application. Then, within this model, we specify formally the scheduling problem through a relation between so called temporal profiles. We show how this relation can be generically decomposed and implemented on different machine architectures
  • Keywords
    formal specification; parallel algorithms; real-time systems; scheduling; machine architectures; parallel algorithms; real-time application; scheduling algorithms; temporal behaviour; timing model; Petroleum; Resource management; Scheduling algorithm; Timing; Uninterruptible power systems;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Real-Time Systems, 1994. Proceedings., Sixth Euromicro Workshop on
  • Conference_Location
    Vaesteraas
  • Print_ISBN
    0-8186-6340-5
  • Type

    conf

  • DOI
    10.1109/EMWRTS.1994.336845
  • Filename
    336845
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2205082