{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:30:05Z","timestamp":1750221005393,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,7,27]],"date-time":"2019-07-27T00:00:00Z","timestamp":1564185600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,7,27]]},"DOI":"10.1145\/3348445.3351305","type":"proceedings-article","created":{"date-parts":[[2019,9,16]],"date-time":"2019-09-16T12:14:07Z","timestamp":1568636047000},"page":"58-62","source":"Crossref","is-referenced-by-count":0,"title":["Model-Driven approach to Integrate Requirements for Safety-Critical Systems"],"prefix":"10.1145","author":[{"given":"Khushbakht","family":"Iqtidar","sequence":"first","affiliation":[{"name":"National University of Sciences and Technology (NUST), Islamabad, Pakistan"}]},{"given":"Farooque","family":"Azam","sequence":"additional","affiliation":[{"name":"National University of Sciences and Technology (NUST), Islamabad, Pakistan"}]},{"given":"Muhammad Waseem","family":"Anwar","sequence":"additional","affiliation":[{"name":"National University of Sciences and Technology (NUST), Islamabad, Pakistan"}]},{"given":"Anam","family":"Amjad","sequence":"additional","affiliation":[{"name":"National University of Sciences and Technology (NUST), Islamabad, Pakistan"}]}],"member":"320","published-online":{"date-parts":[[2019,7,27]]},"reference":[{"issue":"921","key":"e_1_3_2_1_1_1","first-page":"930","article-title":"Design verification of instrumentation and control systems of NPP","volume":"61","author":"Lalit Kumar Singh","year":"2014","journal-title":"IEEE Trans. Nucl. Sci."},{"key":"e_1_3_2_1_2_1","article-title":"Design of safety critical and control systems of Nuclear Power Plants using Petri nets","author":"Singh L.K.","year":"2019","journal-title":"Journal of \"Nuclear Engineering and Technology\"."},{"issue":"35","key":"e_1_3_2_1_3_1","first-page":"36","volume":"175","author":"Artho C.","year":"2019","journal-title":"Journal of \"Science of Computer Programming\", Elsevier"},{"volume-title":"Yu H., Li X., Murray R., Ramesh S., Tomlin C. (eds) Safe, Autonomous and Intelligent Vehicles. Unmanned System Technologies","year":"2019","author":"Zheng B.","key":"e_1_3_2_1_4_1"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2016.11.031"},{"key":"e_1_3_2_1_6_1","unstructured":"X. Li Z. Liu and J. He \"Consistency checking of UML requirements \" Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems ICECC 2005. 10.1109\/ICECCS.2005.28   X. Li Z. Liu and J. He \"Consistency checking of UML requirements \" Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems ICECC 2005. 10.1109\/ICECCS.2005.28"},{"key":"e_1_3_2_1_7_1","unstructured":"Z. Li Z. Wang A. Zhang and Y. Xu \"The Domain Ontology and Domain Rules Based Requirements Model Checking \" International Journal of Software Engineering and Its Applications Vol. 1 No. 1 July 2007.  Z. Li Z. Wang A. Zhang and Y. Xu \"The Domain Ontology and Domain Rules Based Requirements Model Checking \" International Journal of Software Engineering and Its Applications Vol. 1 No. 1 July 2007."},{"key":"e_1_3_2_1_8_1","unstructured":"X. Zhu and J. Zhi \"Inconsistency Measurement of Software Requirements Specifications an Ontology-Based Approach \" Proceedings of the 10th IEEE International Conference on engineering of Complex Computer Systems 2005. 10.1109\/ICECCS.2005.55   X. Zhu and J. Zhi \"Inconsistency Measurement of Software Requirements Specifications an Ontology-Based Approach \" Proceedings of the 10th IEEE International Conference on engineering of Complex Computer Systems 2005. 10.1109\/ICECCS.2005.55"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEMAPRO.2009.11"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3098239"},{"key":"e_1_3_2_1_11_1","unstructured":"Ji\u0159\u00ed Barnat Petr Bauch Nikola Bene\u0161 Lubo\u0161 Brim Jan Beran and Tom\u00e1\u0161 Kratochv\u00edla. 2016. Analysing sanity of requirements for avionics systems. Formal Aspects of Computing (2016). DOI:http: \/\/dx.doi.org\/10.1007\/s00165-015-0348-9 10.1007\/s00165-015-0348-9   Ji\u0159\u00ed Barnat Petr Bauch Nikola Bene\u0161 Lubo\u0161 Brim Jan Beran and Tom\u00e1\u0161 Kratochv\u00edla. 2016. Analysing sanity of requirements for avionics systems. Formal Aspects of Computing (2016). DOI:http: \/\/dx.doi.org\/10.1007\/s00165-015-0348-9 10.1007\/s00165-015-0348-9"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33826-7_4"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2016.04.002"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICOS.2013.6735072"},{"key":"e_1_3_2_1_15_1","first-page":"1","volume-title":"Sixth International Conference on Research Challenges in In- formation Science (RCIS)","author":"Iankoulova M.","year":"2011"},{"key":"e_1_3_2_1_16_1","unstructured":"Martins L. E. & Gorschek T. (2017). Requirements engineering for safety-critical systems: overview and challenges. IEEE Software.  Martins L. E. & Gorschek T. (2017). Requirements engineering for safety-critical systems: overview and challenges. IEEE Software."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/SOSE.2017.16"},{"volume-title":"Stuttgart: Fraunhofer-Verl","year":"2011","author":"D\u00f6rr","key":"e_1_3_2_1_18_1"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","unstructured":"B. Baudry C. Nebut and Y. Le Traon \"Model-Driven Engineering for Requirements Analysis \" in 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007) p. 459.   B. Baudry C. Nebut and Y. Le Traon \"Model-Driven Engineering for Requirements Analysis \" in 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007) p. 459.","DOI":"10.1109\/EDOC.2007.15"},{"volume-title":"Berlin and New York: Springer","year":"2012","author":"Pohl R.","key":"e_1_3_2_1_20_1"},{"key":"e_1_3_2_1_21_1","unstructured":"J. H. Hausmann R. Heckel and G. Taentzer \"De-tection of conflicting functional requirements in a use case-driven approach \" in the 24th international conference p. 105. 10.1145\/581339.581355   J. H. Hausmann R. Heckel and G. Taentzer \"De-tection of conflicting functional requirements in a use case-driven approach \" in the 24th international conference p. 105. 10.1145\/581339.581355"}],"event":{"name":"ICCCM 2019: The 7th International Conference on Computer and Communications Management","sponsor":["Chongqing University of Posts and Telecommunications"],"location":"Bangkok Thailand","acronym":"ICCCM 2019"},"container-title":["Proceedings of the 2019 7th International Conference on Computer and Communications Management"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3348445.3351305","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/dl.acm.org\/ft_gateway.cfm?id=3351305&ftid=2084065&dwn=1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:25:53Z","timestamp":1750206353000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3348445.3351305"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,7,27]]},"references-count":21,"alternative-id":["10.1145\/3348445.3351305","10.1145\/3348445"],"URL":"https:\/\/doi.org\/10.1145\/3348445.3351305","relation":{},"subject":[],"published":{"date-parts":[[2019,7,27]]}}}