Towards a platform for trustworthy systems
Authors
School of Computer Science and Engineering
UNSW,
Sydney 2052, Australia
Published:
Invited talk at 2nd Tsinghua Software DayBeijing
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}
}
Slides
BibTeX