Achieving dependable component bindings in dynamic adaptive systems - A runtime testing approach

SASO 2009 - 3rd IEEE International Conference on Self-Adaptive and Self-Organizing Systems

Volumn , Issue , 2009, Pages 186-197

  Niebuhr, Dirk ^a   Rausch, Andreas ^a   Klein, Cornel ^b   Reichmann, Jürgen ^b   Schmid, Reiner ^b  

^a CLAUSTHAL UNIVERSITY OF TECHNOLOGY   (Germany)

^b SIEMENS AG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPONENT BASED APPROACH; COMPONENT INFRASTRUCTURES; COMPONENT-BASED SOFTWARE ENGINEERING; RUNTIME TESTING; RUNTIMES;

SOFTWARE ENGINEERING;

ADAPTIVE SYSTEMS;

EID: 73649145550     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SASO.2009.40     Document Type: Conference Paper

References (27)

1. C. Szyperski, Component Software: Beyond Object-Oriented Programming. Addison Wesley Publishing Company, 2002.
2. I. Crnkovic, M. Chaudron, and S. Larsson, "Component-based development process and component lifecycle," Software Engineering Advances, International Conference on, vol. 0, p. 44, 2006.
3. P. Feiler, R. P. Gabriel, J. Goodenough, R. Linger, T. Longstaff, R. Kazman, M. Klein, L. Northrop, D. Schmidt, K. Sullivan, and K. Wallnau, "Ultra-large-scale systems: The software challenge of the future," The Carnegie Mellon Software Engineering Institute, Tech. Rep., 2006.
4. OSGi Alliance, OSGi Service Platform Core Specification, 2007.
5. Sun Microsystems, Sun Java Composite Application Platform Suite, 2008.
6. Object Management Group, "Common object request broker architecture," http://www.corba.org/, 2004.
7. Microsoft, "Managed extensibility framework," http://www.codeplex.com/MEF [Online; accessed 03-July-2009].
8. K. Herrmann, K. Geihs, and G. Mühl, "Ad hoc service grid - A self-organizing infrastructure for mobile commerce," in Proceedings of the IFIP TC8 Working Conference on Mobile Information Systems (MOBIS 2004). Oslo, Norway: Kluwer, Sep. 2004, pp. 261-274.
9. D. Niebuhr, H. Klus, M. Anastasopoulos, J. Koch, O. Weiß, and A. Rausch, "DAiSI - Dynamic Adaptive System Infrastructure," Fraunhofer Institut Experimentelles Software Engineering, IESE-Report No. 051.07/E, Tech. Rep., Jun 2007.
10. M. Dowson, "The ariane 5 software failure," SIGSOFT Softw. Eng. Notes, vol. 22, no. 2, p. 84, 1997.
11. PLASTIC, "Providing lightweight and adaptable service technology for pervasive information and communication (eu fp6 strep n.26955)," http://www.ist-plastic.org/, 2006.
12. A. Bertolino, H. Muccini, and A. Polini, "Architectural verification of black-box component-based systems," Rapid Integration of Software Engineering Techniques, pp. 98-113, 2007.
13. A. Rausch, "Software evolution in componentware using requirements/assurances contracts," in ICSE 22, Proceedings of the 22th International Conference on Software Engineering, Jun 2000.
14. A. M. Turing, "On computable numbers, with an application to the entscheidungsproblem," in Proceedings of the London Mathematical Society, 1936, pp. 230-265.
15. A. Church, "An unsolvable problem of elementary number theory," American Journal of Mathematics, vol. 58, pp. 345-363, 1936.
16. B. Zimmerova, P. Vařeková, N. Beneš, I. Černá, L. Brim, and J. Sochor, "Component-interaction automata approach (coin)," pp. 146-176, 2008.
17. A. Both and W. Zimmermann, "Automatic protocol conformance checking of recursive and parallel component-based systems," in CBSE, 2008, pp. 163-179.
18. E. Est́evez and P. R. Fillottrani, "Bisimulation for component-based development," Journal of Computer Science & Technology, vol. 1, no. 6, May 2002.
19. Manchester Triage Group, Emergency Triage. BMJ Books, 2005.
20. B. Meyer, "Applying "design by contract"," Computer, vol. 25, no. 10, pp. 40-51, 1992.
21. G. T. Leavens, A. L. Baker, and C. Ruby, "Preliminary design of JML: a behavioral interface specification language for java," SIGSOFT Softw. Eng. Notes, vol. 31, no. 3, pp. 1-38, 2006.
22. L. Burdy, Y. Cheon, D. Cok, M. Ernst, J. Kiniry, G. Leavens, K. Leino, and E. Poll, An overview of JML tools and applications, 2003.
23. H. Klus, D. Niebuhr, and A. Rausch, "Towards a component model supporting proactive configuration of service-oriented systems," in ICEBE '07: Proceedings of the IEEE International Conference on e-Business Engineering. Hong Kong, China: IEEE Computer Society, Oct. 2007, pp. 600-603.
24. M. Anastasopoulos, H. Klus, J. Koch, D. Niebuhr, and E. Werkman, "DoAmI - a middleware platform facilitating (re-)configuration in ubiquitous systems," in Proceedings of the Workshop on System Support for Ubiquitous Computing (UbiSys), Orange County, California, USA, Sep. 2006, electronic Proceedings.
25. T. Jaitner, M. Trapp, D. Niebuhr, and J. Koch, "Indoor-simulation of team training in cycling," in ISEA 2006, E. Moritz and S. Haake, Eds. Munich, Germany: Springer, Jul. 2006, pp. 103-108.
26. H. Klus, D. Niebuhr, and O. Weiß, "Integrating sensor nodes into a middleware for ambient intelligence," in Proceedings of the Workshop on Building Software for Sensor Networks, S. Schäfer, T. Elrad, and J. Weber-Jahnke, Eds. Portland, Oregon, USA: ACM, Oct. 2006, electronic Proceedings.
27. D. Niebuhr, M. Schindler, and D. Herrling, "Emergency assistance system - webpage of the cebit exhibit 2009," http://www2.in.tuclausthal.de/ %7ERettungsassistenzsystem/en [Online; accessed 03-July-2009].