A specification and construction paradigm for organic computing systems

Proceedings - 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2008

Volumn , Issue , 2008, Pages 233-242

  Gudemann M ^a   Nafz, F ^a   Ortmeier, F ^a   Seebach, H ^a   Reif, W ^a  

^a UNIVERSITY OF AUGSBURG   (Germany)

Author keywords

Autonomic computing; Formal methods; Organic computing; Safety critical systems

Indexed keywords

AUTOMATIC ADAPTATIONS; AUTONOMIC COMPUTING; CASE STUDIES; COMPUTING SYSTEMS; DESIGN METHODOLOGIES; DO-MAINS; GENERIC DESCRIPTIONS; ORGANIC COMPUTING; PRODUCTION AUTOMATIONS; SAFETY CRITICAL SYSTEMS;

CYBERNETICS; LARGE SCALE SYSTEMS; REAL TIME SYSTEMS; SPECIFICATIONS;

FORMAL METHODS;

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

References (24)

1. Bernhard Bauer and Holger Kasinger. Aose and organic computing - how can they benefit from each other? In AOIS, pages 154-167, 2005.
2. A. Bouajila, J. Zeppenfeld, W. Stechele, A. Herkersdorf, A. Bernauer, O. Bringmann, and W. Rosenstiel. Organic computing at the system on chip level. In Proceedings of the IFIP International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC 2006). Springer, October 2006.
3. S. Bussmann and K. Schild. Self-organizing manufacturing control: An industrial application of agent technology, 2000.
4. Edmund M. Clarke. Model checking. Lecture Notes in Computer Science, 1346:54-??, 1997.
5. Ioannis Georgiadis, Jeff Magee, and Jeff Kramer. Self-organising software architectures for distributed systems. In WOSS '02: Proceedings of the first workshop on Self-healing systems, pages 33-38, New York, NY, USA, 2002. ACM.
6. M. Güdemann, F. Ortmeier, and W. Reif. Safety and dependability analysis of self-adaptive systems. In Proceedings of ISoLA 2006. IEEE CS Press, 2006.
7. Matthias Güdemann, Andreas Angerer, Frank Ortmeier, and Wolfgang Reif. Modeling of self-adaptive systems with SCADE. In Proceedings of the 2007 IEEE International Symposium on Circuits and Systems, ISCAS07. IEEE, 2007.
8. David Harel. Statecharts: A visual formalismfor complex systems. Science of Computer Programming, 8(3):231-274, June 1987.
9. Daniel Jackson. Software Abstractions: Logic, Language, and Analysis. The MIT Press, 2006.
10. J. Kephart and D. Chess. The vision of autonomic computing. IEEE Computer, January 2003.
11. Jeff Kramer and Jeff Magee. Self-managed systems: an architectural challenge. In FOSE '07: 2007 Future of Software Engineering, pages 259-268, Washington, DC, USA, 2007. IEEE Computer Society.
12. Jeff Magee, Naranker Dulay, Susan Eisenbach, and Jeff Kramer. Specifying distributed software architectures. In Proceedings of the 5th European Software Engineering Conference, pages 137-153, London, UK, 1995. Springer-Verlag.
13. C. Müller-Schloer. Organic computing: on the feasibility of controlled emergence. In CODES+ISSS '04, NY, USA, 2004. ACM Press.
14. Florian Nafz, Frank Ortmeier, and Hella Seebach. Video of the MSRS simulation, 2007. http://loewenheim.informatik.uni-augsburg.de/kiv/msrs.avi.
15. OMG Object Management Group. UML 2.0 OCL Specification, 2003.
16. A. Pnueli. System specification and refinement in temporal logic. In R. Shyamasundar, editor, Proceedings of Foundations of Software Technology and Theoretical Computer Science, volume 652, pages 1-38. Springer-Verlag, Berlin, Germany, 1992.
17. Holger Prothmann, Fabian Rochner, Sven Tomforde, Jürgen Branke, Christian Müller-Schloer, and Hartmut Schmeck. Organic control of traffic lights. In Chunming Rong, Martin Gilje Jaatun, Frode Eika Sandnes, Laurence T. Yang, and Jianhua Ma, editors, Proceedings of the 5th International Conference on Autonomic and Trusted Computing (ATC-08), volume 5060 of LNCS, pages 219-233. Springer, 2008.
18. Frank Reichenbach, Andreas Bobek, Philipp Hagen, and Dirk Timmermann. Increasing lifetime of wireless sensor networks with energy-aware role-changing. In Proceedings of the 2nd IEEE International Workshop on Self-Managed Networks, Systems & Services (Self-Man 2006), pages 157-170, Dublin, Ireland, 2006.
19. Urban Richter, Moez Mnif, Jürgen Branke, Christian Müller-Schloer, and Hartmut Schmeck. Towards a generic observer/controller architecture for organic computing. In Christian Hochberger and Rüdiger Liskowsky, editors, INFORMATIK 2006 - Informatik für Menschen, GI-Edition - Lecture Notes in Informatics, pages 112-119, Bonn, Germany, September 2006. Köllen Verlag.
20. Fabian Rochner, Holger Prothmann, Jürgen Branke, Christian Müller-Schloer, and Hartmut Schmeck. An organic architecture for traffic light controllers. In Christian Hochberger and Rüdiger Liskowsky, editors, INFORMATIK 2006 - Informatik für Menschen, GI-Edition - Lecture Notes in Informatics, pages 120-127, Bonn, Germany, September 2006. Köllen Verlag.
21. Hella Seebach, Frank Ortmeier, and Wolfgang Reif. Design and Construction of Organic Computing Systems. In Proceedings of the IEEE Congress on Evolutionary Computation 2007. IEEE Computer Society Press, 2007.
22. Elisabeth A. Strunk and John C. Knight. Dependability through assured reconfiguration in embedded system software. IEEE Transactions on Dependable and Secure Computing, 3(3):172-187, 2006.
23. Li Tan. Model-based self-adaptive embedded programs with temporal logic specifications. In QSIC '06: Proceedings of the Sixth International Conference on Quality Software, pages 151-158, Washington, DC, USA, 2006. IEEE Computer Society.
24. Emina Torlak and Daniel Jackson. Kodkod: A relational model finder. pages 632-647. 2007.