{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T06:47:15Z","timestamp":1725864435659},"publisher-location":"Cham","reference-count":17,"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_24","type":"book-chapter","created":{"date-parts":[[2016,9,3]],"date-time":"2016-09-03T01:34:41Z","timestamp":1472866481000},"page":"309-321","source":"Crossref","is-referenced-by-count":8,"title":["Towards Cloud-Based Enactment of Safety-Related Processes"],"prefix":"10.1007","author":[{"given":"Sami","family":"Alajrami","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Barbara","family":"Gallina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Irfan","family":"Sljivo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Romanovsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Petter","family":"Isberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,4]]},"reference":[{"key":"24_CR1","unstructured":"ARP4761: Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment. (1996)"},{"key":"24_CR2","unstructured":"ARP4754A: Guidelines for Development of Civil Aircraft and Systems. SAE International (2010)"},{"key":"24_CR3","unstructured":"GSN: Community Standard Version 1. Origin Consulting (York) Limited (2011)"},{"key":"24_CR4","unstructured":"Alajrami, S., Gallina, B., Romanovsky, A.: Enabling global software development via cloud-based software process enactment. Tech. Rep. TR-1494, Newcastle University, School of Computing Science (03 2016)"},{"key":"24_CR5","doi-asserted-by":"crossref","unstructured":"Alajrami, S., Gallina, B., Romanovsky, A.: Exe-spem: Towards cloud-based executable software process models. In: Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development (2016)","DOI":"10.5220\/0005740605170526"},{"key":"24_CR6","unstructured":"Armengaud, E.: Automated Safety Case Compilation for Product-based Argumentation. In: Embedded Real Time Software and Systems (2014)"},{"issue":"4","key":"24_CR7","doi-asserted-by":"crossref","first-page":"830","DOI":"10.1109\/TR.2014.2335995","volume":"63","author":"E Denney","year":"2014","unstructured":"Denney, E., Pai, G.J.: Automating the Assembly of Aviation Safety Cases. IEEE Transactions on Reliability 63(4), 830\u2013849 (2014)","journal-title":"IEEE Transactions on Reliability"},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"Gallina, B.: A Model-driven Safety Certification Method for Process Compliance. In: 2nd International Workshop on Assurance Cases for Software-intensive Systems. pp. 204\u2013209. IEEE (2014)","DOI":"10.1109\/ISSREW.2014.30"},{"key":"24_CR9","doi-asserted-by":"crossref","unstructured":"G\u00f3rski, J., Jarzebowicz, A., Miler, J., Witkowicz, M., Czyznikiewicz, J., Jar, P.: Supporting Assurance by Evidence-Based Argument Services. In: 1st Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems. LNCS, vol. 7613, pp. 417\u2013426. Springer (2012)","DOI":"10.1007\/978-3-642-33675-1_39"},{"issue":"3","key":"24_CR10","first-page":"187","volume":"36","author":"R Hawkins","year":"2015","unstructured":"Hawkins, R., Habli, I., Kelly, T.P.: The Need for a Weaving Model in Assurance Case Automation. Ada User Journal 36(3), 187\u2013191 (2015)","journal-title":"Ada User Journal"},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"Hawkins, R., Habli, I., Kolovos, D., Paige, R., Kelly, T.P.: Weaving an Assurance Case from Design: A Model-Based Approach. In: 16th International Symposium on High Assurance Systems Engineering. pp. 110\u2013117. IEEE (Jan 2015)","DOI":"10.1109\/HASE.2015.25"},{"key":"24_CR12","doi-asserted-by":"crossref","unstructured":"Holloway, C.M.: Safety case notations: Alternatives for the non-graphically inclined? In: 3rd IET International Conference on System Safety. pp. 1\u20136 (2008)","DOI":"10.1049\/cp:20080710"},{"key":"24_CR13","unstructured":"Holloway, C.M.: Explicate \u201978: Uncovering the implicit assurance case in do-178c. Tech. Repp. 20150009473, NASA Langley Research Center (2015)"},{"key":"24_CR14","unstructured":"Leveson, N.: White paper on the use of safety cases in certification and regulation. Technical report. MIT (May 2012)"},{"key":"24_CR15","unstructured":"(OMG), O.M.G.: SACM: Structured Assurance Case Metamodel (2013)"},{"key":"24_CR16","doi-asserted-by":"crossref","unstructured":"Rushby, J.: New challenges in certification for aircraft software. In: 9th ACM International Conference on Embedded Software. pp. 211\u2013218. EMSOFT (2011)","DOI":"10.1145\/2038642.2038675"},{"key":"24_CR17","doi-asserted-by":"crossref","unstructured":"Sljivo, I., Gallina, B., Carlson, J., Hansson, H., Puri, S.: A Method to Generate Reusable Safety Case Fragments from Compositional Safety Analysis. In: 14th International Conference on Software Reuse. pp. 253\u2013268. LNCS, Springer (2015)","DOI":"10.1007\/978-3-319-14130-5_18"}],"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_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,13]],"date-time":"2019-09-13T01:39:27Z","timestamp":1568338767000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-45477-1_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319454764","9783319454771"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-45477-1_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}