{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T11:15:50Z","timestamp":1725880550659},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319539454"},{"type":"electronic","value":"9783319539461"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-53946-1_3","type":"book-chapter","created":{"date-parts":[[2017,2,15]],"date-time":"2017-02-15T12:42:51Z","timestamp":1487162571000},"page":"39-54","source":"Crossref","is-referenced-by-count":0,"title":["Automating Time Series Safety Analysis for Automotive Control Systems in STPA Using Weighted Partial Max-SMT"],"prefix":"10.1007","author":[{"given":"Shuichi","family":"Sato","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shogo","family":"Hattori","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hiroyuki","family":"Seki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yutaka","family":"Inamori","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shoji","family":"Yuen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,2,16]]},"reference":[{"key":"3_CR1","volume-title":"Engineering a Safer World: Systems Thinking Applied to Safety","author":"NG Leveson","year":"2011","unstructured":"Leveson, N.G.: Engineering a Safer World: Systems Thinking Applied to Safety. MIT Press, Cambridge (2011)"},{"key":"3_CR2","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1109\/TDSC.2004.1","volume":"1","author":"NG Leveson","year":"2004","unstructured":"Leveson, N.G.: A systems-theoretic approach to safety in software intensive systems. IEEE Trans. Dependable Secure Comput. 1, 66\u201386 (2004)","journal-title":"IEEE Trans. Dependable Secure Comput."},{"key":"3_CR3","unstructured":"Sotomayor, R.: Comparing STPA and FMEA on an automotive electric power steering system. In: STAMP Workshop, Boston (2015)"},{"key":"3_CR4","unstructured":"Balgos, Y.: A systems theoretic application to design for the safety of medical diagnostic devices. Master Dissertation, Boston (2012)"},{"key":"3_CR5","unstructured":"Ericson, C.: Fault tree analysis - a history. In: Proceedings of the International System Safety Conference (1999)"},{"key":"3_CR6","unstructured":"Procedure for Performing a Failure Mode Effect and Criticality Analysis. In: United States Military Procedure, MIL-P-1629 (1949)"},{"key":"3_CR7","first-page":"125","volume":"2","author":"JE Troyan","year":"1968","unstructured":"Troyan, J.E., Vine, L.Y.L.: HAZOP. Loss Prev. 2, 125 (1968)","journal-title":"Loss Prev."},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Owens, B., Herring, M., Dulac, N., Leveson, N., Ingham, M., Weiss, K.: Application of a safety-driven design methodology to an outer planet exploration mission. In: IEEE Aerospace Conference, pp. 1\u201324. Big Sky, USA (2008)","DOI":"10.1109\/AERO.2008.4526677"},{"key":"3_CR9","unstructured":"Dong, A.: Applicaton of CAST and STPA to railroad safety in China. Master\u2019s thesis, Massachusetts Institute of Technology (2012)"},{"key":"3_CR10","unstructured":"Thomas, J., Ang, Y.H., Chung, K., Gao, O.Q.: STPA analysis of intravenous patient-controlled analgesia. In: STAMP Workshop (2016)"},{"key":"3_CR11","unstructured":"Hommes, Q.V.E.: Safety analysis approaches for automotive electronic control systems. In: Society of Automotive Engineers\u2019 Meeting (2015)"},{"key":"3_CR12","unstructured":"Abdulkhaleq, A., Wagner, S.: Experiences with applying STPA to software-intensive systems in the automotive domain. In: STAMP Workshop, Boston (2013). http:\/\/www.iste.unistuttgart.de\/fileadmin\/user_upload\/iste\/se\/publ\/Application_of_STPA_to_Automative_Domain.pdf"},{"issue":"6","key":"3_CR13","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1145\/1993316.1993550","volume":"46","author":"M Jose","year":"2011","unstructured":"Jose, M., Majumdar, R.: Cause clue clauses: error localization using maximum satisfiability. ACM SIGPLAN Not. 46(6), 437\u2013446 (2011)","journal-title":"ACM SIGPLAN Not."},{"key":"3_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/978-3-540-24730-2_15","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"E Clarke","year":"2004","unstructured":"Clarke, E., Kroening, D., Lerda, F.: A tool for checking ANSI-C programs. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol. 2988, pp. 168\u2013176. Springer, Heidelberg (2004). doi: 10.1007\/978-3-540-24730-2_15"},{"key":"3_CR15","unstructured":"Dutertre, B., Moura, L.D.: The YICES SMT solver. http:\/\/yices.csl.sri.com\/"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Thomas, J., Suo, D.: STPA-based method to identify and control feature interactions in large complex systems. In: Proceedings of the 3rd European STAMP, Amsterdam (2015)","DOI":"10.1016\/j.proeng.2015.11.499"},{"key":"3_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/978-3-319-11737-9_17","volume-title":"Formal Methods and Software Engineering","author":"S-M Lamraoui","year":"2014","unstructured":"Lamraoui, S.-M., Nakajima, S.: A formula-based approach for automatic fault localization of imperative programs. In: Merz, S., Pang, J. (eds.) ICFEM 2014. LNCS, vol. 8829, pp. 251\u2013266. Springer, Heidelberg (2014). doi: 10.1007\/978-3-319-11737-9_17"},{"key":"3_CR18","unstructured":"Hattori, S., Yuen, S., Seki, H., Sato, S.: Automated hazard analysis with pMAX-SMT for automobile systems. In: Pre-proceedings of the International Workshop on Automated Verification of Critical Systems, Edinburgh (2015)"}],"container-title":["Communications in Computer and Information Science","Formal Techniques for Safety-Critical Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-53946-1_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T10:36:28Z","timestamp":1498386988000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-53946-1_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319539454","9783319539461"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-53946-1_3","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2017]]}}}