{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T15:00:54Z","timestamp":1761490854673},"publisher-location":"Cham","reference-count":16,"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_5","type":"book-chapter","created":{"date-parts":[[2019,10,10]],"date-time":"2019-10-10T19:04:24Z","timestamp":1570734264000},"page":"63-77","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Integrating Existing Safety Analyses into SysML"],"prefix":"10.1007","author":[{"given":"Kester","family":"Clegg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mole","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Stamp","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alan","family":"Grigg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"McDermid","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,10,11]]},"reference":[{"key":"5_CR1","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"},{"issue":"1","key":"5_CR2","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, pp. 1322\u20131336, July 2018","journal-title":"INCOSE International Symposium"},{"issue":"7","key":"5_CR3","doi-asserted-by":"publisher","first-page":"747","DOI":"10.1016\/j.ress.2004.12.004","volume":"91","author":"M. Boiteau","year":"2006","unstructured":"Boiteau, M., Dutuit, Y., Rauzy, A., Signoret, J.P.: The AltaRica data-flow language in use: modeling of production availability of a multi-state system. Reliabil. Eng. Syst. Saf. 91(7), 747\u2013755 (2006). \n                      https:\/\/EconPapers.repec.org\/RePEc:eee:reensy:v:91:y:2006:i:7:p:747-755","journal-title":"Reliability Engineering & System Safety"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/978-3-030-26601-1_6","volume-title":"Computer Safety, Reliability, and Security","author":"K Clegg","year":"2019","unstructured":"Clegg, K., Li, M., Stamp, D., Grigg, A., McDermid, J.: A SysML profile for fault trees-linking safety models to system design. In: Romanovsky, A., Troubitsyna, E., Bitsch, F. (eds.) SAFECOMP 2019. LNCS, vol. 11698, pp. 85\u201393. Springer, Cham (2019). \n                      https:\/\/doi.org\/10.1007\/978-3-030-26601-1_6"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"David, P., Idasiak, V., Kratz, F.: Automating the synthesis of AltaRica Data-Flow models from SysML. In: Proceedings of ESREL 2009, vol. 1, November 2009","DOI":"10.1201\/9780203859759.ch15"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Day, J., Murray, A., Meakin, P.: Toward a model-based approach to flight system fault protection. In: 2012 IEEE Aerospace Conference, pp. 1\u201317. IEEE (2012)","DOI":"10.1109\/AERO.2012.6187443"},{"issue":"3","key":"5_CR7","doi-asserted-by":"publisher","first-page":"1219","DOI":"10.1109\/TR.2018.2849013","volume":"67","author":"CE Dickerson","year":"2018","unstructured":"Dickerson, C.E., Roslan, R., Ji, S.: A formal transformation method for automated fault tree generation from a UML activity model. IEEE Trans. Reliab. 67(3), 1219\u20131236 (2018)","journal-title":"IEEE Trans. Reliab."},{"issue":"1","key":"5_CR8","doi-asserted-by":"publisher","first-page":"24","DOI":"10.4271\/2014-01-2119","volume":"7","author":"S Fletcher","year":"2014","unstructured":"Fletcher, S., Norman, P., Galloway, S., Burt, G.: Impact of engine certification standards on the design requirements of More-Electric Engine electrical system architectures. SAE Int. J. Aerosp. 7(1), 24\u201334 (2014)","journal-title":"SAE Int. J. Aerosp."},{"key":"5_CR9","unstructured":"IEC 61025: Fault tree analysis (FTA): Standard, International Electrotechnical Commission, Geneva, CH, August 2006"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/11563228_10","volume-title":"Computer Safety, Reliability, and Security","author":"A Joshi","year":"2005","unstructured":"Joshi, A., Heimdahl, M.P.E.: Model-based safety analysis of simulink models using SCADE design verifier. In: Winther, R., Gran, B.A., Dahll, G. (eds.) SAFECOMP 2005. LNCS, vol. 3688, pp. 122\u2013135. Springer, Heidelberg (2005). \n                      https:\/\/doi.org\/10.1007\/11563228_10"},{"key":"5_CR11","doi-asserted-by":"publisher","unstructured":"Li, M., Batmaz, F., Guan, L., Grigg, A., Ingham, M., Bull, P.: Model-based systems engineering with requirements variability for embedded real-time systems. In: 2015 IEEE International Model-Driven Requirements Engineering Workshop (MoDRE), pp. 1\u201310, August 2015. \n                      https:\/\/doi.org\/10.1109\/MoDRE.2015.7343874","DOI":"10.1109\/MoDRE.2015.7343874"},{"key":"5_CR12","doi-asserted-by":"publisher","unstructured":"Lisagor, O., Kelly, T., Niu, R.: Model-based safety assessment: review of the discipline and its challenges. In: The Proceedings of 2011 9th International Conference on Reliability, Maintainability and Safety, pp. 625\u2013632, June 2011. \n                      https:\/\/doi.org\/10.1109\/ICRMS.2011.5979344","DOI":"10.1109\/ICRMS.2011.5979344"},{"key":"5_CR13","doi-asserted-by":"publisher","unstructured":"Rauzy, A., Bl\u00e9riot-Fabre, C.: Model-based safety assessment: rational and trends. In: 2014 10th France-Japan\/8th Europe-Asia Congress on Mecatronics, MECATRONICS 2014, Tokyo, pp. 1\u201310, November 2014. \n                      https:\/\/doi.org\/10.1109\/MECATRONICS.2014.7018626","DOI":"10.1109\/MECATRONICS.2014.7018626"},{"issue":"3","key":"5_CR14","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1080\/13873954.2017.1298624","volume":"23","author":"C Schallert","year":"2017","unstructured":"Schallert, C.: Automated safety analysis by minimal path set detection for multi-domain object-oriented models. Math. Comput. Model. Dyn. Syst. 23(3), 341\u2013360 (2017). \n                      https:\/\/doi.org\/10.1080\/13873954.2017.1298624","journal-title":"Math. Comput. Model. Dyn. Syst."},{"key":"5_CR15","doi-asserted-by":"publisher","first-page":"00219","DOI":"10.1051\/matecconf\/201713900219","volume":"139","author":"Nian Shao","year":"2017","unstructured":"Shao, N., Zhang, S., Liang, H.: Model-based safety analysis of a control system using Simulink and Simscape extended models. In: MATEC Web of Conferences, vol. 139, p. 00219 (2017). \n                      https:\/\/doi.org\/10.1051\/matecconf\/201713900219","journal-title":"MATEC Web of Conferences"},{"issue":"7","key":"5_CR16","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/j.ifacol.2015.06.466","volume":"48","author":"I Sorokos","year":"2015","unstructured":"Sorokos, I., Papadopoulos, Y., Azevedo, L., Parker, D., Walker, M.: Automating allocation of development assurance levels: an extension to HiP-HOP. IFAC-PapersOnLine 48(7), 9\u201314 (2015). 5th IFAC International Workshop on Dependable Control of Discrete Systems","journal-title":"IFAC-PapersOnLine"}],"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_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,10]],"date-time":"2019-10-10T19:07:48Z","timestamp":1570734468000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-32872-6_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030328719","9783030328726"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-32872-6_5","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)"}}]}}