Concepts and experiments in computational reflection
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Safeware: system safety and computers
Safeware: system safety and computers
Threshold-Based Mechanisms to Discriminate Transient from Intermittent Faults
IEEE Transactions on Computers
The Art of the Metaobject Protocol
The Art of the Metaobject Protocol
REL: A Fault Tolerance Linguistic Structure for Distributed Applications
ECBS '02 Proceedings of the 9th IEEE International Conference on Engineering of Computer-Based Systems
EUROMICRO '07 Proceedings of the 33rd EUROMICRO Conference on Software Engineering and Advanced Applications
On the requirements of new software development
International Journal of Business Intelligence and Data Mining
Software assumptions failure tolerance: role, strategies, and visions
Architecting dependable systems VII
| Hi-index | 0.00 |
Truly dependable software systems should be built with structuring techniques able to decompose the software complexity without hiding important hypotheses and assumptions such as those regarding their target execution environment and the expected fault- and system models. A judicious assessment of what can be made transparent and what should be translucent is necessary. This paper discusses a practical example of a structuring technique built with these principles in mind: Reflective and refractive variables. We show that our technique offers an acceptable degree of separation of the design concerns, with limited code intrusion; at the same time, by construction, it separates but does not hide the complexity required for managing fault-tolerance. In particular, our technique offers access to collected system-wide information and the knowledge extracted from that information. This can be used to devise architectures that minimize the hazard of amismatch between dependable software and the target execution environments.