Trustworthy Systems

Guaranteed response time for mixed-criticality systems on seL4

Authors

Curtis Millar

    School of Computer Science and Engineering
    UNSW,
    Sydney 2052, Australia

Abstract

This report provides an overview of strategies used to guarantee the timing behaviour of hard and mixed-criticality realtime systems. It then proposes a set of changes the the MCS seL4 extensions that ensure the kernel-level scheduler can guarantee the assumptions made by common timing analysis processes for fixed-priority scheduling.

BibTeX Entry

  @mastersthesis{Millar:bsc,
    address          = {Sydney, Australia},
    author           = {Curtis Millar},
    keywords         = {rt},
    month            = nov,
    paperUrl         = {https://trustworthy.systems/publications/theses_public/21/Millar%3Absc.pdf},
    school           = {School of Computer Science and Engineering},
    title            = {Guaranteed response time for mixed-criticality systems on {seL4}},
    type             = {{BSc(Hons)} Thesis},
    year             = {2021}
  }

Download