• DocumentCode
    1875620
  • Title

    Temporal protection in real-time operating systems

  • Author

    Mercer, Cliff ; Rajkumar, Ragunathan ; Zelenka, Jim

  • Author_Institution
    Dept. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
  • fYear
    1994
  • fDate
    18-19 May 1994
  • Firstpage
    79
  • Lastpage
    83
  • Abstract
    Real-time systems manipulate data types with inherent timing constraints. Priority-based scheduling is a popular approach to build hard real-time systems, when the timing requirements, supported run-time configurations, and task sets are known a priori. Future real-time systems will need to support these hard real-time constraints but in addition (a) provide friendly user and programming interfaces with audio and video data types (b) be able to communicate with global networks and systems on demand, and (c) support critical command and control services despite potential risks introduced by such added flexibility and dynamics. We argue that temporal protection mechanisms can be as beneficial in these systems as virtual memory protection. The processor reservation mechanism that we have implemented in Real-Time Mach, for example, provides guaranteed timing behavior for critical activities
  • Keywords
    data structures; database management systems; operating systems (computers); real-time systems; scheduling; temporal logic; Real-Time Mach; command and control services; data types; hard real-time systems; priority-based scheduling; processor reservation mechanism; real-time operating systems; run-time configurations; temporal protection; timing constraints; timing requirements; Computer science; Contracts; Data engineering; Delay; Dynamic programming; Operating systems; Processor scheduling; Protection; Real time systems; Timing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Real-Time Operating Systems and Software, 1994. RTOSS '94, Proceedings., 11th IEEE Workshop on
  • Conference_Location
    Seattle, WA
  • Print_ISBN
    0-8186-5710-3
  • Type

    conf

  • DOI
    10.1109/RTOSS.1994.292556
  • Filename
    292556