Trustworthy Systems

Towards a platform for trustworthy systems


Gernot Heiser

    School of Computer Science and Engineering
    Sydney 2052, Australia


Invited talk at 2nd Tsinghua Software Day


This talk presents work at NICTA on developing a systems platform that supports the design and implementation of real-world systems with provable dependability guarantees. At its core is work on formal verification presented in the talk by Gerwin Klein. This talk will focus on the aspects of the design and implementation of the seL4 microkernel and its sound and complete timeliness analysis. Furthermore, it will discuss the use of synthesis to generate assurable components for systems built on seL4, and various full-systems projects we use to refine the platform for real-world use

BibTeX Entry

    author           = {Gernot Heiser},
    howpublished     = {Invited talk at 2nd Tsinghua Software Day, Beijing, China},
    month            = mar,
    title            = {Towards a Platform for Trustworthy Systems},
    year             = {2012}