{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,17]],"date-time":"2026-09-17T19:08:08Z","timestamp":1789672088328,"version":"4.0.1"},"publisher-location":"Cham","reference-count":44,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030494346","type":"print"},{"value":"9783030494353","type":"electronic"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-49435-3_26","type":"book-chapter","created":{"date-parts":[[2020,6,2]],"date-time":"2020-06-02T20:11:27Z","timestamp":1591128687000},"page":"417-432","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Patterns for Certification Standards"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7654-0332","authenticated-orcid":false,"given":"Kevin","family":"Delmas","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7265-1839","authenticated-orcid":false,"given":"Claire","family":"Pagetti","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thomas","family":"Polacsek","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2020,6,3]]},"reference":[{"issue":"4","key":"26_CR1","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1007\/s00766-018-0294-1","volume":"24","author":"O Akhigbe","year":"2018","unstructured":"Akhigbe, O., Amyot, D., Richards, G.: A systematic literature mapping of goal and non-goal modelling methods for legal and regulatory compliance. Requirements Eng. 24(4), 459\u2013481 (2018). https:\/\/doi.org\/10.1007\/s00766-018-0294-1","journal-title":"Requirements Eng."},{"key":"26_CR2","volume-title":"A Pattern Language: Towns, Buildings Construction","author":"C Alexander","year":"1977","unstructured":"Alexander, C., Ishikawa, S., Silverstein, M.: A Pattern Language: Towns, Buildings Construction. Oxford University Press, Oxford (1977)"},{"key":"26_CR3","unstructured":"Alexander, R., Hawkins, R., Kelly, T.: Security assurance cases: motivation and the state of the art (2011)"},{"issue":"1","key":"26_CR4","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A Avizienis","year":"2004","unstructured":"Avizienis, A., Laprie, J., Randell, B., Landwehr, C.E.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Sec. Comput. 1(1), 11\u201333 (2004)","journal-title":"IEEE Trans. Dependable Sec. Comput."},{"key":"26_CR5","unstructured":"Bieber, P., et al.: MIMOSA: towards a model driven certification process. In: Proceedings of European Congress Embedded Real Time Software And Systems (2016)"},{"key":"26_CR6","unstructured":"Certification Authorities Software Team: Multi-core Processors - Position Paper. Technical report CAST 32-A, Federal Aviation Administration (2016)"},{"key":"26_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-319-91563-0_5","volume-title":"Advanced Information Systems Engineering","author":"C Duffau","year":"2018","unstructured":"Duffau, C., Polacsek, T., Blay-Fornarino, M.: Support of justification elicitation: two industrial reports. In: Krogstie, J., Reijers, H.A. (eds.) CAiSE 2018. LNCS, vol. 10816, pp. 71\u201386. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-91563-0_5"},{"key":"26_CR8","doi-asserted-by":"crossref","unstructured":"Emmet, L., Cleland, G.: Graphical notations, narratives and persuasion: a pliant systems approach to hypertext tool design. In: Proceedings of Hypertext and Hypermedia, HYPERTEXT 2002 (2002)","DOI":"10.1145\/513352.513354"},{"issue":"1","key":"26_CR9","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1037\/a0032234","volume":"143","author":"M Fisher","year":"2014","unstructured":"Fisher, M., Keil, F.C.: The illusion of argument justification. J. Exumlperimental Psychol. Gen. 143(1), 425 (2014)","journal-title":"J. Exumlperimental Psychol. Gen."},{"key":"26_CR10","volume-title":"Design Patterns: Elements of Reusable Object-oriented Software","author":"E Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-oriented Software. Addison-Wesley Longman Publishing, Boston (1995)"},{"issue":"3","key":"26_CR11","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1111\/j.1467-9337.2006.00331.x","volume":"19","author":"DM Godden","year":"2006","unstructured":"Godden, D.M., Walton, D.: Argument from expert opinion as legal evidence: critical questions and admissibility criteria of expert testimony in the American legal system. Ratio Juris 19(3), 261\u2013286 (2006)","journal-title":"Ratio Juris"},{"key":"26_CR12","unstructured":"Haddon-Cave, C.: The Nimrod Review: an independent review into the broader issues surrounding the loss of the RAF Nimrod MR2 aircraft XV230 in Afghanistan in 2006, report, vol. 1025. Derecho International (2009)"},{"key":"26_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-85729-133-2_1","volume-title":"Advances in Systems Safety","author":"R Hawkins","year":"2011","unstructured":"Hawkins, R., Kelly, T., Knight, J., Graydon, P.: A new approach to creating clear safety arguments. In: Dale, C., Anderson, T. (eds.) Advances in Systems Safety. Springer, London (2011). https:\/\/doi.org\/10.1007\/978-0-85729-133-2_1"},{"key":"26_CR14","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1016\/j.datak.2012.12.004","volume":"87","author":"S Ingolfo","year":"2013","unstructured":"Ingolfo, S., Siena, A., Mylopoulos, J., Susi, A., Perini, A.: Arguing regulatory compliance of software requirements. Data Knowl. Eng. 87, 279\u2013296 (2013)","journal-title":"Data Knowl. Eng."},{"key":"26_CR15","doi-asserted-by":"crossref","unstructured":"Ishikawa, F., Inoue, R., Honiden, S.: Modeling, analyzing and weaving legal interpretations in goal-oriented requirements engineering. In: Proceedings of International Workshop on Requirements Engineering and Law (2009)","DOI":"10.1109\/RELAW.2009.8"},{"key":"26_CR16","volume-title":"Logical Self-Defense (Key Titles in Rhetoric, Argumentation, and Debate Series)","author":"RH Johnson","year":"2006","unstructured":"Johnson, R.H., Blair, J.A.: Logical Self-Defense (Key Titles in Rhetoric, Argumentation, and Debate Series), 1st edn. International Debate Education Association, Brussels (2006)","edition":"1"},{"key":"26_CR17","doi-asserted-by":"crossref","unstructured":"Jureta, I., Mylopoulos, J., Faulkner, S.: Analysis of multi-party agreement in requirements validation. In: Proceedings of International Requirements Engineering Conference - RE 2009 (2009)","DOI":"10.1109\/RE.2009.8"},{"key":"26_CR18","unstructured":"Kelly, T., Weaver, R.: The goal structuring notation - a safety argument notation. In: DNS 2004 Workshop on Assurance Cases (2004)"},{"key":"26_CR19","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0997-6_5","volume-title":"Safe Comp 97","author":"TP Kelly","year":"1997","unstructured":"Kelly, T.P., McDermid, J.A.: Safety case construction and reuse using patterns. In: Daniel, P. (ed.) Safe Comp 97. Springer, London (1997). https:\/\/doi.org\/10.1007\/978-1-4471-0997-6_5"},{"key":"26_CR20","volume-title":"Hazop & Hazan - Identifying and Assessing Process Industry Hazards","author":"T Kletz","year":"1999","unstructured":"Kletz, T.: Hazop & Hazan - Identifying and Assessing Process Industry Hazards. Institution of Chemical Engineers, New York (1999)"},{"key":"26_CR21","unstructured":"Knight, J.: Advances in software technology since 1992. In: National Software and Airborne Electronic Hardware Conference, ser. FAA (2008)"},{"issue":"1","key":"26_CR22","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1006\/obhd.1999.2854","volume":"80","author":"PR Laughlin","year":"1999","unstructured":"Laughlin, P.R.: Collective induction: twelve postulates. Organ. Behav. Hum. Decis. Process. 80(1), 50\u201369 (1999)","journal-title":"Organ. Behav. Hum. Decis. Process."},{"issue":"4","key":"26_CR23","doi-asserted-by":"publisher","first-page":"644","DOI":"10.1037\/0022-3514.90.4.644","volume":"90","author":"PR Laughlin","year":"2006","unstructured":"Laughlin, P.R., Hatch, E.C., Silver, J.S., Boh, L.: Groups perform better than the best individuals on letters-to-numbers problems: effects of group size. J. Pers. Soc. Psychol. 90(4), 644 (2006)","journal-title":"J. Pers. Soc. Psychol."},{"key":"26_CR24","unstructured":"Leveson, N.G.: The use of safety cases in certification and regulation (2011)"},{"key":"26_CR25","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84882-349-5_12","volume-title":"Safety-Critical Systems: Problems Process and Practice","author":"R Lewis","year":"2009","unstructured":"Lewis, R.: Safety case development as an information modelling problem. In: Dale, C., Anderson, T. (eds.) Safety-Critical Systems: Problems Process and Practice. Springer, London (2009). https:\/\/doi.org\/10.1007\/978-1-84882-349-5_12"},{"issue":"2","key":"26_CR26","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/0951-8320(94)90057-4","volume":"43","author":"JA McDermid","year":"1994","unstructured":"McDermid, J.A.: Support for safety cases and safety arguments using SAM. Reliab. Eng. Syst Saf. 43(2), 111\u2013127 (1994)","journal-title":"Reliab. Eng. Syst Saf."},{"key":"26_CR27","unstructured":"M\u00e9ry, D., Sch\u00e4tz, B., Wassyng, A.: The pacemaker challenge: developing certifiable medical devices (dagstuhl seminar 14062). In: Dagstuhl Reports. vol. 4, no. 2 (2014)"},{"key":"26_CR28","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898718485","volume-title":"Eliciting and Analyzing Expert Judgment: A Practical Guide","author":"MA Meyer","year":"2001","unstructured":"Meyer, M.A., Booker, J.M.: Eliciting and Analyzing Expert Judgment: A Practical Guide. SIAM, Philadelphia (2001)"},{"issue":"3","key":"26_CR29","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1080\/135467898394148","volume":"4","author":"D Moshman","year":"1998","unstructured":"Moshman, D., Geil, M.: Collaborative reasoning: evidence for collective rationality. Think. Reason. 4(3), 231\u2013248 (1998)","journal-title":"Think. Reason."},{"key":"26_CR30","unstructured":"OMG: Structured assurance case meta-model (SACM). Technical report Object Management Group (2013)"},{"key":"26_CR31","doi-asserted-by":"crossref","unstructured":"Panesar-Walawege, R.K., Sabetzadeh, M., Briand, L.: A model-driven engineering approach to support the verification of compliance to safety standards. In: Proceedings of International Symposium on Software Reliability Engineering (2011)","DOI":"10.1109\/ISSRE.2011.11"},{"key":"26_CR32","doi-asserted-by":"crossref","unstructured":"Polacsek, T.: Validation, accreditation or certification: a new kind of diagram to provide confidence. In: Proceedings of International Conference on Research Challenges in Information Science, RCIS (2016)","DOI":"10.1109\/RCIS.2016.7549297"},{"key":"26_CR33","unstructured":"Rinehart, D.J., Knight, J.C., Rowanhill, J.: Current practices in constructing and evaluating assurance cases with applications to aviation. Technical report NASA (2015)"},{"key":"26_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/978-3-642-34002-4_30","volume-title":"Conceptual Modeling","author":"A Siena","year":"2012","unstructured":"Siena, A., Jureta, I., Ingolfo, S., Susi, A., Perini, A., Mylopoulos, J.: Capturing variability of law with N\u00f3mos 2. In: Atzeni, P., Cheung, D., Ram, S. (eds.) ER 2012. LNCS, vol. 7532, pp. 383\u2013396. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-34002-4_30"},{"key":"26_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"472","DOI":"10.1007\/978-3-642-04840-1_35","volume-title":"Conceptual Modeling - ER 2009","author":"A Siena","year":"2009","unstructured":"Siena, A., Mylopoulos, J., Perini, A., Susi, A.: Designing law-compliant software requirements. In: Laender, A.H.F., Castano, S., Dayal, U., Casati, F., de Oliveira, J.P.M. (eds.) ER 2009. LNCS, vol. 5829, pp. 472\u2013486. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-04840-1_35"},{"key":"26_CR36","volume-title":"The Uses of Argument","author":"SE Toulmin","year":"1958","unstructured":"Toulmin, S.E.: The Uses of Argument, 1st edn. Cambridge University Press, Cambridge (1958). Updated Edition (2003)","edition":"1"},{"issue":"1","key":"26_CR37","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1075\/ld.1.1.05tro","volume":"1","author":"A Trognon","year":"2011","unstructured":"Trognon, A., Batt, M., Laux, J.: Why is dialogical solving of a logical problem more effective than individual solving?: a formal and experimental study of an abstract version of Wason\u2019s task. Lang. Dialogue 1(1), 44\u201378 (2011)","journal-title":"Lang. Dialogue"},{"key":"26_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-642-41533-3_5","volume-title":"Model-Driven Engineering Languages and Systems","author":"JL de la Vara","year":"2013","unstructured":"de la Vara, J.L., Panesar-Walawege, R.K.: SafetyMet: a metamodel for safety standards. In: Moreira, A., Sch\u00e4tz, B., Gray, J., Vallecillo, A., Clarke, P. (eds.) MODELS 2013. LNCS, vol. 8107, pp. 69\u201386. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-41533-3_5"},{"key":"26_CR39","first-page":"337","volume-title":"Trustworthy Cyber-Physical Systems Engineering","author":"A Wassyng","year":"2016","unstructured":"Wassyng, A., Joannou, P., Lawford, M., Thomas, M., Singh, N.K.: New standards for trustworthy cyber-physical systems. In: Omanovsky, A., Ishikawa, F. (eds.) Trustworthy Cyber-Physical Systems Engineering, pp. 337\u2013368. Addison-Wesley Longman Publishing, New York (2016). Chap 13"},{"issue":"5","key":"26_CR40","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1109\/MDAT.2015.2462720","volume":"32","author":"A Wassyng","year":"2015","unstructured":"Wassyng, A., et al.: Can product-specific assurance case templates be used as medical device standards? IEEE Des. Test 32(5), 45\u201355 (2015)","journal-title":"IEEE Des. Test"},{"key":"26_CR41","unstructured":"Weinstock, C.B., Goodenough, J.B., Hudak, J.J.: Dependability cases. Carnegie-Mellon Univ Pittsburgh Pa Software Engineering Inst, Technical report (2004)"},{"key":"26_CR42","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1016\/j.jss.2015.04.065","volume":"106","author":"Y Yu","year":"2015","unstructured":"Yu, Y., Franqueira, V.N., Tun, T.T., Wieringa, R.J., Nuseibeh, B.: Automated analysis of security requirements through risk-based argumentation. J. Syst. Softw. 106, 102\u2013116 (2015)","journal-title":"J. Syst. Softw."},{"key":"26_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"574","DOI":"10.1007\/978-3-540-75209-7_39","volume-title":"Model Driven Engineering Languages and Systems","author":"G Zoughbi","year":"2007","unstructured":"Zoughbi, G., Briand, L., Labiche, Y.: A UML profile for developing airworthiness-compliant (RTCA DO-178B), safety-critical software. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 574\u2013588. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-75209-7_39"},{"issue":"3","key":"26_CR44","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/s10270-010-0164-x","volume":"10","author":"G Zoughbi","year":"2011","unstructured":"Zoughbi, G., Briand, L., Labiche, Y.: Modeling safety and airworthiness (RTCA DO-178B) information: conceptual model and UML profile. Softw. Syst. Model. 10(3), 337\u2013367 (2011). https:\/\/doi.org\/10.1007\/s10270-010-0164-x","journal-title":"Softw. Syst. Model."}],"container-title":["Lecture Notes in Computer Science","Advanced Information Systems Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-49435-3_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T22:02:49Z","timestamp":1748815369000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-49435-3_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030494346","9783030494353"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-49435-3_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"3 June 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CAiSE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Advanced Information Systems Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Grenoble","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 June 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 June 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"32","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"caise2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/caise20.imag.fr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"185","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"33","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"18% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"In addition, 11 papers were published from the CAiSE 2020 workshops. The conference was held virtually due to the COVID-19 pandemic.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}