{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T00:35:01Z","timestamp":1743122101590,"version":"3.40.3"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030195007"},{"type":"electronic","value":"9783030195014"}],"license":[{"start":{"date-parts":[[2019,5,12]],"date-time":"2019-05-12T00:00:00Z","timestamp":1557619200000},"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":[[2020]]},"DOI":"10.1007\/978-3-030-19501-4_24","type":"book-chapter","created":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T11:37:08Z","timestamp":1557574628000},"page":"245-255","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Representing Process Characteristics to Increase Confidence in Assurance Case Arguments"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3181-4210","authenticated-orcid":false,"given":"Aleksander","family":"Jarz\u0119bowicz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Szymon","family":"Markiewicz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,5,12]]},"reference":[{"key":"24_CR1","unstructured":"The Assurance Case Working Group (ACWG): Goal Structuring Notation community standard version 2 (2018)"},{"key":"24_CR2","unstructured":"CENELEC: EN 50126. Railway Applications: The Specification and Demonstration of Reliability, Availability, Maintainability and Safety (RAMS) (1999)"},{"key":"24_CR3","unstructured":"Eurocontrol: Safety Case Development Manual (2006)"},{"key":"24_CR4","unstructured":"International Organization for Standardization (ISO): ISO\/DIS 26262: Road Vehicles - Functional Safety (2011)"},{"key":"24_CR5","unstructured":"International Organization for Standardization (ISO): 15026-2:2011: Systems and Software Engineering \u2013 Systems and Software Assurance \u2013 Part 2: Assurance Case (2011)"},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"Stensrud, E., Skramstad, T., Li, J., Xie, J.: Towards goal-based software safety certification based on prescriptive standards. In: First International Workshop on Software Certification (WoSoCER), pp. 13\u201318 (2011)","DOI":"10.1109\/WoSoCER.2011.7"},{"key":"24_CR7","unstructured":"Sklyar, V., Kharchenko, V.: Assurance case driven design based on the harmonized framework of safety and security requirements. In: 13th International Conference on ICT in Education, Research and Industrial Applications (ICTERI 2017), pp. 670\u2013685 (2017)"},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"Yamamoto, S., Kaneko, T., Tanaka, H.: A proposal on security case based on common criteria. In: Information and Communication Technology-EurAsia Conference. LNCS, vol. 7804, pp. 331\u2013336. Springer (2013)","DOI":"10.1007\/978-3-642-36818-9_36"},{"key":"24_CR9","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1016\/j.ress.2015.03.033","volume":"140","author":"M Sujan","year":"2015","unstructured":"Sujan, M., Spurgeon, P., Cooke, M., Weale, A., Debenham, P., Cross, S.: The development of safety cases for healthcare services: practical experiences, opportunities and challenges. Reliab. Eng. Syst. Saf. 140, 200\u2013207 (2015)","journal-title":"Reliab. Eng. Syst. Saf."},{"issue":"2","key":"24_CR10","doi-asserted-by":"publisher","first-page":"269","DOI":"10.2478\/v10178-012-0023-x","volume":"19","author":"J G\u00f3rski","year":"2012","unstructured":"G\u00f3rski, J., Jarz\u0119bowicz, A., Miler, J.: Validation of services supporting healthcare standards conformance. Metrol. Measur. Syst. 19(2), 269\u2013284 (2012)","journal-title":"Metrol. Measur. Syst."},{"key":"24_CR11","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511840005","volume-title":"The Uses of Argument","author":"S Toulmin","year":"2003","unstructured":"Toulmin, S.: The Uses of Argument. Cambridge University Press, Cambridge (2003). Updated Edition"},{"key":"24_CR12","doi-asserted-by":"crossref","unstructured":"Hawkins, R., Kelly, T., Knight, J., Graydon, P.: A new approach to creating clear safety arguments. In: Advances in Systems Safety, pp. 3\u201323. Springer (2011)","DOI":"10.1007\/978-0-85729-133-2_1"},{"key":"24_CR13","doi-asserted-by":"crossref","unstructured":"Goodenough, J., Weinstock, C., Klein, A.: Eliminative induction: a basis for arguing system confidence. In: Proceedings of the 2013 International Conference on Software Engineering, pp. 1161\u20131164. IEEE Press (2013)","DOI":"10.1109\/ICSE.2013.6606668"},{"key":"24_CR14","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1207\/s15516709cog1104_4","volume":"11","author":"JL Pollock","year":"1987","unstructured":"Pollock, J.L.: Defeasible reasoning. Cogn. Sci. 11, 481\u2013518 (1987)","journal-title":"Cogn. Sci."},{"issue":"3","key":"24_CR15","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/s10503-005-4421-z","volume":"19","author":"B Verheij","year":"2005","unstructured":"Verheij, B.: Evaluating arguments based on Toulmin\u2019s scheme. Argumentation 19(3), 347\u2013371 (2005)","journal-title":"Argumentation"},{"key":"24_CR16","unstructured":"Kelly, T.: Reviewing assurance arguments - a step-by-step approach. In: Proceedings of Workshop on Assurance Cases for Security, Dependable Systems and Networks Conference (2007)"},{"key":"24_CR17","doi-asserted-by":"crossref","unstructured":"Grigorova, S., Maibaum, T.: Argument evaluation in the context of assurance case confidence modeling. In: Proceedings of 25th IEEE International Symposium on Software Reliability Engineering Workshops, Naples, Italy, pp. 485\u2013490. IEEE Computer Society (2014)","DOI":"10.1109\/ISSREW.2014.87"},{"key":"24_CR18","first-page":"305","volume-title":"Lecture Notes in Computer Science","author":"Anaheed Ayoub","year":"2012","unstructured":"Ayoub, A., Kim, B., Lee, I., Sokolsky, O.: A systematic approach to justifying sufficient confidence in software safety arguments. In: Proceedings of 31st International Conference on Computer Safety, Reliability and Security. LNCS, vol. 7612, pp. 305\u2013316 (2012)"},{"key":"24_CR19","doi-asserted-by":"crossref","unstructured":"Jarz\u0119bowicz, A., Wardzi\u0144ski, A.: Integrating confidence and assurance arguments. In: 10th IET System Safety and Cyber Security Conference (2015)","DOI":"10.1049\/cp.2015.0274"},{"key":"24_CR20","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-642-13550-7_6","volume-title":"Reliable Software Technologiey \u2013 Ada-Europe 2010","author":"Patrick J. Graydon","year":"2010","unstructured":"Graydon, P., Knight, J., Yin, X.: Practical limits on software dependability: a case study. In: International Conference on Reliable Software Technologies, pp. 83\u201396 (2010)"},{"key":"24_CR21","doi-asserted-by":"crossref","unstructured":"Nair, S., Walkinshaw, N., Kelly, T., de la Vara, J.L.: An evidential reasoning approach for assessing confidence in safety evidence. In: 26th IEEE International Symposium on Software Reliability Engineering (ISSRE), pp. 541\u2013552. IEEE (2015)","DOI":"10.1109\/ISSRE.2015.7381846"},{"key":"24_CR22","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/978-3-319-45477-1_3","volume-title":"Computer Safety, Reliability, and Security","author":"R Hawkins","year":"2016","unstructured":"Hawkins, R., Richardson, T., Kelly, T.: Using process models in system assurance. In: Skavhaug, A., Guiochet, J., Bitsch, F. (eds.) Computer Safety, Reliability, and Security. LNCS, vol. 9922, pp. 27\u201338. Springer, Heidelberg (2016)"},{"key":"24_CR23","doi-asserted-by":"crossref","unstructured":"Asplund, F., T\u00f6rngren, M., Hawkins, R., McDermid, J.A.: The need for a confidence view of CPS support environments. In: 16th International Symposium on High Assurance Systems Engineering (HASE), pp. 273\u2013274 (2015)","DOI":"10.1109\/HASE.2015.14"},{"key":"24_CR24","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/978-3-319-64119-5_4","volume-title":"Model-Based Safety and Assessment","author":"Athanasios Retouniotis","year":"2017","unstructured":"Retouniotis, A., Papadopoulos, Y., Sorokos, I., Parker, D., Matragkas, N., Sharvia, S.: Model-connected safety cases. In: International Symposium on Model-Based Safety and Assessment. LNCS, vol. 10437, pp. 50\u201363. Springer, Cham (2017)"},{"key":"24_CR25","doi-asserted-by":"crossref","unstructured":"Holloway, C.M., Graydon, P.: Evidence under a magnifying glass: thoughts on safety argument epistemology. In: Proceedings of 10th IET System Safety and Cyber Security Conference, Bristol, UK (2015)","DOI":"10.1049\/cp.2015.0277"},{"key":"24_CR26","doi-asserted-by":"crossref","unstructured":"Larson, B.R., Hatcliff, J., Chalin, P.: Open source patient-controlled analgesic pump requirements documentation. In: 5th International Workshop on Software Engineering in Health Care (SEHC), pp. 28\u201334 (2013)","DOI":"10.1109\/SEHC.2013.6602474"},{"key":"24_CR27","unstructured":"Larson, B.R.: Open PCA Pump Assurance Case, SAnToS Research Group, Kansas State University (2014). \n                  http:\/\/openpcapump.santoslab.org\/"},{"key":"24_CR28","unstructured":"Civil Aviation Office: Poland & Civil Aviation Administration, Lithuania: Baltic FAB Safety Case (2012). \n                  https:\/\/www.pansa.pl\/aap\/Safety_Case_2.0.pdf"},{"key":"24_CR29","unstructured":"London Underground Limited: London Underground Safety Certificate and Safety Authorisation, ver. 5.1 (2017). \n                  http:\/\/content.tfl.gov.uk\/london-underground-safety-certificate-and-safety-authorisation.pdf"}],"container-title":["Advances in Intelligent Systems and Computing","Engineering in Dependability of Computer Systems and Networks"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-19501-4_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,18]],"date-time":"2019-05-18T03:45:18Z","timestamp":1558151118000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-19501-4_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,5,12]]},"ISBN":["9783030195007","9783030195014"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-19501-4_24","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2019,5,12]]},"assertion":[{"value":"12 May 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"DepCoS-RELCOMEX","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Dependability and Complex Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Brun\u00f3w","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Poland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 July 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 July 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"depcos2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/depcos.pwr.wroc.pl\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}