Trustworthy Systems

CAmkES formalisation of a component platform

Authors

Matthew Fernandez, Gerwin Klein, Ihor Kuz and Toby Murray

NICTA

UNSW

Abstract

CAmkES is a component platform for embedded microkernel-based systems, offering many of the standard features available in component platforms. This report describes the architectural formalisation of the platform and the supporting framework for proving correctness properties of concrete component systems.

BibTeX Entry

  @techreport{Fernandez_KKM_13:tr,
    address          = {Australia},
    author           = {Fernandez, Matthew and Klein, Gerwin and Kuz, Ihor and Murray, Toby},
    institution      = {NICTA and UNSW},
    issn             = {1833-9646-7650},
    keywords         = {camkes, sel4, idl, glue code},
    month            = nov,
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/7650.pdf},
    title            = {{CAmkES} Formalisation of a Component Platform},
    year             = {2013}
  }

Download