Trustworthy Systems

Towards a platform for trustworthy systems

Authors

Gernot Heiser

    School of Computer Science and Engineering
    UNSW,
    Sydney 2052, Australia

Published:

Invited talk at 2nd Tsinghua Software Day
Beijing
China

Abstract

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

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

Download