{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T13:16:45Z","timestamp":1773926205436,"version":"3.50.1"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319662657","type":"print"},{"value":"9783319662664","type":"electronic"}],"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-66266-4_3","type":"book-chapter","created":{"date-parts":[[2017,8,15]],"date-time":"2017-08-15T22:33:31Z","timestamp":1502836411000},"page":"39-54","source":"Crossref","is-referenced-by-count":4,"title":["Arguing on Software-Level Verification Techniques Appropriateness"],"prefix":"10.1007","author":[{"given":"Carmen","family":"C\u00e2rlan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Barbara","family":"Gallina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Severin","family":"Kacianka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ruth","family":"Breu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,17]]},"reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/978-3-642-33678-2_26","volume-title":"Computer Safety, Reliability, and Security","author":"A Ayoub","year":"2012","unstructured":"Ayoub, A., Kim, B.G., Lee, I., Sokolsky, O.: A systematic approach to justifying sufficient confidence in software safety arguments. In: Ortmeier, F., Daniel, P. (eds.) SAFECOMP 2012. LNCS, vol. 7612, pp. 305\u2013316. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-33678-2_26"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Bennion, M., Habli, I.: A Candid industrial evaluation of formal software verification using model checking. In: Companion Proceedings of the 36th International Conference on Software Engineering, pp. 175\u2013184. ACM, New York (2014)","DOI":"10.1145\/2591062.2591184"},{"key":"3_CR3","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/978-1-84996-086-1_4","volume-title":"Making Systems Safer","author":"RE Bloomfield","year":"2010","unstructured":"Bloomfield, R.E., Bishop, P.G.: Safety and assurance cases: past, present and possible future - an Adelard perspective. In: Dale, C., Anderson, T. (eds.) Making Systems Safer, pp. 51\u201367. Springer, London (2010). doi: 10.1007\/978-1-84996-086-1_4"},{"key":"3_CR4","unstructured":"Bourdil, P.A., Dal Zilio, S., Jenn, E.: Integrating model checking in an industrial verification process: a structuring approach. Working Paper or Preprint (2016). https:\/\/hal.archives-ouvertes.fr\/hal-01341701"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"C\u00e2rlan, C., Beyene, T.A., Ruess, H.: Integrated formal methods for constructing assurance cases. In: Proceedings of International Symposium on Software Reliability Engineering Workshops, pp. 221\u2013228. IEEE (2016)","DOI":"10.1109\/ISSREW.2016.21"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/978-3-319-45480-1_3","volume-title":"Computer Safety, Reliability, and Security","author":"C C\u00e2rlan","year":"2016","unstructured":"C\u00e2rlan, C., Ratiu, D., Sch\u00e4tz, B.: On using results of code-level bounded model checking in assurance cases. In: Skavhaug, A., Guiochet, J., Schoitsch, E., Bitsch, F. (eds.) SAFECOMP 2016. LNCS, vol. 9923, pp. 30\u201342. Springer, Cham (2016). doi: 10.1007\/978-3-319-45480-1_3"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Denney, E., Pai, G.: Evidence arguments for using formal methods in software certification. In: Proceedings of International Symposium on Software Reliability Engineering Workshops, pp. 375\u2013380. IEEE (2013)","DOI":"10.1109\/ISSREW.2013.6688924"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Gallina, B.: A model-driven safety certification method for process compliance. In: Proceedings of International Symposium on Software Reliability Engineering Workshops, pp. 204\u2013209. IEEE (2014)","DOI":"10.1109\/ISSREW.2014.30"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Gallina, B., Andrews, A.: Deriving verification-related means of compliance for a model-based testing process. In: Proceedings of IEEE\/AIAA 35th Digital Avionics Systems Conference, pp. 1\u20136 (2016)","DOI":"10.1109\/DASC.2016.7778046"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/978-3-319-10557-4_28","volume-title":"Computer Safety, Reliability, and Security","author":"B Gallina","year":"2014","unstructured":"Gallina, B., Kashiyarandi, S., Zugsbratl, K., Geven, A.: Enabling cross-domain reuse of tool qualification certification artefacts. In: Bondavalli, A., Ceccarelli, A., Ortmeier, F. (eds.) SAFECOMP 2014. LNCS, vol. 8696, pp. 255\u2013266. Springer, Cham (2014). doi: 10.1007\/978-3-319-10557-4_28"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Gallina, B., Pitchai, K.R., Lundqvist, K.: S-TunExSPEM: Towards an extension of SPEM 2.0 to model and exchange tunable safety-oriented processes. In: Proceedings of the 11th International Conference on Software Engineering Research, Management and Applications. pp. 215\u2013230. Springer SCI (2014)","DOI":"10.1007\/978-3-319-00948-3_14"},{"key":"3_CR12","unstructured":"Garfinkel, S.: History\u2019s worst software bugs (2005). http:\/\/archive.wired.com\/software\/coolapps\/news\/2005\/11\/69355?currentPage=all"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Goodenough, J., Weinstock, C.B., Klein, A.Z.: Toward a theory of assurance case confidence. Technical report CMU\/SEI-2012-TR-002, Software Engineering Institute, Pittsburgh, PA, USA (2012)","DOI":"10.21236\/ADA609836"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Graydon, G., Knight, J.: Process synthesis in assurance-based development of dependable systems. In: Proceedings of 8th European Dependable Computing Conference, pp. 75\u201384. IEEE (2010)","DOI":"10.1109\/EDCC.2010.19"},{"issue":"4","key":"3_CR15","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/j.entcs.2009.09.004","volume":"238","author":"I Habli","year":"2009","unstructured":"Habli, I., Kelly, T.: A generic goal-based certification argument for the justification of formal analysis. Electron. Notes Theor. Comput. Sci. 238(4), 27\u201339 (2009)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Hawkins, R., Kelly, T.: A structured approach to selecting and justifying software safety evidence. In: Proceedings of 5th International Conference on System Safety, pp. 1\u20136. IET (2010)","DOI":"10.1049\/cp.2010.0825"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"H\u00f6ller, A., Kajtazovic, N., Rauter, T., R\u00f6mer, K., Kreiner, C.: Evaluation of diverse compiling for software-Fault Detection. In: Proceedings of the Design, Automation and Test in Europe Conference and Exhibition, pp. 531\u2013536. IEEE (2015)","DOI":"10.7873\/DATE.2015.0118"},{"key":"3_CR18","unstructured":"Holloway, C.M.: Explicate\u201978: uncovering the implicit assurance case in DO-178C. Technical report 20150009473, NASA Langley Research Center (2015)"},{"key":"3_CR19","unstructured":"Object Managment Group: Structured assurance case metamodel - SACM, version 2.0 Beta. Technical report (2016). http:\/\/www.omg.org\/spec\/SACM\/2.0\/Beta1\/PDF\/"},{"key":"3_CR20","unstructured":"Quigley, M., Gerkey, B., Conley, K., Faust, J., Foote, T., Leibs, J., Berger, E., Wheeler, R., Ng, A.: ROS: an open-source robot operating system. In: Proceedings of Open-Source Software Workshop International Conference on Robotics and Automation, vol. 3. IEEE (2009)"},{"key":"3_CR21","unstructured":"RTCA: DO-178C, software considerations in airborne systems and equipment certification. RTCA & EUROCAE (2011)"},{"key":"3_CR22","unstructured":"RTCA: DO-333 formal methods supplement to DO-178C and DO-278A. RTCA & EUROCAE (2011)"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"Shiraishi, S., Mohan, V., Marimuthu, H.: Test suites for benchmarks of static analysis tools. In: Proceedings of International Symposium on Software Reliability Engineering Workshops, pp. 12\u201315. IEEE (2015)","DOI":"10.1109\/ISSREW.2015.7392027"},{"key":"3_CR24","unstructured":"Weaver, R., McDermid, J., Kelly, T.: Software safety arguments: towards a systematic categorisation of evidence. In: Proceedings of the 20th International System Safety Conference. System Safety Society (2002)"},{"key":"3_CR25","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1016\/j.proeng.2011.10.060","volume":"17","author":"C Wei","year":"2011","unstructured":"Wei, C., Xiaohong, B., Tingdi, Z.: A study on compiler selection in safety-critical redundant system based on airworthiness requirement. Procedia Eng. 17, 497\u2013504 (2011)","journal-title":"Procedia Eng."}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66266-4_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T08:38:30Z","timestamp":1570005510000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66266-4_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319662657","9783319662664"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66266-4_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}