• DocumentCode
    2468120
  • Title

    A hierarchical pre-runtime scheduling for hard real-time systems considering fault-tolerance

  • Author

    Tavares, Eduardo ; Maciel, Paulo ; Sousa, Erica ; Nogueira, Bruno ; Amorim, Leonardo ; Lira, Victor

  • Author_Institution
    Center for Inf., Fed. Univ. of Pernambuco (CIn-UFPE), Recife, Brazil
  • fYear
    2012
  • fDate
    14-17 Oct. 2012
  • Firstpage
    1207
  • Lastpage
    1212
  • Abstract
    The scientific community has devoted attention to virtualization in hard real-time systems, motivating the development of many hierarchical scheduling techniques for dealing with stringent timing constraints for such systems. Most techniques are based on runtime scheduling methods and they provide important results concerning schedulability analysis. However, there are situations in which runtime methods may fail in finding a feasible schedule, and intertask relations as well as overheads are neglected by several approaches. This paper proposes a hierarchical pre-runtime scheduling for hard real-time systems taking into account intertask relations and overheads. A formal model based on time Petri net (TPN) is adopted to provide a basis for precise schedule generation.
  • Keywords
    Petri nets; formal specification; formal verification; real-time systems; scheduling; software fault tolerance; virtualisation; formal model; hard real-time system; hierarchical preruntime scheduling; intertask relation; property analysis; property verification; runtime scheduling method; schedulability analysis; schedule generation; software fault-tolerance; stringent timing constraint; time Petri net; virtualization; Conferences; Cybernetics; Decision support systems; Formal Models; Hard Real-Time Systems; Hierarchical Scheduling; Petri Nets;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Systems, Man, and Cybernetics (SMC), 2012 IEEE International Conference on
  • Conference_Location
    Seoul
  • Print_ISBN
    978-1-4673-1713-9
  • Electronic_ISBN
    978-1-4673-1712-2
  • Type

    conf

  • DOI
    10.1109/ICSMC.2012.6377896
  • Filename
    6377896