{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T10:00:07Z","timestamp":1742983207012,"version":"3.40.3"},"publisher-location":"Cham","reference-count":39,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031158414"},{"type":"electronic","value":"9783031158421"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-15842-1_4","type":"book-chapter","created":{"date-parts":[[2022,9,8]],"date-time":"2022-09-08T04:02:50Z","timestamp":1662609770000},"page":"43-59","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Modeling the Variability of System Safety Analysis Using State-Machine Diagrams"],"prefix":"10.1007","author":[{"given":"Lucas","family":"Bressan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andr\u00e9 L.","family":"de Oliveira","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernanda C.","family":"Campos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leonardo","family":"Montecchi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rafael","family":"Capilla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Parker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Koorosh","family":"Aslansefat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yiannis","family":"Papadopoulos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,9,9]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Wolschke, C., Becker, M., Schneickert, S., Adler, R., MacGregor, J.: Industrial perspective on reuse of safety artifacts in software product lines. In: Proceedings of the 23rd International Systems and Software Product Line Conference (SPLC 2019), Paris, France. ACM, NY, USA, pp. 143\u2013152 (2019)","DOI":"10.1145\/3336294.3336315"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Pohl, P., H\u00f6chsmann, M., Wohlgemuth, P., Tischer, C.: Variant management solution for large scale software product lines. In: Proceedings of the 40th International Conference on Software Engineering: Software Engineering in Practice, Gothenburg, Sweden. ACM, New York, NY, USA, pp. 85\u201394 (2018)","DOI":"10.1145\/3183519.3183523"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Tischer, C., Muller, A., Mandl, T., Krause, R.: Experiences from a large scale software product line merger in the automotive domain. In: Proceedings of the 15th International Software Product Line Conference, Munich, Germany, pp. 267\u2013276 (2011)","DOI":"10.1109\/SPLC.2011.15"},{"key":"4_CR4","unstructured":"SPLC.net. SPLC hall of the fame: General Motors Powertrain (GMPW) (2019). https:\/\/splc.net\/fame\/general-motors-powertrain. Accessed 10 July 2022"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Schulze, M., Mauersberger, J., Beuche, D.: Functional safety and variability: can it be brought together? In: Proceedings of the 17th International Software Product Line Conference, Tokyo, Japan. ACM, NY, USA, pp. 236\u2013243 (2013)","DOI":"10.1145\/2491627.2491654"},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-90421-4_1","volume-title":"New Opportunities for Software Reuse","author":"AL de Oliveira","year":"2018","unstructured":"de Oliveira, A.L., Braga, R.T.V., Masiero, P.C., Papadopoulos, Y., Habli, I., Kelly, T.: Variability management in safety-critical software product line engineering. In: Capilla, R., Gallina, B., Cetina, C. (eds.) ICSR 2018. LNCS, vol. 10826, pp. 3\u201322. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-90421-4_1"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Domis, D., Adler, R., Becker, M.: Integrating variability and safetyanalysis models using commercial UML-based tools. In: Proceedings of the 19th International Software Product Conference, Nashville, USA. ACM, NY, USA, 20\u201324 July, pp. 225\u2013234 (2015)","DOI":"10.1145\/2791060.2791088"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Oliveira, A.L., et al.: Variability management in safety-critical systems design and dependability analysis. J. Softw.: Evol. Process 31(8), pp. 1\u201328 (2019)","DOI":"10.1002\/smr.2202"},{"key":"4_CR9","unstructured":"Clements, P., Northrop, L.: Software Product Lines: Practices and Patterns. Addison-Wesley, Boston (2001)"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Dehlinger, J., Lutz, R.: Software fault tree analysis for product lines. In: Proceedings of the 8th IEEE International Symposium. on High Assurance Systems Engineering, Tampa, USA, pp. 12\u201321 (2004)","DOI":"10.1109\/HASE.2004.1281726"},{"issue":"2","key":"4_CR11","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/j.jss.2005.02.028","volume":"78","author":"Q Feng","year":"2005","unstructured":"Feng, Q., Lutz, R.: Bi-directional safety analysis of product lines. J. Syst. Softw. 78(2), 111\u2013117 (2005)","journal-title":"J. Syst. Softw."},{"key":"4_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/978-3-642-15651-9_3","volume-title":"Computer Safety, Reliability, and Security","author":"C G\u00f3mez","year":"2010","unstructured":"G\u00f3mez, C., Liggesmeyer, P., Sutor, A.: Variability management of safety and reliability models: an intermediate model towards systematic reuse of component fault trees. In: Schoitsch, E. (ed.) SAFECOMP 2010. LNCS, vol. 6351, pp. 28\u201340. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15651-9_3"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Liu, J., Dehlinger, J., Lutz, R.: Safety analysis of software product lines using stated modeling. J. Syst. Softw. 80(11), pp. 1879\u20131892 (2007)","DOI":"10.1016\/j.jss.2007.01.047"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"K\u00e4\u00dfmeyer, M., Schulze, M., Schurius, M.: A process to support asystematic change impact analysis of variability and safety in automotive functions. In: Proceedings of the 19th International Software Product Line Conference, Nashville, USA. ACM, NY, USA, pp. 235\u2013244 (2015)","DOI":"10.1145\/2791060.2791079"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"K\u00e4\u00dfmeyer, M., Moncada, D.S.V., Schurius, M.: Evaluation of asystematic approach in variant management for safety-critical systemsdevelopment. In: Proceedings of 13th International Conference on Embedded and Ubiquitous Computing, IEEE, Porto, Portugal, pp. 35\u201343 (2015)","DOI":"10.1109\/EUC.2015.12"},{"issue":"1","key":"4_CR16","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1109\/TR.2019.2898351","volume":"69","author":"L Montecchi","year":"2020","unstructured":"Montecchi, L., Lollini, P., Bondavalli, A.: A template-based methodology for the specification and automated composition of performability models. In IEEE Transactions on Reliability 69(1), 293\u2013309 (2020)","journal-title":"In IEEE Transactions on Reliability"},{"key":"4_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-030-58920-2_12","volume-title":"Model-Based Safety and Assessment","author":"L Bressan","year":"2020","unstructured":"Bressan, L., de Oliveira, A.L., Campos, F., Papadopoulos, Y., Parker, D.: An integrated approach to support the process-based certification of variant-intensive systems. In: Zeller, M., H\u00f6fig, K. (eds.) IMBSA 2020. LNCS, vol. 12297, pp. 179\u2013193. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-58920-2_12"},{"key":"4_CR18","unstructured":"SAE. Architecture Analysis & Design Language (AADL) AS5506C, SAE (2017). https:\/\/www.sae.org\/standards\/content\/as5506c\/"},{"key":"4_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1007\/978-3-642-16145-2_24","volume-title":"Model Driven Engineering Languages and Systems","author":"Shin\u2019ichi Shiraishi,","year":"2010","unstructured":"Shin\u2019ichi Shiraishi,: An AADL-based approach to variability modeling of automotive control systems. In: Petriu, D.C., Rouquette, N., Haugen, \u00d8. (eds.) MODELS 2010. LNCS, vol. 6394, pp. 346\u2013360. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-16145-2_24"},{"key":"4_CR20","unstructured":"Intecs, CHESS Modelling Language: A UML\/MARTE\/SysML profile. (2020) https:\/\/www.eclipse.org\/chess\/publis\/CHESSMLprofile.pdf"},{"key":"4_CR21","unstructured":"Mazzini, S., Favaro, J., Puri, S., Baracchi, L.: CHESS: an open source methodology and toolset for the development of critical systems. In: Join Proceedings of EduSymp, pp. 59\u201366 (2016)"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Gallina, B., Javed, A. M., Muram, F. U., Punnekkat, S.: Model-driven dependability analysis method for component-based architectures. In: Proceedings of the Euromicro-SEAA Conference, Cesme, Izmir, Turkey, pp. 233\u2013240 (2012)","DOI":"10.1109\/SEAA.2012.35"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"Delange, J., Feiler, P., Gluch, D., Hudak, J.: AADL fault modeling and analysis within an ARP4761 safety assessment. Technical report, Carnegie Mellon Software Engineering Instiute (2013)","DOI":"10.21236\/ADA610294"},{"issue":"2","key":"4_CR24","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 optimization with HiP-HOPS. J. Eng. Fail. Anal. 18(2), 590\u2013608 (2011)","journal-title":"J. Eng. Fail. Anal."},{"key":"4_CR25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36583-6","volume-title":"Systems and Software Variability Management","year":"2013","unstructured":"Capilla, R., Bosch, J., Kang, K.-C. (eds.): Systems and Software Variability Management. Springer, Berlin, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-36583-6"},{"key":"4_CR26","doi-asserted-by":"crossref","unstructured":"Vasilevskiy, A. Haugen, \u00d8., Chauvel, F., Johansen, M. F., Shimbara, D.: The BVR tool bundle to support product line engineering. In: Proceedings of the 19th International Software Product Line Conference, Nashville, USA, ACM, NY, pp. 380\u2013384 (2015)","DOI":"10.1145\/2791060.2791094"},{"key":"4_CR27","doi-asserted-by":"crossref","unstructured":"Haugen, \u00d8., Moller-Pedersen, B., Oldevik, J., Olsen, G. K., Svendsen, A.: Adding standardized variability to domain specific languages. In: Proceedings of the 12th International Software Product Line Conference, IEEE, pp. 139\u2013148 (2008)","DOI":"10.1109\/SPLC.2008.25"},{"key":"4_CR28","unstructured":"ISO: ISO 26262: Road Vehicles Functional Safety (2018)"},{"key":"4_CR29","unstructured":"Thomas, E.: Certification Cost Estimates for Future Communication Radio Platforms. Rockwell Collins Inc., Technical Report (2009)"},{"key":"4_CR30","doi-asserted-by":"crossref","unstructured":"Montecchi, L., Gallina, B.: SafeConcert: a metamodel for a concerted safetymodeling of socio-technical systems In: 5th International Symposium onModel-Based Safety and Assessment, vol. 10437 of LNCS, Trento, Italy, pp. 129\u2013144 (2017)","DOI":"10.1007\/978-3-319-64119-5_9"},{"key":"4_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1007\/978-3-662-49674-9_31","volume-title":"Tools and algorithms for the construction and analysis of systems","author":"B Bittner","year":"2016","unstructured":"Bittner, B., et al.: The xSAP Safety Analysis Platform. In: Chechik, M., Raskin, J.-F. (eds.) TACAS 2016. LNCS, vol. 9636, pp. 533\u2013539. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-662-49674-9_31"},{"key":"4_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-642-15579-6_3","volume-title":"Software product lines: going beyond","author":"K Lee","year":"2010","unstructured":"Lee, K., Kang, K.C.: Usage Context as Key Driver for Feature Selection. In: Bosch, J., Lee, J. (eds.) SPLC 2010. LNCS, vol. 6287, pp. 32\u201346. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15579-6_3"},{"key":"4_CR33","unstructured":"De Castro, R., Ara\u00fajo, R.E., Freitas, D.: Hybrid ABS with electric motor and friction brakes. In: Proceedings of the 22nd International Symposium on Dynamics of Vehicles on Roads and Tracks, Manchester, UK (2011)"},{"key":"4_CR34","unstructured":"HBS, Case Study. https:\/\/github.com\/aloliveira\/hbs"},{"issue":"1","key":"4_CR35","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1109\/MS.2013.118","volume":"31","author":"L Azevedo","year":"2014","unstructured":"Azevedo, L., Parker, D., Walker, M., Papadopoulos, Y., Ara\u00fajo, R.: Assisted assignment of automotive safety requirements. IEEE Softw. 31(1), 62\u201368 (2014)","journal-title":"IEEE Softw."},{"issue":"3","key":"4_CR36","first-page":"1","volume":"5","author":"H Blom","year":"2016","unstructured":"Blom, H., et al.: EAST-ADL: An architecture description language for automotive software-intensive systems in the light of recent use and research. Int. J. Syst. Dyn. Appl. (IJSDA) 5(3), 1\u201320 (2016)","journal-title":"Int. J. Syst. Dyn. Appl. (IJSDA)"},{"key":"4_CR37","unstructured":"AltaRica Project. Methods and Tools for AltaRica Language. https:\/\/altarica.labri.fr\/wp\/?page_id=23 (2020)"},{"key":"4_CR38","first-page":"109","volume":"34","author":"A Arnold","year":"2000","unstructured":"Arnold, A., Gerald, P., Griffault, A., Rauzy, A.: The Altarica formalism for describing concurrent systems. Fund. Inform. 34, 109\u2013124 (2000)","journal-title":"Fund. Inform."},{"key":"4_CR39","doi-asserted-by":"crossref","unstructured":"Bozzano, M., Villafiorita, A.: The FSAP\/NuSMV-SA safety analysis platform. Int. J. Softw. Tools Technol. Transfers (STTT) \u2013 Special Section on Advances in Automated Verification of Critical Systems, 9(1), 5\u201324 (2006)","DOI":"10.1007\/s10009-006-0001-2"}],"container-title":["Lecture Notes in Computer Science","Model-Based Safety and Assessment"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-15842-1_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,3]],"date-time":"2024-10-03T11:57:33Z","timestamp":1727956653000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-15842-1_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031158414","9783031158421"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-15842-1_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"9 September 2022","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":"Munich","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 September 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 September 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"imbsa2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/easyconferences.eu\/imbsa2022\/","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":"27","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":"15","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":"3","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":"56% - 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":"2","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":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}