Developing Dependable Open Source Systems: Principles for Composable Architectures
Peter Neumann, SRI International Computer Science Laboratory

Abstract

The goal of this talk is to explore approaches for developing highly dependable systems and networks that can be readily composed out of subsystems, with predictable behavior. We will reconsider classical development principles and their interactions with one another, and architectures that could be particularly attractive for developers of open-source software. This talk is based on work on our DARPA project for the Composable High-Assurance Trustworthy Systems (CHATS) program: http://www.csl.sri.com/neumann/chats.html.