Structured computer organization; (2nd ed.)
Structured computer organization; (2nd ed.)
Self-stabilization
Self-stabilizing systems in spite of distributed control
Communications of the ACM
System architecture directions for networked sensors
ASPLOS IX Proceedings of the ninth international conference on Architectural support for programming languages and operating systems
ARM Architecture Reference Manual
ARM Architecture Reference Manual
Self-Stabilizing Microprocessor: Analyzing and Overcoming Soft Errors
IEEE Transactions on Computers
Self-stabilization preserving compiler
SSS'05 Proceedings of the 7th international conference on Self-Stabilizing Systems
Memory management for self-stabilizing operating systems
SSS'05 Proceedings of the 7th international conference on Self-Stabilizing Systems
A self-stabilizing autonomic recoverer for eventual Byzantine software
Journal of Systems and Software
Stabilizing trust and reputation for self-stabilizing efficient hosts in spite of Byzantine guests
SSS'07 Proceedings of the 9h international conference on Stabilization, safety, and security of distributed systems
Stabilizing trust and reputation for self-stabilizing efficient hosts in spite of byzantine guests
ACM SIGOPS Operating Systems Review
| Hi-index | 0.00 |
Hardware and software components are suggested for enabling the creation of a self-stabilizing os on top of an off-the-shelf, non-self-stabilizing processor. Simple "watchdog" hardware called periodic reset monitor (prm) provides a basic solution. The solution is extended to a stabilization enabling hardware (seh) which removes any real time requirement from the os. A stabilization enabling system that extends the seh with some software components provides the user (the os designer) with a self-stabilizing processor abstraction. Adapting the current os code to be self-stabilizing is supported using a mechanism for enforcing the software configuration.