{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T01:17:01Z","timestamp":1760577421573,"version":"3.40.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030042080"},{"type":"electronic","value":"9783030042097"}],"license":[{"start":{"date-parts":[[2018,11,20]],"date-time":"2018-11-20T00:00:00Z","timestamp":1542672000000},"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-04209-7_12","type":"book-chapter","created":{"date-parts":[[2018,11,19]],"date-time":"2018-11-19T21:37:15Z","timestamp":1542663435000},"page":"145-156","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Safety Architecture Overview Framework for the Prediction, Explanation and Control of Risks of ERTMS"],"prefix":"10.1007","author":[{"given":"Katja","family":"Schuitemaker","sequence":"first","affiliation":[]},{"given":"G. Maarten","family":"Bonnema","sequence":"additional","affiliation":[]},{"given":"Marco","family":"Kuijsten","sequence":"additional","affiliation":[]},{"given":"Heidi","family":"van Spaandonk","sequence":"additional","affiliation":[]},{"given":"Mohammad","family":"Rajabalinejad","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,11,20]]},"reference":[{"issue":"1","key":"12_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2202\/1446-9022.1136","volume":"7","author":"G Alexandersson","year":"2008","unstructured":"Alexandersson, G., Hult\u00e9n, S.: The Swedish deregulation path. Rev. Netw. Econ. 7(1), 1\u201319 (2008)","journal-title":"Rev. Netw. Econ."},{"key":"12_CR2","unstructured":"European Union: Commission Decision of 25 January 2012 on the technical specification for interoperability relating to the control-command and signaling subsystems of the trans-European rail system. Off. J. Eur. Union 55, 1\u201351 (2012)"},{"key":"12_CR3","unstructured":"UNIFE: UNISIG, An industrial consortium to develop ERTMS\/ETCS technical specification. http:\/\/www.ertms.net . Accessed May 2018"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Rajabalinejad, M., Martinetti, A., Dongen, L.A.M.: Operation, safety and human: critical factors for the success of railway transportation. In: Systems of Systems Engineering Conference, pp. 1\u20136 (2016)","DOI":"10.1109\/SYSOSE.2016.7542906"},{"key":"12_CR5","unstructured":"Schuitemaker, K., Rajabalinejad, M.: ERTMS challenges for a safe and interoperable European railway system. In: Proceedings of the Seventh International Conference on Performance, Safety and Robustness in Complex Systems and Applications, pp. 17\u201322 (2017)"},{"key":"12_CR6","unstructured":"Stoop, J.A.A.M., Dekker, S.: The ERTMS railway signaling system: deals on wheels? An inquiry into the safety architecture of high speed train safety. In: Proceedings of the Third Resilience Engineering symposium, pp. 255\u2013262 (2008)"},{"key":"12_CR7","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1016\/S0925-7535(00)00036-9","volume":"40","author":"I Svedung","year":"2002","unstructured":"Svedung, I., Rasmussen, J.: Graphic representation of accident scenarios: mapping system structure and the causation of accidents. Saf. Sci. 40, 397\u2013417 (2002)","journal-title":"Saf. Sci."},{"key":"12_CR8","unstructured":"Kelly, T.: Arguing safety a systematic approach to managing safety cases. PhD Thesis (1998)"},{"issue":"2","key":"12_CR9","doi-asserted-by":"crossref","first-page":"109","DOI":"10.3233\/FI-1999-402302","volume":"40","author":"A Arnold","year":"1999","unstructured":"Arnold, A., Point, G., Griffault, A., Rauzy, A.: The AltaRica formalism for describing concurrent systems. Fundam. Informatica 40(2), 109\u2013124 (1999)","journal-title":"Fundam. Informatica"},{"key":"12_CR10","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/978-3-540-74035-3_3","volume-title":"Architecting Dependable Systems IV","author":"Philippe Cuenot","year":"2007","unstructured":"Cuenot, P., Chen, D.J., Gerard, S., L\u00f6nn, H., et al.: Towards improving dependability of automotive systems by using the EAST-ADL architecture description language. In: Architecting Dependable Systems IV. Lecture Notes in Computer Science, vol. 4615, pp. 39\u201365 (2006)"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"G\u00fcdemann, M., Ortmeier, F.: A framework for qualitative and quantitative formal model-based safety analysis. In: Proceedings of the 12th IEEE International Symposium on High-Assurance Systems Engineering (HASE), pp. 132\u2013141 (2010)","DOI":"10.1109\/HASE.2010.24"},{"key":"12_CR12","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/j.ress.2012.10.014","volume":"111","author":"R Cressent","year":"2013","unstructured":"Cressent, R., David, P., Idasiak, V., Kratz, F.: Designing the database for reliability aware model-based system engineering process. Reliab. Eng. Syst. Saf. 111, 171\u2013182 (2013)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Falessi, D., Nejati, S., Sabetzadeh, M., Briand, L., Messina, A.: SafeSlide: a model slicing and design safety inspection tool for SysML. In: Proceedings of SIGSOFT FSE, pp. 460\u2013463 (2011)","DOI":"10.1145\/2025113.2025191"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Sabetzadeh, M., Nejati, S., Briand, L., Evensen Mills, A.: Using SysML for modeling of Safety-critical software-hardware interfaces: guidelines and industry experience. In: IEEE 13th International Symposium on High-Assurance Systems Engineering, pp. 193\u2013201 (2011)","DOI":"10.1109\/HASE.2011.23"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"De la Vara, J.L., Panesar-Walawege, R.K.: SafetyMet: a metamodel for safety standards. In: International Conference on Model Driven Engineering Languages and Systems, pp. 69\u201386 (2013)","DOI":"10.1007\/978-3-642-41533-3_5"},{"issue":"1","key":"12_CR16","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/s10270-014-0400-x","volume":"15","author":"G Biggs","year":"2016","unstructured":"Biggs, G., Sakamoto, T., Kotoku, T.: A profile and tool for modelling safety information with design information in SysML. Softw. Syst. Model. 15(1), 147\u2013178 (2016)","journal-title":"Softw. Syst. Model."},{"key":"12_CR17","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1016\/j.ssci.2016.04.011","volume":"87","author":"P Mauborgne","year":"2016","unstructured":"Mauborgne, P.: Operational and system hazard analysis in a safe systems requirement engineering process \u2013 application to automotive industry. Saf. Sci. 87, 256\u2013268 (2016)","journal-title":"Saf. Sci."},{"key":"12_CR18","first-page":"50","volume-title":"Lecture Notes in Computer Science","author":"Fabien Belmonte","year":"2012","unstructured":"Belmonte, F., Soubiran, E.: A model based approach for safety analysis. In: International Conference on Computer Safety, Reliability, and Security, pp. 50\u201363 (2012)"},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"Yakymets, N., Dhouib, S., Jaber, H., Lanusse, A.: Model-driven safety assessment of robotic systems. In: Intelligent Robots and Systems, pp. 1137\u20131142 (2013)","DOI":"10.1109\/IROS.2013.6696493"},{"key":"12_CR20","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1016\/j.ress.2014.10.025","volume":"135","author":"S Sharvia","year":"2015","unstructured":"Sharvia, S., Papadopoulos, Y.: Integrating model checking with HiP-HOPS in model-based safety analysis. Reliab. Eng. Syst. Saf. 135, 64\u201380 (2015)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"12_CR21","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84882-587-1","volume-title":"DRM, a Design Research Methodology","author":"LTM Blessing","year":"2009","unstructured":"Blessing, L.T.M., Chakrabarti, A.: DRM, a Design Research Methodology. Springer, London (2009)"},{"key":"12_CR22","volume-title":"Engineering Design, a Systematic Approach","author":"G Pahl","year":"2003","unstructured":"Pahl, G., Beitz, W., Feldhusen, J., Grote, K.H.: Engineering Design, a Systematic Approach. Springer, Berlin, Heidelberg (2003)"},{"key":"12_CR23","doi-asserted-by":"crossref","unstructured":"Wang, P.: Civil Aircraft Electrical Power System Safety Assessment: Issues and Practices. Butterworth-Heinemann (2017)","DOI":"10.1016\/B978-0-08-100721-1.00002-9"},{"key":"12_CR24","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1016\/j.procs.2015.03.046","volume":"44","author":"FF Brussel","year":"2015","unstructured":"Brussel, F.F., Bonnema, G.M.: Interactive A3 architecture overviews. Proc. Comput. Sci. 44, 204\u2013213 (2015)","journal-title":"Proc. Comput. Sci."},{"key":"12_CR25","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1016\/j.intcom.2010.07.003","volume":"23","author":"G Baxter","year":"2011","unstructured":"Baxter, G., Sommerville, I.: Socio-technical systems: from design methods to systems engineering. Interact. Comput. 23, 4\u201317 (2011)","journal-title":"Interact. Comput."}],"container-title":["Complex Systems Design & Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-04209-7_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,15]],"date-time":"2020-11-15T15:06:18Z","timestamp":1605452778000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-04209-7_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11,20]]},"ISBN":["9783030042080","9783030042097"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-04209-7_12","relation":{},"subject":[],"published":{"date-parts":[[2018,11,20]]},"assertion":[{"value":"20 November 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CSD&M","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Complex Systems Design & Management","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Paris","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":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 December 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 December 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"csdm2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.2018.csdm-asia.net\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}