The University of New South Wales

The road to trustworthy systems

Authors

Gernot Heiser

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

Published:

Distinguished Systems Speakers Series
Purdue University
USA

Abstract

Computer systems are routinely deployed in life- and mission-critical situations, yet in most cases their security, safety or dependability cannot be assured to the degree warranted by the application. In other words, trusted computer systems are rarely really trustworthy.

We believe that this is highly unsatisfactory, and have embarked on a large research program aimed at bringing reality in line with expectations. In this talk describes NICTA's research agenda for achieving true trustworthiness in systems. The first phase has been concluded, with the world's first formal proof of functional correctness of a complete OS microkernel. The second phase, in progress, aims at making dependability guarantees for complete real-world systems, comprising millions of lines of code.

BibTeX Entry

  @misc{Heiser_10:purdue,
    howpublished     = {Distinguished Systems Speakers Series, Purdue University, USA},
    month            = oct,
    author           = {Gernot Heiser},
    title            = {The Road to Trustworthy Systems},
    year             = {2010}
  }

Download