{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T20:27:06Z","timestamp":1742934426766,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319246468"},{"type":"electronic","value":"9783319246475"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","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":[[2015]]},"DOI":"10.1007\/978-3-319-24647-5_6","type":"book-chapter","created":{"date-parts":[[2015,9,21]],"date-time":"2015-09-21T16:12:14Z","timestamp":1442851934000},"page":"63-71","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["A Tool Suite for Assurance Cases and Evidences: Avionics Experiences"],"prefix":"10.1007","author":[{"given":"Alejandra","family":"Ruiz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xabier","family":"Larrucea","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huascar","family":"Espinoza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,9,22]]},"reference":[{"key":"6_CR1","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/j.ssci.2013.04.007","volume":"59","author":"R Hawkins","year":"2013","unstructured":"Hawkins, R., Habli, I., Kelly, T., McDermid, J.: Assurance cases and prescriptive software safety certification: A comparative study. Saf. Sci. 59, 55\u201371 (2013)","journal-title":"Saf. Sci."},{"issue":"1","key":"6_CR2","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/j.ress.2011.09.007","volume":"98","author":"I Dodd","year":"2012","unstructured":"Dodd, I., Habli, I.: Safety certification of airborne software: An empirical study. Reliab. Eng. Syst. Saf. 98(1), 7\u201323 (2012)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Wilson, A., Preyssler, T.: Incremental certification and integrated modular avionics. In: 2008 IEEE\/AIAA 27th Digital Avionics Systems Conference, pp. 1.E.3\u20131\u20131.E.3\u20138 (November 2008)","DOI":"10.1109\/DASC.2008.4702768"},{"issue":"3","key":"6_CR4","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1016\/j.ssci.2010.11.009","volume":"49","author":"MN Vinodkumar","year":"2011","unstructured":"Vinodkumar, M.N., Bhasi, M.: A study on the impact of management system certification on safety management. Saf. Sci. 49(3), 498\u2013507 (2011)","journal-title":"Saf. Sci."},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Baumgart, S., Froberg, J., Punnekkat, S.: Towards efficient functional safety certification of construction machinery using a component-based approach. In: 2012 Third International Workshop on Product LinE Approaches in Software Engineering (PLEASE), pp. 1\u20134 (2012)","DOI":"10.1109\/PLEASE.2012.6229763"},{"key":"6_CR6","unstructured":"Defence Standard 00-56, Safety Management Requirements for Defence Systems, Issue 4, Part 1: Requirements, Ministry of Defence, Glasgow, UK (2007)"},{"key":"6_CR7","unstructured":"OMG, Structured Assurance Case Metamodel, (SACM) (2013)"},{"issue":"3","key":"6_CR8","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/MS.2013.55","volume":"30","author":"X Larrucea","year":"2013","unstructured":"Larrucea, X., Combelles, A., Favaro, J.: Safety-Critical Software [Guest editors\u2019 introduction]. IEEE Softw. 30(3), 25\u201327 (2013)","journal-title":"IEEE Softw."},{"issue":"4","key":"6_CR9","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/j.entcs.2009.09.003","volume":"238","author":"N Basir","year":"2009","unstructured":"Basir, N., Denney, E., Fischer, B.: Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code. Electron. Notes Theor. Comput. Sci. 238(4), 19\u201326 (2009)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"6_CR10","unstructured":"Goal Structuring Notation Working Group, GSN Community Standard (November 2011). Retrieved from \n                    http:\/\/www.goalstructuringnotation.info"},{"key":"6_CR11","unstructured":"Adelard, L.: (n.d.). Claims, Arguments and Evidence. Retrieved from \n                    http:\/\/www.adelard.com\/asce\/choosing-asce\/cae.html"},{"key":"6_CR12","unstructured":"OPENCOSS project, D6.2_Detailed requirements for evidence management of the OPENCOSS platform_final (November 2012)"},{"key":"6_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1007\/978-3-642-33675-1_2","volume-title":"Computer Safety, Reliability, and Security","author":"E Denney","year":"2012","unstructured":"Denney, E., Pai, G., Pohl, J.: AdvoCATE: an assurance case automation toolset. In: Ortmeier, F., Daniel, P. (eds.) SAFECOMP Workshops 2012. LNCS, vol. 7613, pp. 8\u201321. Springer, Heidelberg (2012)"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Matsuno, Y., Takamura, H., Ishikawa, Y.: A dependability case editor with pattern library. In: HASE, pp. 170\u2013171 (2010)","DOI":"10.1109\/HASE.2010.26"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/11538097_2","volume-title":"Model Driven Architecture","author":"X Blanc","year":"2005","unstructured":"Blanc, X., Gervais, M.-P., Sriplakich, P.: Model Bus: Towards the Interoperability of Modelling Tools. In: A\u00dfmann, U., Ak\u015fit, M., Rensink, A. (eds.) MDAFA 2003. LNCS, vol. 3599, pp. 17\u201332. Springer, Heidelberg (2005)"},{"key":"6_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/978-3-642-33675-1_39","volume-title":"Computer Safety, Reliability, and Security","author":"J G\u00f3rski","year":"2012","unstructured":"G\u00f3rski, J., Jarz\u0119bowicz, A., Miler, J., Witkowicz, M., Czy\u017cnikiewicz, J., Jar, P.: Supporting assurance by evidence-based argument services. In: Ortmeier, F., Daniel, P. (eds.) SAFECOMP Workshops 2012. LNCS, vol. 7613, pp. 417\u2013426. Springer, Heidelberg (2012)"},{"key":"6_CR17","unstructured":"RTCA DO-178\/EUROCAE ED-12, Software Considerations in Airborne System and Equipment Certification"},{"key":"6_CR18","unstructured":"SAE ARP4754\/EUROCAE ED-79, Certification Considerations for Highly Integrated or Complex Aircraft Systems"},{"key":"6_CR19","unstructured":"RTCA DO-297\/EUROCAE ED-124 Integrated Modular Avionics (IMA) Development Guidance and Certification Considerations"}],"container-title":["Communications in Computer and Information Science","Systems, Software and Services Process Improvement"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24647-5_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T20:59:07Z","timestamp":1559249947000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24647-5_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319246468","9783319246475"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24647-5_6","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"22 September 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}