Stabilization Enabling Technology

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.

[1]  Shlomi Dolev,et al.  Recovery Oriented Programming , 2006, SSS.

[2]  David Seal,et al.  ARM Architecture Reference Manual , 2001 .

[3]  Andrew S. Tanenbaum,et al.  Structured Computer Organization , 1976 .

[4]  Shlomi Dolev,et al.  Memory Management for Self-Stabilizing Operating Systems , 2005, J. Aerosp. Comput. Inf. Commun..

[5]  Shlomi Dolev,et al.  Self Stabilization , 2004, J. Aerosp. Comput. Inf. Commun..

[6]  Shlomi Dolev,et al.  Self-stabilizing microprocessor: analyzing and overcoming soft errors , 2006, IEEE Transactions on Computers.

[7]  Edsger W. Dijkstra,et al.  Self-stabilizing systems in spite of distributed control , 1974, CACM.

[8]  Robert Szewczyk,et al.  System architecture directions for networked sensors , 2000, ASPLOS IX.

[9]  Shlomi Dolev,et al.  Self-stabilization Preserving Compiler , 2005, Self-Stabilizing Systems.