{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T16:25:29Z","timestamp":1742919929750,"version":"3.40.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030187439"},{"type":"electronic","value":"9783030187446"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"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":[[2019]]},"DOI":"10.1007\/978-3-030-18744-6_8","type":"book-chapter","created":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T10:32:32Z","timestamp":1558348352000},"page":"125-141","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A Tool-Supported Model-Based Method for Facilitating the EN50129-Compliant Safety Approval Process"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6613-4149","authenticated-orcid":false,"given":"Faiz","family":"Ul Muram","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6952-1053","authenticated-orcid":false,"given":"Barbara","family":"Gallina","sequence":"additional","affiliation":[]},{"given":"Samina","family":"Kanwal","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,4,24]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Adedjouma, M., Pedroza, G., Smaoui, A., Dang, T.K.: Facilitating the adoption of standards through model-based representation. In: Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems (ICECCS 2018), Melbourne, Australia, 12\u201314 December 2018 (2018)","DOI":"10.1109\/ICECCS2018.2018.00035"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Alajrami, S., Gallina, B., Romanovsky, A.: EXE-SPEM: towards cloud-based executable software process models. In: 4th International Conference on Model-Driven Engineering and Software Development, MODELSWARD, pp. 517\u2013527 (2016)","DOI":"10.5220\/0005740605170526"},{"key":"8_CR3","unstructured":"AMASS: AMASS User guidance and Methodological framework (2018). \n                      https:\/\/www.amass-ecsel.eu\/sites\/amass.drupal.pulsartecnalia.com\/files\/D2.5_User-guidance-and-methodological-framework_AMASS_Final.pdf\n                      \n                    . Accessed 5 Mar 2018"},{"key":"8_CR4","unstructured":"AMASS: AMASS platform validation D2.9 (2019). \n                      https:\/\/www.amass-ecsel.eu\/sites\/amass.drupal.pulsartecnalia.com\/files\/documents\/D2.9_AMASS-platform-validation_AMASS_Final.pdf\n                      \n                    . Accessed 5 Mar 2019"},{"key":"8_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/978-3-642-01680-6_15","volume-title":"Trustworthy Software Development Processes","author":"R Bendraou","year":"2009","unstructured":"Bendraou, R., Jez\u00e9qu\u00e9l, J.-M., Fleurey, F.: Combining aspect and model-driven engineering approaches for software process modeling and execution. In: Wang, Q., Garousi, V., Madachy, R., Pfahl, D. (eds.) ICSP 2009. LNCS, vol. 5543, pp. 148\u2013160. Springer, Heidelberg (2009). \n                      https:\/\/doi.org\/10.1007\/978-3-642-01680-6_15"},{"key":"8_CR6","doi-asserted-by":"publisher","unstructured":"Castellanos Ardila, J.P., Gallina, B., Ul Muram, F.: Enabling compliance checking against safety standards from SPEM 2.0 process models. In: 44th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2018, Prague, Czech Republic, 29\u201331 August 2018, pp. 45\u201349 (2018). \n                      https:\/\/doi.org\/10.1109\/SEAA.2018.00017","DOI":"10.1109\/SEAA.2018.00017"},{"key":"8_CR7","unstructured":"CHESS-Team: CHESSML (2018). \n                      https:\/\/www.polarsys.org\/chess\/start.html"},{"key":"8_CR8","unstructured":"European Commitee for Electrotechnical Standardization (CENELEC): EN 50128 - railway applications - communication, signalling and processing systems - software for railway control and protection systems (2011)"},{"key":"8_CR9","unstructured":"European Commitee for Electrotechnical Standardization (CENELEC): EN 50126\u20131: railway applications - the specification and demonstration of reliability, availability, maintainability and safety (RAMS), part 1 generic RAMS process (2017)"},{"key":"8_CR10","unstructured":"European Commitee for Electrotechnical Standardization (CENELEC): EN50129: railway applications - communication, signalling and processing systems - safety related electronic systems for signalling (2018)"},{"key":"8_CR11","doi-asserted-by":"publisher","unstructured":"Gallina, B.: A Model-driven safety certification method for process compliance. In: 2nd International Workshop on Assurance Cases for Software-Intensive Systems, joint event of ISSRE, Naples, Italy, 3\u20136 November 2014, pp. 204\u2013209. IEEE (2014). \n                      https:\/\/doi.org\/10.1109\/ISSREW.2014.30","DOI":"10.1109\/ISSREW.2014.30"},{"key":"8_CR12","series-title":"Studies in Computational Intelligence","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-319-00948-3_14","volume-title":"Software Engineering Research, Management and Applications","author":"B Gallina","year":"2014","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: Lee, R. (ed.) Software Engineering Research, Management and Applications. Studies in Computational Intelligence, vol. 496, pp. 215\u2013230. Springer, Heidelberg (2014). \n                      https:\/\/doi.org\/10.1007\/978-3-319-00948-3_14"},{"key":"8_CR13","unstructured":"Javed, M.A., Gallina, B.: Get EPF Composer back to the future: a trip from Galileo to Photon after 11 years. EclipseCon, Toulouse, France, 13\u201314 June (2018). \n                      http:\/\/www.es.mdh.se\/publications\/5091-Get_EPF_Composer_back_to_the_future__A_trip_from_Galileo_to_Photon_after_11_years"},{"key":"8_CR14","unstructured":"McIsaac, B.: IBM rational method composer: standards mapping. Technical report, IBM Developer Works (2015)"},{"key":"8_CR15","unstructured":"Muram, F.U., Gallina, B.: EPF Composer Library for EN 50126\u20139 compliant process authoring, limited to Phase 6 (2019). \n                      https:\/\/www.dropbox.com\/sh\/1o7cf12nqvmyvqc\/AACi0EZymqzbQJKinutcNAzsa?dl=0\n                      \n                    . Accessed 5 Mar 2019"},{"key":"8_CR16","doi-asserted-by":"publisher","unstructured":"Muram, F.U., Gallina, B., Rodriguez, L.G.: Preventing omission of key evidence fallacy in process-based argumentations. In: 11th International Conference on the Quality of Information and Communications Technology (QUATIC), Coimbra, Portugal, 4\u20137 September 2018, pp. 65\u201373. IEEE (2018). \n                      https:\/\/doi.org\/10.1109\/QUATIC.2018.00019","DOI":"10.1109\/QUATIC.2018.00019"},{"key":"8_CR17","unstructured":"Object Management Group (OMG): Structured Assurance Case Metamodel (SACM), Version 2.0 (2018). \n                      https:\/\/www.omg.org\/spec\/SACM\/2.0\n                      \n                    . Accessed 5 Mar 2019"},{"key":"8_CR18","unstructured":"OMG: Software & Systems Process Engineering Metamodel Specification (SPEM), Version 2.0 (2008). \n                      http:\/\/www.omg.org\/spec\/SPEM\/2.0\/\n                      \n                    . Accessed 5 Mar 2019"},{"key":"8_CR19","unstructured":"RTCA Inc: Software Considerations in Airborne Systems and Equipment Certification, RTCA DO-178C (EUROCAE ED-12C), Washington DC (2011)"},{"key":"8_CR20","doi-asserted-by":"publisher","unstructured":"Schoitsch, E., Althammer, E., Sonneck, G., Eriksson, H., Vinter, J.: Modular certification support - the DECOS concept of generic safety cases. In: 2008 6th IEEE International Conference on Industrial Informatics, pp. 258\u2013263, July 2008. \n                      https:\/\/doi.org\/10.1109\/INDIN.2008.4618105","DOI":"10.1109\/INDIN.2008.4618105"}],"container-title":["Lecture Notes in Computer Science","Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-18744-6_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T19:05:59Z","timestamp":1558983959000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-18744-6_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030187439","9783030187446"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-18744-6_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"24 April 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RSSRail","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Reliability, Safety, and Security of Railway Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lille","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":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 June 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 June 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rssrail2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conferences.ncl.ac.uk\/rssrail2019\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Open","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"38","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"18","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"47% - 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"}},{"value":"3.1","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"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"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}}]}}