Loading…

EROS: a principle-driven operating system from the ground up

Design principles are one of the most advocated ideas in software construction, but they are rarely systematically applied. They are particularly critical in secure, reliable systems. EROS, an operating system built from the ground up, provides formally verifiable security, practical reliability, an...

Full description

Saved in:
Bibliographic Details
Published in:IEEE software 2002-01, Vol.19 (1), p.26-33
Main Authors: Shapiro, J.S., Hardy, N.
Format: Article
Language:English
Subjects:
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Design principles are one of the most advocated ideas in software construction, but they are rarely systematically applied. They are particularly critical in secure, reliable systems. EROS, an operating system built from the ground up, provides formally verifiable security, practical reliability, and high performance. This article describes the primary design principles on which EROS is built, the impact these principles had on the design, the application structure that naturally emerged from the resulting system, and the how this affected the system's security and testability.
ISSN:0740-7459
1937-4194
DOI:10.1109/52.976938