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...
Saved in:
Published in: | IEEE software 2002-01, Vol.19 (1), p.26-33 |
---|---|
Main Authors: | , |
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!
|
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 |