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

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


Served by Apache on Linux on seL4.