Concepts and experiments in computational reflection
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
The art of metaobject protocol
The art of metaobject protocol
The Apertos reflective operating system: the concept and its implementation
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
Protocol testing: review of methods and relevance for software testing
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
A Metaobject Architecture for Fault-Tolerant Distributed Systems: The FRIENDS Approach
IEEE Transactions on Computers
Testing object-oriented systems: models, patterns, and tools
Testing object-oriented systems: models, patterns, and tools
The case for reflective middleware
Communications of the ACM - Adaptive middleware
Testing Object-Oriented Software
Testing Object-Oriented Software
Delta Four: A Generic Architecture for Dependable Distributed Computing
Delta Four: A Generic Architecture for Dependable Distributed Computing
Portable serialization of CORBA objects: a reflective approach
OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Adaptation of Connectors in Software Architectures
ECOOP '98 Workshop ion on Object-Oriented Technology
Testing MetaObject Protocols Generated by Open Compilers for Safety-Critical Systems
REFLECTION '01 Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns
Think: A Software Framework for Component-based Operating System Kernels
ATEC '02 Proceedings of the General Track of the annual conference on USENIX Annual Technical Conference
A Strategy for Testing MetaObject Protocols in Reflective Architectures
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Principles of Multi-Level Reflection for Fault Tolerant Architectures
PRDC '02 Proceedings of the 2002 Pacific Rim International Symposium on Dependable Computing
Implementing a Reflective Fault-Tolerant CORBA System
SRDS '00 Proceedings of the 19th IEEE Symposium on Reliable Distributed Systems
Macro Processing in Object-Oriented Languages
TOOLS '98 Proceedings of the Technology of Object-Oriented Languages and Systems
Experiments with an architecture for reflective middleware
Integrated Computer-Aided Engineering
International Journal of Network Management
Design and deployment of a generic ECC-based fault tolerance mechanism for embedded HW cores
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Architecting dependable systems using reflective computing: lessons learnt and some challenges
Architecting dependable systems VII
Implementing fault tolerance using aspect oriented programming
LADC'07 Proceedings of the Third Latin-American conference on Dependable Computing
Hi-index | 14.98 |
This paper presents research work performed on the development and the verification of dependable reflective systems based on MetaObject Protocols (MOPs). We describe our experience, we draw the lessons learned from both a design and a validation viewpoint, and we discuss some possible future trends on this topic. The main originality of this work relies on the combination of both design and validation issues for the development of reflective systems, which has led to the definition of a reflective framework for the next generation of fault-tolerant systems. This framework includes: 1) the specification of a MetaObject Protocol suited to the implementation of fault-tolerant systems and 2) the definition of a general test strategy to guide its verification. The proposed approach is generic and solves many issues related to the use and evolution of system platforms with dependability requirements. Two different instances of the specified MOP have been implemented in order to study the impact of the MOP architecture in the development of a reflective fault-tolerant system. As far as the test strategy is concerned, a different testing level is associated with each reflective mechanism defined in the MOP. For each testing level, we characterize the test objectives and the required test environments. According to this experience, several new research challenges are finally identified.