Protection and the control of information sharing in multics
Communications of the ACM
Monitors: an operating system structuring concept
Communications of the ACM
Operating system principles
A program structure for error detection and recovery
Operating Systems, Proceedings of an International Symposium
Programming with abstract data types
Proceedings of the ACM SIGPLAN symposium on Very high level languages
The influence of software structure on reliability
Proceedings of the international conference on Reliable software
Design of self-checking software
Proceedings of the international conference on Reliable software
Reliable software through composite design
Reliable software through composite design
Verification of Concurrent Control Flow in Distributed Computer Systems
IEEE Transactions on Software Engineering
Assertion techniques for dynamic monitoring of linear list data structures
Journal of Systems and Software
| Hi-index | 0.00 |
This paper presents a flexible framework, using a System Monitor, to design error-resistant software. The System Monitor contains the code and data for error detection, error containment and recovery at the module level, program level, and system level. It contains five types of components: the Internal Process Supervisor, the External Process Supervisor, the Interaction Supervisor, the System Monitor Kernel, and the Maintenance Program. The functions of each component is discussed, followed by a discussion of the strategies to handle errors in the module, program, and system levels.