{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T06:46:59Z","timestamp":1725864419814},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319454764"},{"type":"electronic","value":"9783319454771"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-45477-1_3","type":"book-chapter","created":{"date-parts":[[2016,9,3]],"date-time":"2016-09-03T01:34:41Z","timestamp":1472866481000},"page":"27-38","source":"Crossref","is-referenced-by-count":6,"title":["Using Process Models in System Assurance"],"prefix":"10.1007","author":[{"given":"Richard","family":"Hawkins","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Richardson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tim","family":"Kelly","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,4]]},"reference":[{"key":"3_CR1","unstructured":"The COMPASS Project Web Site. http:\/\/compass.informatik.rwth-aachen.de\/"},{"key":"3_CR2","unstructured":"Opencoss Consortium. Common Certification Language: Conceptual Model D4.4 version 1.4 (2015). http:\/\/www.opencoss-project.eu\/"},{"key":"3_CR3","unstructured":"Integration of Formal Evidence and Expression in MILS Assurance Case. Technical report D4.3, D-MILS Project, March 2015. http:\/\/www.d-mils.org\/page\/results"},{"key":"3_CR4","volume-title":"Elements of Reusable Object-Oriented Software","author":"E Gamma","year":"1994","unstructured":"Gamma, E., Johnson, R., Helm, R., Vlissides, J., Patterns, D.: Elements of Reusable Object-Oriented Software. Addison-Wesley, Boston (1994)"},{"key":"3_CR5","unstructured":"Goal Structuring Notation Working Group: GSN Community Standard Volume 1 (2011)"},{"key":"3_CR6","unstructured":"Hawkins, R., Habli, I., Kelly, T.: The need for a weaving model in assurance case automation. Ada User J. 36(3), 187\u2013191"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Hawkins, R., Habli, I., Kolovos, D., Paige, R., Kelly, T.: Weaving an assurance case from design: a model-based approach. In: Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering (2015)","DOI":"10.1109\/HASE.2015.25"},{"key":"3_CR8","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/978-0-85729-133-2_1","volume-title":"Advances in Systems Safety","author":"RD Hawkins","year":"2011","unstructured":"Hawkins, R.D., Kelly, T.P., Knight, J., Graydon, P.: A new approach to creating clear safety arguments. In: Dale, C., Anderson, T. (eds.) Advances in Systems Safety, pp. 3\u201323. Springer, London (2011)"},{"key":"3_CR9","unstructured":"IEC: IEC 61508 - Functional Safety of Electrical\/Electronic\/Programmable Electronic Safety-Related Systems. Technical report IEC 61508, The International Electrotechnical Commission (1998)"},{"key":"3_CR10","unstructured":"ISO: ISO 26262 - Road Vehicles Functional Safety. Technical report ISO 26262, ISO, Geneva, Switzerland (2011)"},{"key":"3_CR11","unstructured":"Kelly, T.: Arguing safety a systematic approach to safety case management. Ph.D. thesis, The University of York"},{"key":"3_CR12","unstructured":"Kolovos, D., Rose, L., Garcia-Dominguez, A., Paige, R.: The Epsilon book (2013). http:\/\/www.eclipse.org\/epsilon\/doc\/book\/"},{"key":"3_CR13","unstructured":"Object Management Group. Software and Systems Process Engineering Metamodel Specification (SPEM) version 2.0 (2008)"},{"key":"3_CR14","unstructured":"The Othello Contract Refinement Analysis (OCRA) Tool. https:\/\/es.fbk.eu\/tools\/ocra"},{"key":"3_CR15","unstructured":"International Society of Automotive Engineers. Architecture Analysis and Design Language Annex (AADL), vol. 1. SAE Standard AS 5506\/1, SAE, June 2006"},{"key":"3_CR16","unstructured":"Object Management Group (OMG). Structured Assurance Case Metamodel (SACM), Version 1.0 (2013)"},{"key":"3_CR17","unstructured":"RTCA. DO-178C - Software Considerations in Airborne Systems and Equipment Certification. Technical report DO-178C, RTCA (2011)"},{"key":"3_CR18","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: Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering (ISSRE 2015) (2015)","DOI":"10.1109\/ISSRE.2015.7381846"},{"key":"3_CR19","volume-title":"EMF: Eclipse Modeling Framework","author":"D Steinberg","year":"2008","unstructured":"Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework, 2nd edn. Addison-Wesley, Boston (2008)","edition":"2"},{"key":"3_CR20","unstructured":"Sun, L.: Establishing confidence in safety assessment evidence. Ph.D. thesis, University of York (2012)"}],"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-45477-1_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T17:58:01Z","timestamp":1498327081000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-45477-1_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319454764","9783319454771"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-45477-1_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}