EROS: The Extremely Reliable Operating System
The EROS research effort has ended. Work is continuing from the EROS code base in the CapROS project, which is led by Charlie Landau. There are also some commercial collaborations that are building on EROS and its successors.
The group at Hopkins has started work on a successor research system, Coyotos. Coyotos seeks to resolve some architectural deficiencies in EROS, and will be exploring the limits of software verification in operating systems.
The EROS site in its final form will continue to be accessable here. It will not be updated further except to add links to the last few papers as they are published for archival completeness.
Copyright 2005 by Jonathan Shapiro. All rights reserved. For terms of redistribution, see the GNU General Public License