Patterns for building dependable systems with trusted bases
Name
Jackson_Patterns for.pdf
Size
275.16 KB
Format
Adobe PDF
Checksum (MD5)
947ae1bd1f69bd47378d67afc16c21a9
Author(s)
Kang, Eunsuk
Jackson, Daniel
Date Issued
October 2010
Journal
Proceedings of the 17th Conference on Pattern Languages of Programs (PLOP '10)
Publisher
Association for Computing Machinery (ACM)
Citation
Eunsuk Kang and Daniel Jackson. 2010. Patterns for building dependable systems with trusted bases. In Proceedings of the 17th Conference on Pattern Languages of Programs (PLOP '10). ACM, New York, NY, USA, Article 19, 14 pages.
Version
Author's final manuscript
Abstract
We propose a set of patterns for structuring a system to be dependable by design. The key idea is to localize the system's most critical requirements into small, reliable parts called trusted bases. We describe two instances of trusted bases: (1) the end-to-end check, which localizes the correctness checking of a computation to end points of a system, and (2) the trusted kernel, which ensures the safety of a set of resources with a small core of a system.
MIT Department
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Terms of Use
Creative Commons Attribution-Noncommercial-Share Alike
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.1145/2493288.2493307
