{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T03:44:16Z","timestamp":1773114256073,"version":"3.50.1"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2006,10,31]],"date-time":"2006-10-31T00:00:00Z","timestamp":1162252800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Requirements Eng"],"published-print":{"date-parts":[[2006,11,3]]},"DOI":"10.1007\/s00766-006-0039-4","type":"journal-article","created":{"date-parts":[[2006,10,30]],"date-time":"2006-10-30T06:49:12Z","timestamp":1162190952000},"page":"41-54","source":"Crossref","is-referenced-by-count":32,"title":["Using obstacle analysis to identify contingency requirements on an unpiloted aerial vehicle"],"prefix":"10.1007","volume":"12","author":[{"given":"Robyn","family":"Lutz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ann","family":"Patterson-Hine","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stacy","family":"Nelson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chad R.","family":"Frost","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Doron","family":"Tal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Harris","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,10,31]]},"reference":[{"key":"39_CR1","unstructured":"Parnas DL, Wurges H (2001) Response to undesired events in software systems. In: Hoffmann DM, Weiss DM (eds) Software fundamentals, collected papers by David L. Parnas, Addison-Wesley, Reading, pp 231\u2013246"},{"key":"39_CR2","unstructured":"Dearden R et al (2002) Contingency planning for planetary rovers. In: Proceedings of the 3rd Int\u2019l NASA workshop planning and scheduling for space, Houston"},{"key":"39_CR3","doi-asserted-by":"crossref","unstructured":"Johnson T, Sutherland H, Bush S (2001) The TRAC mission manager autonomous control executive. In: Proceedings of the IEEE aerospace conference, Big Sky, MT, USA","DOI":"10.1109\/AERO.2001.931243"},{"issue":"10","key":"39_CR4","first-page":"978","volume":"26","author":"A van Lamsweerde","year":"2000","unstructured":"van Lamsweerde A, Letier E (2000) Handling obstacles in goal-oriented requirements engineering. IEEE TSE 26(10):978\u20131005","journal-title":"IEEE TSE"},{"key":"39_CR5","unstructured":"Whalley M, Freed M, Takahashi M, Christian D, Patterson-Hine A, Schulein G, Harris R (2003) The NASA\/Army autonomous rotorcraft project. In: Proceedings place of American helicopter society 59th annual forum, Phoenix, AZ, USA"},{"key":"39_CR6","doi-asserted-by":"crossref","unstructured":"Letier E, van Lamsweerde A (2002) Agent-based tactics for goal-oriented requirements elaboration. In: Proceedings of the 24th ICSE. ACM Press, New York, pp 83\u201393","DOI":"10.1145\/581352.581353"},{"key":"39_CR7","unstructured":"Letier E, van Lamsweerde A (2002) High assurance requires goal orientation. In: Proceedings of the international workshop requirements for high assurance system, Essen, Germany"},{"issue":"I","key":"39_CR8","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1109\/32.663994","volume":"24","author":"S Easterbrook","year":"1998","unstructured":"Easterbrook S, Lutz R, Covington R, Kelly J, Ampo A, Hamilton D (1998) Experiences using lightweight methods for requirements modeling. IEEE Trans Softw Eng 24(I):4\u201314","journal-title":"IEEE Trans Softw Eng"},{"key":"39_CR9","doi-asserted-by":"crossref","first-page":"459","DOI":"10.1023\/A:1018929719710","volume":"3","author":"R Lutz","year":"1997","unstructured":"Lutz R, Woodhouse R (1997) Requirements analysis using forward and backward search. Ann Softw Eng 3:459\u2013475","journal-title":"Ann Softw Eng"},{"key":"39_CR10","unstructured":"Lutz R, Shaw H-Y (1999) Applying adaptive safety analysis techniques. In: Proceedings of the 10th international symposium software reliability Eng (ISSRE\u201999), Boca Raton, FL, USA"},{"key":"39_CR11","unstructured":"Patterson-Hine A, Hindson W, Sanderfer D, Deb S, Domagala C (2001) A model-based health monitoring and diagnostic system for the UH-60 Helicopter. In: Proceedings of the American helicopter society 57th annual forum. AHS, Washington"},{"key":"39_CR12","doi-asserted-by":"crossref","unstructured":"Van Lamsweerde A (2004) Goal-oriented requirements engineering: a roundtrip from research to practice. In: Proceedings of the 12th IEEE international requirements engineering conference, Kyoto, Japan","DOI":"10.1109\/ICRE.2004.1335648"},{"key":"39_CR13","unstructured":"Doerr J (2002) Requirements engineering for product lines. Diploma thesis, University of Kaiserslautern"},{"key":"39_CR14","doi-asserted-by":"crossref","unstructured":"Mylopoulos J, Chung L, Yu E (1999) From object-oriented to goal-oriented requirements analysis, CACM 31\u201337","DOI":"10.1145\/291469.293165"},{"key":"39_CR15","doi-asserted-by":"crossref","unstructured":"Anton A, Potts C (1998) The use of goals to surface requirements for evolving systems. In: Proceedings of the 20th ICSE, Computer Society, Silver Spring, pp 157\u2013166","DOI":"10.1109\/ICSE.1998.671112"},{"key":"39_CR16","unstructured":"Carter A, Anton A, Dagnino A, Williams L (2001) Evolving beyond requirements creep: a risk-based evolutionary prototyping model. In: Proceedings of ISRE, Toronto, Canada, pp 94\u2013101"},{"issue":"9","key":"39_CR17","doi-asserted-by":"crossref","first-page":"796","DOI":"10.1109\/TSE.2003.1232285","volume":"29","author":"J Cleland-Huang","year":"2003","unstructured":"Cleland-Huang J, Chang C, Christensen M (2003) Event-based traceability for managing evolutionary change. IEEE Trans Softw Eng 29(9):796\u2013810","journal-title":"IEEE Trans Softw Eng"},{"key":"39_CR18","first-page":"75","volume-title":"Finkelstein AF (ed) The future of software engineering","author":"K Bennett","year":"2000","unstructured":"Bennett K, Rajlich V (2000) Software maintenance and evolution: a roadmap. In: Finkelstein AF (ed) The future of software engineering. ACM Press, New York, pp 75\u201387"},{"key":"39_CR19","doi-asserted-by":"crossref","unstructured":"Lehman MM, Ramil JF (2001) Rules and tools for software evolution planning and management. Ann Softw Eng 11:15\u201344","DOI":"10.1023\/A:1012535017876"},{"key":"39_CR20","unstructured":"Feather M, Fickas S (1995) Requirements monitoring in dynamic environments. In: Proceedings of the ICRE, York, UK, pp 140\u2013147"},{"key":"39_CR21","unstructured":"Heninger K (2001) Specifying software requirements for complex systems: new techniques and their application. In: Hoffmann DM, Weiss DM (eds) Software fundamentals, collected papers by David L. Parnas. Addison-Wesley, Reading, pp 111\u2013135"},{"key":"39_CR22","unstructured":"Berry DM, Cheng BHC, Zhang J (2005) The four levels of requirements engineering for and in dynamic adaptive systems. In: Proceedings of the workshop on the design and evolution of autonomic application software, St Louis, MO, USA"},{"key":"39_CR23","doi-asserted-by":"crossref","unstructured":"Hui B, Liaskos S, Mylopoulos J (2003) Requirements analysis for customizable software goals-skills-preferences framework. In: Proceedings of the 11th IEEE international requirements engineering conference (RE\u201903), Monterey Bay, CA, USA, pp 117\u2013126","DOI":"10.1109\/ICRE.2003.1232743"},{"key":"39_CR24","unstructured":"deLemos R (2000) Safety analysis of an evolving software architecture. In: Proceedings of the 5th IEEE International symposium high assurance systems, Computer Society, Silver Spring, pp 159\u2013167"},{"issue":"2","key":"39_CR25","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/S0164-1212(02)00057-2","volume":"65","author":"R Lutz","year":"2003","unstructured":"Lutz R, Mikulski I (2003) Operational anomalies as a cause of safety-critical requirements evolution. J Syst Softw 65(2):155\u2013161","journal-title":"J Syst Softw"},{"issue":"3","key":"39_CR26","first-page":"172","volume":"30","author":"R Lutz","year":"2004","unstructured":"Lutz R, Mikulski I (2004) Empirical analysis of safety-critical anomalies during operations. IEEE TSE 30(3):172\u2013180","journal-title":"IEEE TSE"},{"issue":"2\u20133","key":"39_CR27","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1023\/B:FORM.0000040027.28662.a4","volume":"25","author":"G Brat","year":"2004","unstructured":"Brat G, Drusinsky D, Giannakopoulou D, Goldberg A, Havelund K, Lowry M, Pasareanu C, Venet A, Visser W, Washington R (2004) Experimental evaluation of verification and validation tools on Martian rover software. Formal Methods Sys Design 25(2\u20133):167\u2013198","journal-title":"Formal Methods Sys Design"},{"key":"39_CR28","doi-asserted-by":"crossref","unstructured":"Chien S et al (2001) Onboard autonomy on the three corner sat mission. In: Proceedings of the international symposium AI, robotics, and automation for space. IEEE, Montreal","DOI":"10.2514\/6.2002-T3-39"},{"key":"39_CR29","unstructured":"Verma V, Langford J, Simmons R (2001) Non-parametric fault identification for space rovers. In: Proceedings of the international symposium AI and robotics in space, Montreal, Quebec, Canada"},{"key":"39_CR30","unstructured":"Fox J, Das S (2000) Safe and sound, artificial intelligence in hazardous applications. AAAI Press, Menlo Park"},{"key":"39_CR31","unstructured":"Schreckenghost D, Malin J, Thronesbery C, Watts G, Fleming L (2001) Adjustable control autonomy for anomaly response in space-based life support systems. In: IJCAI-01 workshop autonomy, delegation and control: interacting with autonomous agents, Seattle, Washington, USA"},{"key":"39_CR32","unstructured":"Software product assurance for autonomy on-board spacecraft, European space agency ESTEC. ftp.estec.esa.nl\/pub\/tos-qq\/qqs\/SPAAS\/StudyOutputs"},{"key":"39_CR33","unstructured":"Qualtech Systems Inc, http:\/\/www.teamqsi.com"},{"key":"39_CR34","doi-asserted-by":"crossref","unstructured":"Lutz R, Patterson-Hine A, Bajwa A (2006) Tool-supported verification of contingency software design in evolving, autonomous systems. In: Proceedings of the 17th IEEE international symposium software reliability engineering (ISSRE\u201906), Raleigh, NC, USA","DOI":"10.1109\/ISSRE.2006.48"},{"key":"39_CR35","doi-asserted-by":"crossref","unstructured":"Dixon RW, Hill T, Williams KA, Kahle W, Patterson-Hine A, Hayden S (2003) Demonstration of an SLI vehicle health management system with in-flight and ground-based subsystem interfaces. In: Proceedings of the IEEE aerospace conference, Big Sky","DOI":"10.1109\/AERO.2003.1235500"}],"container-title":["Requirements Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00766-006-0039-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00766-006-0039-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00766-006-0039-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T05:59:26Z","timestamp":1559109566000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00766-006-0039-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,10,31]]},"references-count":35,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2006,11,3]]}},"alternative-id":["39"],"URL":"https:\/\/doi.org\/10.1007\/s00766-006-0039-4","relation":{},"ISSN":["0947-3602","1432-010X"],"issn-type":[{"value":"0947-3602","type":"print"},{"value":"1432-010X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,10,31]]}}}