{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T20:28:10Z","timestamp":1767990490890,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662496732","type":"print"},{"value":"9783662496749","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-662-49674-9_31","type":"book-chapter","created":{"date-parts":[[2016,4,8]],"date-time":"2016-04-08T18:49:00Z","timestamp":1460141340000},"page":"533-539","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":50,"title":["The xSAP Safety Analysis Platform"],"prefix":"10.1007","author":[{"given":"Benjamin","family":"Bittner","sequence":"first","affiliation":[]},{"given":"Marco","family":"Bozzano","sequence":"additional","affiliation":[]},{"given":"Roberto","family":"Cavada","sequence":"additional","affiliation":[]},{"given":"Alessandro","family":"Cimatti","sequence":"additional","affiliation":[]},{"given":"Marco","family":"Gario","sequence":"additional","affiliation":[]},{"given":"Alberto","family":"Griggio","sequence":"additional","affiliation":[]},{"given":"Cristian","family":"Mattarei","sequence":"additional","affiliation":[]},{"given":"Andrea","family":"Micheli","sequence":"additional","affiliation":[]},{"given":"Gianni","family":"Zampedri","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,4,9]]},"reference":[{"key":"31_CR1","unstructured":"Joshi, A., Miller, S., Whalen, M., Heimdahl, M.: A proposal for model-based safety analysis. In: DASC. IEEE Computer Society (2005)"},{"key":"31_CR2","doi-asserted-by":"publisher","DOI":"10.1201\/b10094","volume-title":"Design and Safety Assessment of Critical Systems","author":"M Bozzano","year":"2010","unstructured":"Bozzano, M., Villafiorita, A.: Design and Safety Assessment of Critical Systems. CRC Press (Taylor and Francis), an Auerbach Book, Boca Raton (2010)"},{"issue":"5","key":"31_CR3","doi-asserted-by":"publisher","first-page":"754","DOI":"10.1093\/comjnl\/bxq024","volume":"54","author":"M Bozzano","year":"2011","unstructured":"Bozzano, M., Cimatti, A., Katoen, J.P., Nguyen, V., Noll, T., Roveri, M.: Safety, dependability and performance analysis of extended AADL models. Comp. J. 54(5), 754\u2013775 (2011)","journal-title":"Comp. J."},{"key":"31_CR4","unstructured":"SAE: ARP4761 Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment., December 1996"},{"key":"31_CR5","unstructured":"ECSS: European Cooperation on Space Standardization. http:\/\/www.ecss.nl"},{"key":"31_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"518","DOI":"10.1007\/978-3-319-21690-4_36","volume-title":"Computer Aided Verification","author":"M Bozzano","year":"2015","unstructured":"Bozzano, M., Cimatti, A., Fernandes Pires, A., Jones, D., Kimberly, G., Petri, T., Robinson, R., Tonetta, S.: Formal design and safety analysis of AIR6110 wheel brake system. In: Kroening, D., P\u0103s\u0103reanu, C.S. (eds.) CAV 2015. LNCS, vol. 9206, pp. 518\u2013535. Springer, Heidelberg (2015)"},{"issue":"1","key":"31_CR7","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/s10009-006-0001-2","volume":"9","author":"M Bozzano","year":"2007","unstructured":"Bozzano, M., Villafiorita, A.: The FSAP\/NuSMV-SA safety analysis platform. STTT 9(1), 5\u201324 (2007)","journal-title":"STTT"},{"key":"31_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-3-540-75596-8_13","volume-title":"Automated Technology for Verification and Analysis","author":"M Bozzano","year":"2007","unstructured":"Bozzano, M., Cimatti, A., Tapparo, F.: Symbolic fault tree analysis for reactive systems. In: Namjoshi, K.S., Yoneda, T., Higashino, T., Okamura, Y. (eds.) ATVA 2007. LNCS, vol. 4762, pp. 162\u2013176. Springer, Heidelberg (2007)"},{"key":"31_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"603","DOI":"10.1007\/978-3-319-21690-4_41","volume-title":"Computer Aided Verification","author":"M Bozzano","year":"2015","unstructured":"Bozzano, M., Cimatti, A., Griggio, A., Mattarei, C.: Efficient anytime techniques for model-based safety analysis. In: Kroening, D., P\u0103s\u0103reanu, C.S. (eds.) CAV 2015. LNCS, vol. 9206, pp. 603\u2013621. Springer, Heidelberg (2015)"},{"key":"31_CR10","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1016\/j.ress.2014.07.003","volume":"132","author":"M Bozzano","year":"2014","unstructured":"Bozzano, M., Cimatti, A., Katoen, J.P., Katsaros, P., Mokos, K., Nguyen, V., Noll, T., Postma, B., Roveri, M.: Spacecraf early design validation using formal methods. Reliab. Eng. Syst. Saf. 132, 20\u201335 (2014)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"31_CR11","doi-asserted-by":"crossref","unstructured":"Bittner, B., Bozzano, M., Cimatti, A., de Ferluc, R., Gario, M., Guiotto, A., Yushtein, Y.: An integrated process for FDIR design in aerospace. In: IMBSA (2014)","DOI":"10.1007\/978-3-319-12214-4_7"},{"key":"31_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/3-540-36080-8_3","volume-title":"Dependable Computing EDCC-4","author":"P Bieber","year":"2002","unstructured":"Bieber, P., Castel, C., Seguin, C.: Combination of fault tree analysis and model checking for safety assessment of complex system. In: Bondavalli, A., Th\u00e9venod-Fosse, P. (eds.) EDCC 2002. LNCS, vol. 2485, pp. 19\u201331. Springer, Heidelberg (2002)"},{"key":"31_CR13","doi-asserted-by":"crossref","unstructured":"Prosvirnova, T., Batteux, M., Brameret, P.A., Cherfi, A., Friedlhuber, T., Roussel, J.M., Rauzy, A.: The altarica 3.0 project for model-based safety assessment. In: DCDS (2013)","DOI":"10.3182\/20130904-3-UK-4041.00028"},{"issue":"4","key":"31_CR14","doi-asserted-by":"publisher","first-page":"464","DOI":"10.1016\/j.scico.2014.06.003","volume":"98","author":"M Bozzano","year":"2015","unstructured":"Bozzano, M., Cimatti, A., Lisagor, O., Mattarei, C., Mover, S., Roveri, M., Tonetta, S.: Safety assessment of altarica models via symbolic model checking. Sci. Comput. Program. 98(4), 464\u2013483 (2015)","journal-title":"Sci. Comput. Program."},{"key":"31_CR15","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1007\/978-0-85729-410-4_66","volume-title":"Probabilistic Safety Assessment and Management","author":"Johann Deneux","year":"2004","unstructured":"Deneux, J., \u00c5kerlund, O.: A common framework for design and safety analyses using formal methods. In: PSAM7\/ESREL (2004)"},{"key":"31_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/11563228_10","volume-title":"Computer Safety, Reliability, and Security","author":"A Joshi","year":"2005","unstructured":"Joshi, A., Heimdahl, M.P.E.: Model-based safety analysis of simulink models using SCADE design verifier. In: Winther, R., Gran, B.A., Dahll, G. (eds.) SAFECOMP 2005. LNCS, vol. 3688, pp. 122\u2013135. Springer, Heidelberg (2005)"},{"key":"31_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/11875567_21","volume-title":"Computer Safety, Reliability, and Security","author":"T Peikenkamp","year":"2006","unstructured":"Peikenkamp, T., Cavallo, A., Valacca, L., B\u00f6de, E., Pretzer, M., Hahn, E.M.: Towards a unified model-based safety assessment. In: G\u00f3rski, J. (ed.) SAFECOMP 2006. LNCS, vol. 4166, pp. 275\u2013288. Springer, Heidelberg (2006)"},{"key":"31_CR18","unstructured":"Vesely, W., Stamatelatos, M., Dugan, J., Fragola, J., Minarick III., J., Railsback, J.: Fault Tree Handbook with Aerospace Applications, NASA, Version 1.1. August 2002. http:\/\/www.hq.nasa.gov\/office\/codeq\/doctree\/fault_tree.htm"},{"key":"31_CR19","doi-asserted-by":"crossref","unstructured":"Manian, R., Dugan, J.B., Coppit, D., Sullivan, K.J.: Combining various solution techniques for dynamic fault tree analysis of computer systems. In: HASE, pp. 21\u201328, IEEE (1998)","DOI":"10.1109\/HASE.1998.731591"},{"key":"31_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/978-3-642-54862-8_22","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"M Bozzano","year":"2014","unstructured":"Bozzano, M., Cimatti, A., Gario, M., Tonetta, S.: Formal design of fault detection and identification components using temporal epistemic logic. In: \u00c1brah\u00e1m, E., Havelund, K. (eds.) TACAS 2014 (ETAPS). LNCS, vol. 8413, pp. 326\u2013340. Springer, Heidelberg (2014)"},{"key":"31_CR21","doi-asserted-by":"crossref","unstructured":"Bozzano, M., Cimatti, A., Gario, M., Micheli, A.: SMT-based validation of timed failure propagation graphs. In: AAAI (2015)","DOI":"10.1609\/aaai.v29i1.9753"},{"issue":"2","key":"31_CR22","doi-asserted-by":"publisher","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":"31_CR23","doi-asserted-by":"crossref","unstructured":"Mattarei, C., Cimatti, A., Gario, M., Tonetta, S., Rozier, K.: Comparing different functional allocations in automated air traffic control design. In: FMCAD, pp. 112\u2013119. IEEE (2015)","DOI":"10.1109\/FMCAD.2015.7542260"},{"key":"31_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/978-3-319-11936-6_7","volume-title":"Automated Technology for Verification and Analysis","author":"M Bozzano","year":"2014","unstructured":"Bozzano, M., Cimatti, A., Mattarei, C., Tonetta, S.: Formal safety assessment via contract-based design. In: Cassez, F., Raskin, J.-F. (eds.) ATVA 2014. LNCS, vol. 8837, pp. 81\u201397. Springer, Heidelberg (2014)"},{"key":"31_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/978-3-319-03077-7_19","volume-title":"Hardware and Software: Verification and Testing","author":"M Bozzano","year":"2013","unstructured":"Bozzano, M., Cimatti, A., Mattarei, C.: Efficient analysis of reliability architectures via predicate abstraction. In: Bertacco, V., Legay, A. (eds.) HVC 2013. LNCS, vol. 8244, pp. 279\u2013294. Springer, Heidelberg (2013)"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-49674-9_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,2]],"date-time":"2025-06-02T08:27:58Z","timestamp":1748852878000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-49674-9_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662496732","9783662496749"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-49674-9_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"9 April 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}