MetaSelf: an architecture and a development method for dependable self-* systems

ABSTRACT

This paper proposes a software architecture and a development process for engineering dependable and controllable self-organising (SO) systems. Our approach addresses dependability by exploiting metadata to support decision making and adaptation based on the dynamic enforcement of explicitly defined policies. Control is obtained by actively modifying metadata, policies or components. We show how this applies to two different systems: (1) a dynamically resilient Web service system; and (2) an industrial assembly system with self-adaptive and SO capabilities.

References

1. A. Avizienis. The n-version approach to fault-tolerant software. IEEE Press, 11:1491--1501, 1985.
2. A. Avizienis, J.-C. Laprie, B. Randell, and Landwehr C. Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing, 1(1):11--33, 2004.
3. G. Berry and G. Boudol. The chemical abstract machine. Theoretical Computer Science, 96(1):217--248, 1992.
4. Y. Chen. WS-Mediator for Improving Dependability of Service Composition. PhD thesis, Newcastle University (UK), 2008.
5. T. De Wolf. Analysing and engineering self-organising emergent applications. PhD thesis, Department of Computer Science, Katholieke Universiteit Leuven, Belgium, 2007.
6. G. Di Marzo Serugendo. Robustness and dependability of self-organising systems - a safety engineering perspective. In The 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2009), number 5873 in LNCS, pages 254--268. Springer-Verlag, 2009.
7. N. Dulay, E. Lupu, M. Sloman, J. Sventek, N. Badr, and S. Heeps. Self-managed cells for ubiquitous systems. In Proceedings of the Third International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2005, St. Petersburg, Russia, September 25--27, 2005, Proceedings, volume 3685 of Lecture Notes in Computer Science, pages 1--6. Springer, 2005.
8. G. Frei, B. Ferreira, G. Di Marzo Serugendo, and J. Barata. An architecture for self-managing evolvable assembly systems. In IEEE International Conference on Systems, Man, and Cybernetics (SMC 2009). IEEE, 2009.
9. R. Frei, N. Pereira, J. Belo, J. Barata, and G. Di Marzo Serugendo. Self-Awareness in Evolvable Assembly Systems. Technical Report BBKCS-09-08, School of Computer Science and Information Systems, Birkbeck College, London, UK, 2009.
10. J. Kramer and J. Magee. Self-managed systems: an architectural challenge. In Future of Software Engineering (FOSE'07), pages 259--268. IEEE Computer Society, 2007.
11. N. G. Leveson. Safeware: System Safety and Computers. Addison Wesley, July 1995.
12. L. Liu and H. Schmeck. A roadmap towards autonomic service-oriented architectures. In International Service Availability Symposium (ISAS 2006), pages 193--205, 2006.
13. C. Müller-Schloer. Organic computing: on the feasibility of controlled emergence. In Proceedings of the 2nd IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2004, pages 2--5. ACM, 2004.
14. G. Picard and M.-P. Gleizes. The ADELFE Methodology - Designing Adaptive Cooperative Multi-Agent Systems. In Methodologies and Software Engineering for Agent Systems: The Agent-oriented Software Engineering Handbook, pages 157--176. Kluwer Publishing, 2004.
15. B. Randell and J. Xu. The evolution of the recovery block concept. In Software Fault Tolerance, pages 1--22. J. Wiley. New York, 1994.
16. S. White, J. Hanson, I. Whalley, D. Chess, and J. Kephart. An architectural approach to autonomic computing. In J. Kephart and M. Parashar, editors, International Conference on Autonomic Computing (ICAC'04), pages 2--9. IEEE Computer Society, 2004.

Index Terms

• Software and its engineering

  • Software organization and properties

    • Software system structures

      • Software architectures