{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T18:24:11Z","timestamp":1725906251870},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319641188"},{"type":"electronic","value":"9783319641195"}],"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-64119-5_17","type":"book-chapter","created":{"date-parts":[[2017,8,1]],"date-time":"2017-08-01T09:05:09Z","timestamp":1501578309000},"page":"255-271","source":"Crossref","is-referenced-by-count":6,"title":["Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study"],"prefix":"10.1007","author":[{"given":"Benjamin","family":"Bittner","sequence":"first","affiliation":[]},{"given":"Marco","family":"Bozzano","sequence":"additional","affiliation":[]},{"given":"Alessandro","family":"Cimatti","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,8,2]]},"reference":[{"issue":"2","key":"17_CR1","doi-asserted-by":"crossref","first-page":"240","DOI":"10.1109\/TIM.2008.2005958","volume":"58","author":"S Abdelwahed","year":"2009","unstructured":"Abdelwahed, S., Karsai, G., Mahadevan, N., Ofsthun, S.: Practical implementation of diagnosis systems using timed failure propagation graph models. IEEE Trans. Instrum. Meas. 58(2), 240\u2013247 (2009)","journal-title":"IEEE Trans. Instrum. Meas."},{"key":"17_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1007\/978-3-662-49674-9_31","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"B Bittner","year":"2016","unstructured":"Bittner, B., Bozzano, M., Cavada, R., Cimatti, A., Gario, M., Griggio, A., Mattarei, C., Micheli, A., Zampedri, G.: The xSAP safety analysis platform. In: Chechik, M., Raskin, J.-F. (eds.) TACAS 2016. LNCS, vol. 9636, pp. 533\u2013539. Springer, Heidelberg (2016). doi: 10.1007\/978-3-662-49674-9_31"},{"key":"17_CR3","unstructured":"Bittner, B., Bozzano, M., Cimatti, A.: Automated synthesis of timed failure propagation graphs. In: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI 2016), pp. 972\u2013978 (2016)"},{"key":"17_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-319-12214-4_7","volume-title":"Model-Based Safety and Assessment","author":"B Bittner","year":"2014","unstructured":"Bittner, B., Bozzano, M., Cimatti, A., Ferluc, R., Gario, M., Guiotto, A., Yushtein, Y.: An integrated process for FDIR design in aerospace. In: Ortmeier, F., Rauzy, A. (eds.) IMBSA 2014. LNCS, vol. 8822, pp. 82\u201395. Springer, Cham (2014). doi: 10.1007\/978-3-319-12214-4_7"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Bittner, B., Bozzano, M., Cimatti, A., Zampedri, G.: Automated verification and tightening of failure propagation models. In: Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI 2016) (2016)","DOI":"10.1609\/aaai.v30i1.10094"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"Bozzano, M., Cimatti, A., Gario, M., Micheli, A.: SMT-based validation of timed failure propagation graphs. In: Twenty-Ninth AAAI Conference on Artificial Intelligence (2015)","DOI":"10.1609\/aaai.v29i1.9753"},{"key":"17_CR7","unstructured":"ECSS-Q-ST-30-02C: Space product assurance; failure modes, effects (and criticality) analysis (FMEA\/FMECA). Technical report (2009)"},{"key":"17_CR8","unstructured":"European Space Agency: Statement of Work: FDIR Development and Verification and Validation Process, Appendix to ESTEC ITT AO\/1-6992\/11\/NL\/JK (2011)"},{"key":"17_CR9","unstructured":"FAME: FAME project web page (2016). http:\/\/es.fbk.eu\/projects\/fame"},{"key":"17_CR10","volume-title":"The Basics of FMEA","author":"R McDermott","year":"1996","unstructured":"McDermott, R., Mikulak, R.J., Beauregard, M.: The Basics of FMEA. SteinerBooks, Great Barrington (1996)"},{"key":"17_CR11","unstructured":"Misra, A.: Senor-based diagnosis of dynamical systems. Ph.D. thesis, Vanderbilt University (1994)"},{"key":"17_CR12","unstructured":"Misra, A., Sztipanovits, J., Underbrink, A., Carnes, R., Purves, B.: Diagnosability of dynamical systems. In: Third International Workshop on Principles of Diagnosis (1992)"},{"issue":"1\u20132","key":"17_CR13","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/s11207-012-0085-7","volume":"285","author":"D M\u00fcller","year":"2013","unstructured":"M\u00fcller, D., Marsden, R.G., Cyr, O.S., Gilbert, H.R., et al.: Solar orbiter. Solar Phys. 285(1\u20132), 25\u201370 (2013)","journal-title":"Solar Phys."},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"Ofsthun, S.C., Abdelwahed, S.: Practical applications of timed failure propagation graphs for vehicle diagnosis. In: 2007 IEEE Autotestcon, pp. 250\u2013259. IEEE (2007)","DOI":"10.1109\/AUTEST.2007.4374226"},{"key":"17_CR15","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/j.cosrev.2015.03.001","volume":"15","author":"E Ruijters","year":"2015","unstructured":"Ruijters, E., Stoelinga, M.: Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools. Comput. Sci. Rev. 15, 29\u201362 (2015)","journal-title":"Comput. Sci. Rev."},{"key":"17_CR16","unstructured":"Vesely, W., Goldberg, F., Roberts, N., Haasl, D.: Fault Tree Handbook (NUREG-0492). Division of Systems and Reliability Research, Office of Nuclear Regulatory Research, US Nuclear Regulatory Commission, Washington, DC (1981)"}],"container-title":["Lecture Notes in Computer Science","Model-Based Safety and Assessment"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-64119-5_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,31]],"date-time":"2022-07-31T14:00:01Z","timestamp":1659276001000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-64119-5_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319641188","9783319641195"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-64119-5_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}