Trustworthy Systems

Can truly dependable systems be affordable?


Gernot Heiser

    School of Computer Science and Engineering
    Sydney 2052, Australia


Keynote at APSys'13


With the formal verification of the seL4 microkernel, and subsequent work on assuring its safety and security properties, NICTA has recently not only demonstrated that unprecedented levels of assurance are possible, but also that the cost is competitive. In this talk I will examine what has been achieved, what the cost was, and how this might apply to larger systems, in particular the feasibility of assuring full-system safety or security. The result is cause for optimism.

BibTeX Entry

    howpublished     = {Keynote at APSys'13},
    month            = jul,
    author           = {Gernot Heiser},
    title            = {Can truly dependable systems be affordable?},
    year             = {2013}