Skip to main content

TS

Principled operating systems mechanisms for temporal isolation

Authors

Anna Lyons, Hesham Almatary, Kent Mcleod and Gernot Heiser

DATA61

Abstract

Mixed-criticality systems (MCS) combine real-time components of different levels of criticality – i.e. severity of failure – on the same processor, in order to obtain good resource utilisation. They must be able to guarantee deadlines of highly-critical threads without any dependence on less-critical threads. This requires strong temporal isolation, similar to the spatial isolation that is traditionally provided by operating systems, without unnecessary loss of processor utilisation. We present an approach to supporting MCS in the high-assurance seL4 microkernel.

BibTeX Entry

  @inproceedings{Lyons_AMH_18,
    publisher        = {ACM Sigops},
    series           = {EuroSys Conference},
    booktitle        = {EuroSys Conference},
    author           = {Lyons, Anna and Almatary, Hesham and Mcleod, Kent and Heiser, Gernot},
    month            = apr,
    note             = {(to appear)},
    year             = {2018},
    date             = {2018-4-23},
    title            = {Principled Operating Systems Mechanisms for Temporal Isolation},
    type             = {Conference Paper - Non-Refereed},
    pages            = {14},
    address          = {Porto, Portugal}
  }

Download

Served by Apache on Linux on seL4.