{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T11:40:00Z","timestamp":1726054800444},"publisher-location":"Cham","reference-count":19,"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_4","type":"book-chapter","created":{"date-parts":[[2019,10,10]],"date-time":"2019-10-10T19:04:24Z","timestamp":1570734264000},"page":"47-62","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["A Domain Specific Language to Support HAZOP Studies of SysML Models"],"prefix":"10.1007","author":[{"given":"Arut Prakash","family":"Kaleeswaran","sequence":"first","affiliation":[]},{"given":"Peter","family":"Munk","sequence":"additional","affiliation":[]},{"given":"Samir","family":"Sarkic","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Vogel","sequence":"additional","affiliation":[]},{"given":"Arne","family":"Nordmann","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,10,11]]},"reference":[{"key":"4_CR1","unstructured":"IEC 61882:2016: Hazard and Operability studies (HAZOP studies) - Application guide (2001)"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Amarnath, R., Munk, P., Thaden, E., Nordmann, A., Burton, S.: Dependability challenges in the model-driven engineering of automotive systems. In: IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (2016)","DOI":"10.1109\/ISSREW.2016.15"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Attasara-Mason, P.: Safety critical computer systems: an information management perspective on their development. In: International Conference on Management of Innovation and Technology, pp. 1271\u20131276, September 2008","DOI":"10.1109\/ICMIT.2008.4654553"},{"key":"4_CR4","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/j.jhazmat.2009.08.076","volume":"173","author":"J Dunj\u00f3","year":"2010","unstructured":"Dunj\u00f3, J., Fthenakis, V., V\u00edlchez, J.A., Arnaldos, J.: Hazard and operability (HAZOP) analysis. A Lit. Review. J. Hazard. Mater. 173, 19\u201332 (2010)","journal-title":"A Lit. Review. J. Hazard. Mater."},{"issue":"3","key":"4_CR5","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1016\/0164-1212(93)90029-W","volume":"21","author":"P Fenelon","year":"1993","unstructured":"Fenelon, P., McDermid, J.A.: An integrated tool set for software safety analysis. J. Syst. Softw. 21(3), 279\u2013290 (1993)","journal-title":"J. Syst. Softw."},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/11921998_17","volume-title":"Quality of Software Architectures","author":"L Grunske","year":"2006","unstructured":"Grunske, L.: Towards an integration of standard component-based safety evaluation techniques with SaveCCM. In: Hofmeister, C., Crnkovic, I., Reussner, R. (eds.) QoSA 2006. LNCS, vol. 4214, pp. 199\u2013213. Springer, Heidelberg (2006). \n                      https:\/\/doi.org\/10.1007\/11921998_17"},{"key":"4_CR7","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/j.ssci.2015.12.017","volume":"84","author":"J Guiochet","year":"2016","unstructured":"Guiochet, J.: Hazard analysis of human-robot interactions with HAZOP-UML. Saf. Sci. 84, 225\u2013237 (2016)","journal-title":"Saf. Sci."},{"key":"4_CR8","unstructured":"Joshi, A., Vestal, S., Binns, P.: Automatic generation of static fault trees from AADL models. In: DSN 2007 Workshop on Architecting Dependable Systems (2007)"},{"key":"4_CR9","first-page":"211","volume":"80","author":"H Lhannaoui","year":"2015","unstructured":"Lhannaoui, H., Kabbaj, M.I., Bakkoury, Z.: A conceptual metamodel approach to analysing risks in business process models. J. Theor. Appl. Inf. Technol. 80, 211\u2013220 (2015)","journal-title":"J. Theor. Appl. Inf. Technol."},{"key":"4_CR10","unstructured":"Marius Hansen, K., Wells, L., Maier, T.: HAZOP analysis of UML-based software architecture descriptions of safety-critical systems. In: Proceedings of NWUML 2004: 2nd Nordic Workshop on the Unified Modeling Language, number 35 in TUCS General Publication (2004)"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Munk, P., et al.: Semi-automatic safety analysis and optimization. In: 55th ACM\/ESDA\/IEEE Design Automation Conference (DAC) (2018)","DOI":"10.1109\/DAC.2018.8465805"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Nordmann, A., Munk, P.: Lessons learned from model-based safety assessment with SysML and component fault trees. In: Proceedings of the 21th ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems, pp. 134\u2013143 (2018)","DOI":"10.1145\/3239372.3239373"},{"key":"4_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"474","DOI":"10.1007\/978-3-540-27863-4_26","volume-title":"Integration of Software Specification Techniques for Applications in Engineering","author":"F Ortmeier","year":"2004","unstructured":"Ortmeier, F., Thums, A., Schellhorn, G., Reif, W.: Combining formal methods and safety analysis \u2013 the ForMoSA approach. In: Ehrig, H., et al. (eds.) Integration of Software Specification Techniques for Applications in Engineering. LNCS, vol. 3147, pp. 474\u2013493. Springer, Heidelberg (2004). \n                      https:\/\/doi.org\/10.1007\/978-3-540-27863-4_26"},{"issue":"3","key":"4_CR14","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/S0951-8320(00)00076-4","volume":"71","author":"Y Papadopoulos","year":"2001","unstructured":"Papadopoulos, Y., McDermid, J., Sasse, R., Heiner, G.: Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure. Reliab. Eng. Syst. Saf. 71(3), 229\u2013247 (2001)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"4_CR15","unstructured":"Papadopoulos, Y., Parker, D., Grante, C.: Automating the failure modes and effects analysis of safety critical systems. In: Proceedings of the 8th International Symposium on High Assurance Systems Engineering, pp. 310\u2013311. IEEE (2004)"},{"key":"4_CR16","doi-asserted-by":"publisher","DOI":"10.1002\/9781118281116","volume-title":"Risk Assessment","author":"Marvin Rausand","year":"2011","unstructured":"Rausand, M.: Risk Assessment: Theory, Methods, and Applications (2011)"},{"key":"4_CR17","unstructured":"Robert Bosch GmbH: The BRS boost recuperation system: increased power, enhanced comfort and lower fuel consumption. \n                      https:\/\/www.bosch-presse.de\/pressportal\/de\/media\/migrated_download\/de\/BRS_Broschuere_RZ_en.pdf"},{"key":"4_CR18","doi-asserted-by":"publisher","first-page":"635","DOI":"10.1016\/j.psep.2017.07.023","volume":"111","author":"J Taylor","year":"2017","unstructured":"Taylor, J.: Automated HAZOP revisited. Process Saf. Environ. Prot. 111, 635\u2013651 (2017)","journal-title":"Process Saf. Environ. Prot."},{"key":"4_CR19","doi-asserted-by":"publisher","first-page":"2507","DOI":"10.1007\/s10270-018-0679-0","volume":"18","author":"M V\u00f6lter","year":"2018","unstructured":"V\u00f6lter, M., et al.: Using language workbenches and domain-specific languages for safety-critical software development. Softw. Syst. Model. 18, 2507\u20132530 (2018)","journal-title":"Softw. Syst. Model."}],"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_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,10]],"date-time":"2019-10-10T19:07:08Z","timestamp":1570734428000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-32872-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030328719","9783030328726"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-32872-6_4","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)"}}]}}