Cautionary Tales: Lessons Learned About Unanticipated Behaviors in OC Systems

作者: Phyllis R. Nelson , Minhdao H. Nguyen , Chien-Cheng J. Yang

DOI: 10.1007/S00287-012-0596-5

关键词:

摘要: Organic computing (OC) recognizes that the behaviors of deployed systems can be much more interesting than those predicted by simulation. By exploiting self-X properties such as self-organization, self-optimization, self-protection, and context-awareness, OC researchers are developing methods for creating robust, trustworthy systems. This paper presents two examples unanticipated we have observed in our test bed robotic toy cars, an unmodeled phenomenon with surprisingly large effects agent behavior was believed (incorrectly) to so rare it could ignored. We discuss use computational reflection a tool identifying situations, consider challenges posed variety situations faced real systems, list lessons learned about importance beds advancing research.

参考文章(22)
Emil Iordanov Vassev, Joey Paquet, Towards a framework for specification and code generation of automatic systems Concordia University. ,(2008)
S. Dalal, Yu-Yun Ho, A. Jain, A. McIntosh, Application performance assurance using end-to-end user level monitoring dependable systems and networks. pp. 694- 703 ,(2002) , 10.1109/DSN.2002.1029015
Christopher Landauer, Kirstie L. Bellman, Integration Systems and Interaction Spaces frontiers of combining systems. pp. 249- 266 ,(1996) , 10.1007/978-94-009-0349-4_13
Peter O’Hearn, John Reynolds, Hongseok Yang, Local Reasoning about Programs that Alter Data Structures computer science logic. ,vol. 2142, pp. 1- 19 ,(2001) , 10.1007/3-540-44802-0_1
Jan-Philipp Steghöfer, Rolf Kiefhaber, Karin Leichtenstern, Yvonne Bernard, Lukas Klejnowski, Wolfgang Reif, Theo Ungerer, Elisabeth André, Jörg Hähner, Christian Müller-Schloer, Trustworthy organic computing systems: challenges and perspectives autonomic and trusted computing. pp. 62- 76 ,(2010) , 10.1007/978-3-642-16576-4_5
Christopher A. Rouff, James L. Rash, Michael G. Hinchey, Requirements to Design to Code: Towards a Fully Formal Approach to Automatic Code Generation ,(2013)
J. Bongard, V. Zykov, H. Lipson, Resilient machines through continuous self-modeling. Science. ,vol. 314, pp. 1118- 1121 ,(2006) , 10.1126/SCIENCE.1133687