{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,8]],"date-time":"2026-01-08T21:07:56Z","timestamp":1767906476437,"version":"3.49.0"},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2012,2,17]],"date-time":"2012-02-17T00:00:00Z","timestamp":1329436800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Informatik Spektrum"],"published-print":{"date-parts":[[2012,4]]},"DOI":"10.1007\/s00287-012-0596-5","type":"journal-article","created":{"date-parts":[[2012,2,16]],"date-time":"2012-02-16T11:11:36Z","timestamp":1329390696000},"page":"87-92","source":"Crossref","is-referenced-by-count":3,"title":["Cautionary Tales: Lessons Learned About Unanticipated Behaviors in OC Systems"],"prefix":"10.1007","volume":"35","author":[{"given":"Phyllis R.","family":"Nelson","sequence":"first","affiliation":[]},{"given":"Minhdao H.","family":"Nguyen","sequence":"additional","affiliation":[]},{"given":"Chien-Cheng J.","family":"Yang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,2,17]]},"reference":[{"key":"596_CR1","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1109\/MC.1993.274940","volume":"26","author":"N Levinson","year":"1993","unstructured":"Levinson N, Turner CS (1993) An investigation of the therac-25 accidents. IEEE Comput 26:18\u201341","journal-title":"IEEE Comput"},{"key":"596_CR2","unstructured":"Lions PJL (1996) Ariane 5 flight 501 failure: Report by the inquiry board, tech. rep. http:\/\/esamultimedia.esa.int\/docs\/esa-x-1819eng.pdf, last access 15 October 2011"},{"key":"596_CR3","unstructured":"Isbell D, Savage D (1999) Mars climate orbiter failure board releases report, numerous nasa actions underway in response. http:\/\/mars.jpl.nasa.gov\/msp98\/news\/mco991110.html, last access 30 October 2011"},{"key":"596_CR4","unstructured":"Garfinkel S (2005) History\u2019s worst software bugs, Wired, November 2005. http:\/\/www.wired.com\/software\/coolapps\/news\/2005\/11\/69355, last access 12 August 2011"},{"key":"596_CR5","unstructured":"IntelPR (2001) Intel identifies chipset design error, implementing solution. http:\/\/newsroom.intel.com\/community\/intel_newsroom\/blog\/2011\/01\/31\/intel-identifies-chipset-design-error-implementing-solution, last access 8 September 2011"},{"key":"596_CR6","doi-asserted-by":"crossref","first-page":"1118","DOI":"10.1126\/science.1133687","volume":"314","author":"J Bongard","year":"2006","unstructured":"Bongard J, Zykov V, Lipson H (2006) Resilient machines through continuous self-modeling. Science 314:1118\u20131121","journal-title":"Science"},{"key":"596_CR7","unstructured":"Bellman K, Landauer C, Nelson P (2008) Systems engineering for organic computing: The challenge of shared design and control between OC systems and their human engineers. In: W\u00fcrtz R (ed) Organic Computing, vol 21 of Understanding Complex Systems, Springer, Berlin\/Heidelberg, pp 25\u201380"},{"key":"596_CR8","doi-asserted-by":"crossref","unstructured":"von Uexk\u00fcll J (1957) Streifz\u00fcge durch die unwelten von tieren und menschen (1934), translated and edited by Schiller CH as: A stroll through the worlds of animals and men. In: Schiller CH (ed) Instinctive Behavior: The Development of a Modern Concept, International Universities Press, New York, pp 5\u201380. Also reprinted in Semiotica 89(4):319\u2013391 (1992)","DOI":"10.1007\/978-3-642-98976-6"},{"issue":"1\/2","key":"596_CR9","doi-asserted-by":"crossref","first-page":"35","DOI":"10.12697\/SSS.2004.32.1-2.02","volume":"32","author":"T R\u00fcting","year":"2004","unstructured":"R\u00fcting T (2004) History and significance of jakob von uexk\u00fcll and of his institute in Hamburg. Sign System Studies 32(1\/2):35\u201372","journal-title":"Sign System Studies"},{"key":"596_CR10","doi-asserted-by":"crossref","unstructured":"Maes P (1987) Concepts and experiments in computational reflection. In: Conference proceedings on Object-oriented programming systems, languages and applications, OOPSLA \u201987, ACM, New York, NY, USA, pp 147\u2013155","DOI":"10.1145\/38765.38821"},{"key":"596_CR11","unstructured":"Shen J, Abraham JA (1998) Native mode functional test generation for processors with applications to self test and design validation. Proceedings of the International Test Conference, pp 990\u2013999"},{"key":"596_CR12","doi-asserted-by":"crossref","unstructured":"O\u2019Hearn P, Reynolds J, Yang H (2001) Local reasoning about programs that alter data structures. In: Fribourg L (ed) CSL 2001 and EACSL 2001. LNCS, vol 2142, pp 1\u201319","DOI":"10.1007\/3-540-44802-0_1"},{"key":"596_CR13","unstructured":"O\u2019Hearn PW (2004) Resources, concurrency and local reasoning. In: Theoretical Computer Science, Springer, pp 49\u201367"},{"key":"596_CR14","doi-asserted-by":"crossref","unstructured":"Cai H, Shao Z, Vaynberg A (2007) Certified self-modifying code. In: Proceedings of PLDI 2007, CA","DOI":"10.1145\/1250734.1250743"},{"key":"596_CR15","unstructured":"Hinchey MG, Rash JL, Rouff CA (2005) Requirements to design to code: Towards a fully formal approach to automatic code generation. Tech. Rep. NASA\/TM-2005-212774"},{"key":"596_CR16","unstructured":"Vassev EI (2008) Towards a framework for specification and code generation of automatic systems. PhD thesis, Montreal, PQ, Canada, Canada"},{"key":"596_CR17","unstructured":"Wang L (2004) Issues on software testing for safety-critical real-time automation systems. In: The 23rd Digital Avionics Systems Conference, DASC 04, vol. 2, pp. 2"},{"key":"596_CR18","doi-asserted-by":"crossref","unstructured":"Ren Z, Zhou G, Pyles A, Keally M, Mao W, Wang H (2011) Bodyt2: Throughput and time delay performance assurance for heterogeneous BSNs. In: 2011 Proceedings IEEE INFOCOM, pp 2750\u20132758","DOI":"10.1109\/INFCOM.2011.5935107"},{"key":"596_CR19","doi-asserted-by":"crossref","unstructured":"Wang Y, Wang X (2010) Power optimization with performance assurance for multi-tier applications in virtualized data centers. In: 39th International Conference on Parallel Processing Workshops (ICPPW), pp 512\u2013519","DOI":"10.1109\/ICPPW.2010.75"},{"key":"596_CR20","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1109\/TPDS.2011.88","volume":"23","author":"P Lama","year":"2012","unstructured":"Lama P, Zhou X (2012) Efficient server provisioning with control for end-to-end response time guarantee on multitier clusters. IEEE T Parall Distr 23:78\u201386","journal-title":"IEEE T Parall Distr"},{"key":"596_CR21","doi-asserted-by":"crossref","unstructured":"Dalal S, Ho Y-Y, Jain A, McIntosh A (2002) Application performance assurance using end-to-end user level monitoring. In: Proceedings of International Conference on Dependable Systems and Networks, DSN 2002, pp 694\u2013703","DOI":"10.1109\/DSN.2002.1029015"},{"key":"596_CR22","doi-asserted-by":"crossref","unstructured":"Stegh\u00f6fer J-P, Kiefhaber R, Leichtenstern K, Bernard Y, Klejnowski L, Reif W, Ungerer T, Andr\u00e9 E, H\u00e4hner J, M\u00fcller-Schloer C (2010) Trustworthy organic computing systems: Challenges and perspectives. In: Xie B, Branke J, Sadjadi S, Zhang D, Zhou X (eds) Autonomic and Trusted Computing, vol. 6407 of Lecture Notes in Computer Science, Springer, Berlin\/Heidelberg, pp 62\u201376","DOI":"10.1007\/978-3-642-16576-4_5"},{"key":"596_CR23","doi-asserted-by":"crossref","unstructured":"Landauer C (2011) Abstract infrastructure for real systems: Reflection and autonomy in real time. In: Second IEEE Workshop on Self-Organizing Real-Time Systems, Newport Beach, California, USA, March 2011","DOI":"10.1109\/ISORCW.2011.44"},{"key":"596_CR24","doi-asserted-by":"crossref","unstructured":"Bellman KL, Landauer C, Nelson PR (2010) Managing variable and cooperative time behavior. In: First IEEE Workshop on Self-Organizing Real-Time Systems, Carmona, Spain, May 2010","DOI":"10.1109\/ISORCW.2010.12"},{"issue":"1","key":"596_CR25","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1142\/S021879659600009X","volume":"1","author":"C Landauer","year":"1996","unstructured":"Landauer C, Bellman KL (1996) Knowledge-based integration infrastructure for complex systems. Int J Intell Control Syst 1(1):133\u2013153","journal-title":"Int J Intell Control Syst"},{"key":"596_CR26","doi-asserted-by":"crossref","unstructured":"Landauer C, Bellman KL (1996) Integration systems and interaction spaces. In Proceedings of FroCoS\u201996: The First International Workshop on Frontiers of Combining Systems, 26\u201329 March 1996, Munich, pp 161\u2013178","DOI":"10.1007\/978-94-009-0349-4_13"},{"key":"596_CR27","unstructured":"Landauer C, Bellman KL (1997) Model-based simulation design with wrappings. In Proceedings of OOS \u201997: Object Oriented Simulation Conference, Phoenix, pp 169\u2013174"},{"key":"596_CR28","unstructured":"Landauer C, Bellman KL (2011) How to build self-modeling systems (tutorial). In: Fifth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, Ann Arbor, Michigan, USA"},{"key":"596_CR29","unstructured":"Nguyen MH (2011) Implementation of a Self Organizing Real Time System Using the Wrappings Process. Master\u2019s thesis, California State Polytechnic University Pomona, Pomona, Californa, USA"},{"key":"596_CR30","unstructured":"Ogre3D http:\/\/www.ogre3d.org\/, last access January 2012"},{"key":"596_CR31","unstructured":"B. P. Library http:\/\/bulletphysics.org\/, last access January 2012"},{"key":"596_CR32","unstructured":"Blender http:\/\/www.blender.org\/, last access January 2012"},{"key":"596_CR33","unstructured":"OpenCV http:\/\/opencv.willowgarage.com\/wiki\/, last access January 2012"},{"key":"596_CR34","unstructured":"Yang C-CJ (2011) Terrain Prediction for Demonstration of the Wrappings Infrastructure in Self-Organizing Real-Time Systems. Master\u2019s thesis, California State Polytechnic University Pomona, Pomona, Californa, USA"}],"container-title":["Informatik-Spektrum"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00287-012-0596-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00287-012-0596-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00287-012-0596-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,29]],"date-time":"2021-12-29T14:16:22Z","timestamp":1640787382000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00287-012-0596-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,2,17]]},"references-count":34,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2012,4]]}},"alternative-id":["596"],"URL":"https:\/\/doi.org\/10.1007\/s00287-012-0596-5","relation":{},"ISSN":["0170-6012","1432-122X"],"issn-type":[{"value":"0170-6012","type":"print"},{"value":"1432-122X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,2,17]]}}}