Skip to main content

CAmkES formalisation of a component platform


Matthew Fernandez, Gerwin Klein, Ihor Kuz and Toby Murray




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

    author           = {Fernandez, Matthew and Klein, Gerwin and Kuz, Ihor and Murray, Toby},
    issn             = {1833-9646-7650},
    month            = nov,
    year             = {2013},
    keywords         = {camkes, sel4, idl, glue code},
    title            = {{CAmkES} Formalisation of a Component Platform},
    institution      = {NICTA and UNSW},
    address          = {Australia}


Served by Apache on Linux on seL4.