Fault Tolerant Operating Systems
ACM Computing Surveys (CSUR)
Operating System Structures to Support Security and Reliable Software
ACM Computing Surveys (CSUR)
Communications of the ACM
Monitors: an operating system structuring concept
Communications of the ACM
HYDRA: the kernel of a multiprocessor operating system
Communications of the ACM
A structured specification of a hierarchical operating system
Proceedings of the international conference on Reliable software
The influence of software structure on reliability
Proceedings of the international conference on Reliable software
System structure for software fault tolerance
IEEE Transactions on Software Engineering
Hi-index | 0.00 |
Inside a Toulousian project on “Fault tolerant computing system”, we are interested by error confinement and error recovery at the operating system and software application levels. This paper will discuss the determination of a global system architecture by a top-down approach and the principles of protection by capability. We will detail management of synchronization and object sharing between processes, by generalized monitors and path expression in this hierarchized system. Then we will present error recovery mechanisms (rollback).