Trustworthy Systems

The road to trustworthy systems


Gernot Heiser

    School of Computer Science and Engineering
    Sydney 2052, Australia


Distinguished Systems Speakers Series
Purdue University


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

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