{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:59:52Z","timestamp":1740099592978,"version":"3.37.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030328719"},{"type":"electronic","value":"9783030328726"}],"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-32872-6_7","type":"book-chapter","created":{"date-parts":[[2019,10,10]],"date-time":"2019-10-10T19:04:24Z","timestamp":1570734264000},"page":"93-106","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Integrating Safety Design Artifacts into System Development Models Using SafeDeML"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3386-680X","authenticated-orcid":false,"given":"Tim","family":"Gonschorek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philipp","family":"Bergt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7436-1501","authenticated-orcid":false,"given":"Marco","family":"Filax","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6186-4142","authenticated-orcid":false,"given":"Frank","family":"Ortmeier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,10,11]]},"reference":[{"key":"7_CR1","unstructured":"Road vehicles - functional safety: part(x): standard"},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"312","DOI":"10.1007\/978-3-642-21210-9_30","volume-title":"Models in Software Engineering","author":"R Adler","year":"2011","unstructured":"Adler, R., et al.: Integration of component fault trees into the UML. In: Dingel, J., Solberg, A. (eds.) MODELS 2010. LNCS, vol. 6627, pp. 312\u2013327. Springer, Heidelberg (2011). \n                      https:\/\/doi.org\/10.1007\/978-3-642-21210-9_30"},{"key":"7_CR3","series-title":"IFIP International Federation for Information Processing","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/978-1-4020-8157-6_13","volume-title":"Building the Information Society","author":"A Avi\u017eienis","year":"2004","unstructured":"Avi\u017eienis, A., Laprie, J.-C., Randell, B.: Dependability and its threats: a taxonomy. In: Jacquart, R. (ed.) Building the Information Society. IIFIP, vol. 156, pp. 91\u2013120. Springer, Boston, MA (2004). \n                      https:\/\/doi.org\/10.1007\/978-1-4020-8157-6_13"},{"key":"7_CR4","unstructured":"Behrmann, G., et al.: Uppaal 4.0. In: Proceedings of QEST, pp. 125\u2013126 (2006)"},{"issue":"3","key":"7_CR5","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/s10270-009-0128-1","volume":"10","author":"S Bernardi","year":"2011","unstructured":"Bernardi, S., Merseguer, J., Petriu, D.C.: A dependability profile within MARTE. Softw. Syst. Model. 10(3), 313\u2013336 (2011)","journal-title":"Softw. Syst. Model."},{"issue":"1","key":"7_CR6","doi-asserted-by":"publisher","first-page":"1322","DOI":"10.1002\/j.2334-5837.2018.00551.x","volume":"28","author":"Geoffrey Biggs","year":"2018","unstructured":"Biggs, G., Juknevicius, T., Armonas, A., Post, K.: Integrating safety and reliability analysis into MBSE: overview of the new proposed OMG standard. In: INCOSE International Symposium, vol. 28, no. 1, pp. 1322\u20131336 (2018)","journal-title":"INCOSE International Symposium"},{"issue":"0","key":"7_CR7","first-page":"_2A2-I06_1-_2A2","volume":"2013","author":"Geoffrey BIGGS","year":"2013","unstructured":"Biggs, G., Sakamoto, T., Kotoku, T.: 2A2-I06 SafeML: A model-based tool for communicating safety information (robotics with safety and reliability). Proc. Robomec 2013(0), \n                      \n                        \n                      \n                      $$\\_$$\n                      \n                        \n                          _\n                        \n                      \n                    2A2-I06\n                      \n                        \n                      \n                      $$\\_$$\n                      \n                        \n                          _\n                        \n                      \n                    1\u2013\n                      \n                        \n                      \n                      $$\\_$$\n                      \n                        \n                          _\n                        \n                      \n                    2A2-I06\n                      \n                        \n                      \n                      $$\\_$$\n                      \n                        \n                          _\n                        \n                      \n                    4 (2013)","journal-title":"The Proceedings of JSME annual Conference on Robotics and Mechatronics (Robomec)"},{"issue":"1","key":"7_CR8","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":"7_CR9","doi-asserted-by":"crossref","unstructured":"Cicchetti, A., et al.: CHESS: a model-driven engineering tool environment for aiding the development of complex industrial systems. In: Goedicke, M., Menzies, T., Saeki, M. (eds.) Proceedings of ASE, p. 362. IEEE, Piscataway (2012)","DOI":"10.1145\/2351676.2351748"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/978-3-319-33951-1_8","volume-title":"Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification","author":"M Filax","year":"2016","unstructured":"Filax, M., Gonschorek, T., Ortmeier, F.: Correct formalization of requirement specifications: a V-model for building formal models. In: Lecomte, T., Pinger, R., Romanovsky, A. (eds.) RSSRail 2016. LNCS, vol. 9707, pp. 106\u2013122. Springer, Cham (2016). \n                      https:\/\/doi.org\/10.1007\/978-3-319-33951-1_8"},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-64119-5_1","volume-title":"Model-Based Safety and Assessment","author":"M Filax","year":"2017","unstructured":"Filax, M., Gonschorek, T., Ortmeier, F.: Building models we can rely on: requirements traceability for model-based verification techniques. In: Bozzano, M., Papadopoulos, Y. (eds.) IMBSA 2017. LNCS, vol. 10437, pp. 3\u201318. Springer, Cham (2017). \n                      https:\/\/doi.org\/10.1007\/978-3-319-64119-5_1"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Gallina, B., Javed, M.A., Muram, F.U., Punnekkat, S.: A model-driven dependability analysis method for component-based architectures. In: Proceedings of Euromicro DSD\/SEAA, pp. 233\u2013240 (2012)","DOI":"10.1109\/SEAA.2012.35"},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/978-3-030-26601-1_19","volume-title":"Computer Safety, Reliability, and Security","author":"T Gonschorek","year":"2019","unstructured":"Gonschorek, T., Bergt, P., Filax, M., Ortmeier, F., von Hoyningen-H\u00fcne, J., Piper, T.: SafeDeML: On integrating the safety design into the system model. In: Romanovsky, A., Troubitsyna, E., Bitsch, F. (eds.) SAFECOMP 2019. LNCS, vol. 11698, pp. 271\u2013285. Springer, Cham (2019). \n                      https:\/\/doi.org\/10.1007\/978-3-030-26601-1_19"},{"key":"7_CR14","unstructured":"Gonschorek, T., Filax, M., Lipaczewski, M., Ortmeier, F.: VECS - verification enviroment for critical systems - tool supported formal modeling and verification. In: IMBSA 2014: Short & Tutorial Proceedings. Otto von Guericke University, Magdeburg (2014)"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/11424529_3","volume-title":"Component-Based Software Engineering","author":"L Grunske","year":"2005","unstructured":"Grunske, L., Kaiser, B., Papadopoulos, Y.: Model-driven safety evaluation with state-event-based component failure annotations. In: Heineman, G.T., Crnkovic, I., Schmidt, H.W., Stafford, J.A., Szyperski, C., Wallnau, K. (eds.) CBSE 2005. LNCS, vol. 3489, pp. 33\u201348. Springer, Heidelberg (2005). \n                      https:\/\/doi.org\/10.1007\/11424529_3"},{"key":"7_CR16","unstructured":"Kaiser, B., Liggesmeyer, P., M\u00e4ckel, O.: A new component concept for fault trees. In: Proceedings of SCS, pp. 37\u201346 (2003)"},{"key":"7_CR17","volume-title":"Still Basic Guide to Automotive Functional Safety","author":"T Langenhan","year":"2016","unstructured":"Langenhan, T.: Still Basic Guide to Automotive Functional Safety, 2nd edn. Epubli, Berlin (2016)","edition":"2"},{"key":"7_CR18","unstructured":"Moncada, V., Santiago, V.: Towards proper tool support for component-oriented and model-based development of safety critical systems. In: Commercial Vehicle Technology 2016, pp. 365\u2013374. Shaker Verlag, Aachen (2016)"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Montecchi, L., Lollini, P., Bondavalli, A.: Dependability concerns in model-driven engineering. In: Proceedings of ISORC, pp. 254\u2013263. IEEE (2011)","DOI":"10.1109\/ISORCW.2011.32"},{"key":"7_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/3-540-48249-0_13","volume-title":"Computer Safety, Reliability and Security","author":"Y Papadopoulos","year":"1999","unstructured":"Papadopoulos, Y., McDermid, J.A.: Hierarchically performed hazard origin and propagation studies. In: Felici, M., Kanoun, K. (eds.) SAFECOMP 1999. LNCS, vol. 1698, pp. 139\u2013152. Springer, Heidelberg (1999). \n                      https:\/\/doi.org\/10.1007\/3-540-48249-0_13"},{"issue":"2","key":"7_CR21","doi-asserted-by":"publisher","first-page":"590","DOI":"10.1016\/j.engfailanal.2010.09.025","volume":"18","author":"Y Papadopoulos","year":"2011","unstructured":"Papadopoulos, Y., et al.: Engineering failure analysis and design optimisation with HiP-HOPS. Eng. Fail. Anal. 18(2), 590\u2013608 (2011)","journal-title":"Eng. Fail. Anal."},{"key":"7_CR22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-33361-8","volume-title":"Functional Safety for Road Vehicles","author":"HL Ross","year":"2016","unstructured":"Ross, H.L.: Functional Safety for Road Vehicles. Springer, Cham (2016). \n                      https:\/\/doi.org\/10.1007\/978-3-319-33361-8"},{"key":"7_CR23","volume-title":"Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE: Developing Cyber-Physical Systems","author":"B Selic","year":"2013","unstructured":"Selic, B., G\u00e9rard, S.: Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE: Developing Cyber-Physical Systems. Elsevier, Amsterdam (2013)"},{"key":"7_CR24","unstructured":"Mazzini, S., Favaro, J.M., Puri, S., Baracchi, L.: CHESS: an open source methodology and toolset for the development of critical systems. In: EduSymp\/OSS4MDE@MoDELS (2016)"},{"key":"7_CR25","volume-title":"Failure Mode and Effect Analysis: FMEA from Theory to Execution","author":"DH Stamatis","year":"2003","unstructured":"Stamatis, D.H.: Failure Mode and Effect Analysis: FMEA from Theory to Execution. ASQ Quality Press, Milwaukee (2003)"}],"container-title":["Lecture Notes in Computer Science","Model-Based Safety and Assessment"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-32872-6_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,10]],"date-time":"2019-10-10T19:07:41Z","timestamp":1570734461000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-32872-6_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030328719","9783030328726"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-32872-6_7","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":"11 October 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"IMBSA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Model-Based Safety and Assessment","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Thessaloniki","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","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":"16 October 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 October 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"imbsa2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/easyconferences.eu\/imbsa2019\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"46","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"24","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"52% - 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 (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}