{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T10:19:30Z","timestamp":1760523570481},"reference-count":62,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.1109\/ase.2017.8115659","type":"proceedings-article","created":{"date-parts":[[2017,11,23]],"date-time":"2017-11-23T22:03:57Z","timestamp":1511474637000},"source":"Crossref","is-referenced-by-count":9,"title":["Diagnosing assumption problems in safety-critical products"],"prefix":"10.1109","author":[{"given":"Mona","family":"Rahimi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wandi","family":"Xiong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jane","family":"Cleland-Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robyn","family":"Lutz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","author":"leveson","year":"1995","journal-title":"Safeware System Safety and Computers"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/2976767.2976792"},{"key":"ref33","year":"1998","journal-title":"IEEE IEEE Recommended Practice for Software Requirements Specifications"},{"key":"ref32","author":"hull","year":"2010","journal-title":"Requirements Engineering"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/2560217.2560218"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2010.42"},{"key":"ref37","doi-asserted-by":"crossref","first-page":"547","DOI":"10.1109\/ICSE.2002.1007998","article-title":"Safety Critical Systems: Challenges and Directions","author":"john c knight","year":"2002","journal-title":"Proceedings of the 24th International Conference on Software Engineering ICSE 2002"},{"key":"ref36","author":"knight","year":"2011","journal-title":"Fundamentals of Dependable Computing for Software Engi-neers"},{"key":"ref35","author":"jackson","year":"2007","journal-title":"Software for Dependable Systems Sufficient Evidence? National Research Council"},{"key":"ref34","first-page":"1","year":"2011","journal-title":"ISO\/IEC\/IEEE International standard - systems and software engineering - life cycle processes -requirements engineering"},{"key":"ref60","author":"weiss","year":"1999","journal-title":"Software Product-Line Engineering A Family-Based Software Development Process"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1145\/237432.237434"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-43839-8"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/2593882.2593895"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13556-9_9"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.3"},{"key":"ref2","article-title":"Report on the loss of the Mars Polar Lander and Deep Space 2 missions (Casani Report)","year":"2000","journal-title":"Jet Propulsion Laboratory"},{"key":"ref1","year":"0","journal-title":"Center of Excellence for Software and Systems Traceability"},{"key":"ref20","article-title":"Mission-critical and safety-critical systems handbook: Design and development for embedded applications","author":"fowler","year":"2009","journal-title":"Newnes"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2017.65"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1002\/1097-024X(200009)30:11<1203::AID-SPE338>3.3.CO;2-E"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10506-2_10"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ICRE.1994.292398"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/2901739.2901740"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/1-4020-8153-7_11"},{"key":"ref50","year":"2013","journal-title":"Software Safety Standard"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-28901-1"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2016.11.031"},{"key":"ref58","author":"van lamsweerde","year":"2009","journal-title":"Requirements Engineering From System Goals to UML Models to Software Specifications"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/COUFLESS.2015.12"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2010.149"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1016\/0951-8320(94)90065-5"},{"key":"ref54","author":"rumsfeld","year":"2011","journal-title":"Known and Unknown A Memoir"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568290"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1145\/2889160.2889261"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809071"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1002\/smr.1705"},{"key":"ref40","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/8179.001.0001","author":"leveson","year":"2012","journal-title":"Engineering A Safer World Systems Thinking Applied to Safety"},{"key":"ref12","first-page":"203","article-title":"Problem-oriented feature interaction detection in software product lines","author":"classen","year":"2007","journal-title":"International Conference on Feature Interactions in software and Communication Systems ICFI"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28714-5_16"},{"key":"ref14","article-title":"Software Product Lines: Practices and Patterns","author":"clements","year":"2001","journal-title":"SEI Series in Software Engineering"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2553032"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-19216-1_30"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-006-5469-1"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-014-0160-4"},{"key":"ref19","article-title":"DOT\/FAA\/AR-08\/32","year":"2009","journal-title":"The Requirements Engineering Management Handbook Report"},{"key":"ref4","year":"2011","journal-title":"RTCA DO-178B Software Considerations in Airborne Systems and Equipment Certification"},{"key":"ref3","year":"2009","journal-title":"ECSS ECSS-E-40C principles and requirements applicable to space software engineering"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-45480-1_28"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.1041053"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2559978"},{"key":"ref7","year":"2007","journal-title":"Boston Scientific Pacemaker system specification"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2014.03.001"},{"key":"ref9","article-title":"A case study in successful product line management","author":"brownsword","year":"1996","journal-title":"Technical Report CMU\/SEI-96-TR-016"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018929719710"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-006-0039-4"},{"key":"ref48","article-title":"T. members of the Task Force on Safety Critical Software","year":"2016","journal-title":"2016 25 Licensing of safety critical software for nuclear reactors"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2013.60"},{"key":"ref42","article-title":"Assumptions management in software development. Technical Report CMU\/SEI-2004-TN-021","author":"lewis","year":"2004","journal-title":"Software Engineering Institute"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/1041685.1029897"},{"key":"ref44","first-page":"49","author":"lutz","year":"2013","journal-title":"Mining Requirements Knowledge from Operational Experience"},{"key":"ref43","author":"lions","year":"1996","journal-title":"ARIANE 5 flight 501 failure"}],"event":{"name":"2017 32nd IEEE\/ACM International Conference on Automated Software Engineering (ASE)","location":"Urbana, IL","start":{"date-parts":[[2017,10,30]]},"end":{"date-parts":[[2017,11,3]]}},"container-title":["2017 32nd IEEE\/ACM International Conference on Automated Software Engineering (ASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8106906\/8115603\/08115659.pdf?arnumber=8115659","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,6]],"date-time":"2019-10-06T18:32:00Z","timestamp":1570386720000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8115659\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10]]},"references-count":62,"URL":"https:\/\/doi.org\/10.1109\/ase.2017.8115659","relation":{},"subject":[],"published":{"date-parts":[[2017,10]]}}}