{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T23:41:39Z","timestamp":1743032499554,"version":"3.40.3"},"publisher-location":"Cham","reference-count":36,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319904207"},{"type":"electronic","value":"9783319904214"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","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":[[2018]]},"DOI":"10.1007\/978-3-319-90421-4_8","type":"book-chapter","created":{"date-parts":[[2018,4,16]],"date-time":"2018-04-16T11:15:45Z","timestamp":1523877345000},"page":"121-136","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Assuring Virtual PLC in the Context of SysML Models"],"prefix":"10.1007","author":[{"given":"Mounifah","family":"Alenazi","sequence":"first","affiliation":[]},{"given":"Deepak","family":"Reddy","sequence":"additional","affiliation":[]},{"given":"Nan","family":"Niu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,4,17]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Alenazi, M., Niu, N., Wang, W., Gupta, A.: Traceability for automated production systems: a position paper. In: 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW), pp. 51\u201355. IEEE (2017)","DOI":"10.1109\/REW.2017.55"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Arunthavanathan, A., Shanmugathasan, S., Ratnavel, S., Thiyagarajah, V., Perera, I., Meedeniya, D., Balasubramaniam, D.: Support for traceability management of software artefacts using natural language processing. In: Moratuwa Engineering Research Conference (MERCon 2016), pp. 18\u201323. IEEE (2016)","DOI":"10.1109\/MERCon.2016.7480109"},{"key":"8_CR3","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-319-14968-4_2","volume-title":"Dependability in Medicine and Neurology","author":"Nikhil Balakrishnan","year":"2015","unstructured":"Balakrishnan, N.: An overview of system safety assessment. In: Dependability in Medicine and Neurology, pp. 33\u201381. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-14968-4_2"},{"key":"8_CR4","doi-asserted-by":"publisher","first-page":"51","DOI":"10.3141\/2625-06","volume":"2625","author":"P Bhavsar","year":"2017","unstructured":"Bhavsar, P., Das, P., Paugh, M., Dey, K., Chowdhury, M.: Risk analysis of autonomous vehicles in mixed traffic streams. Transp. Res. Rec. J. Transp. Res. Board 2625, 51\u201361 (2017)","journal-title":"Transp. Res. Rec. J. Transp. Res. Board"},{"issue":"1","key":"8_CR5","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":"8_CR6","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/j.procs.2013.01.021","volume":"16","author":"C Brecher","year":"2013","unstructured":"Brecher, C., Nittinger, J.A., Karlberger, A.: Model-based control of a handling system with SysML. Procedia Comput. Sci. 16, 197\u2013205 (2013)","journal-title":"Procedia Comput. Sci."},{"issue":"1","key":"8_CR7","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/2559978","volume":"23","author":"L Briand","year":"2014","unstructured":"Briand, L., Falessi, D., Nejati, S., Sabetzadeh, M., Yue, T.: Traceability and SysML design slices to support safety inspections: a controlled experiment. ACM Trans. Softw. Eng. Methodol. (TOSEM) 23(1), 9 (2014)","journal-title":"ACM Trans. Softw. Eng. Methodol. (TOSEM)"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Cleland-Huang, J., Gotel, O.C., Huffman Hayes, J., M\u00e4der, P., Zisman, A.: Software traceability: trends and future directions. In: Proceedings of the on Future of Software Engineering, pp. 55\u201369. ACM (2014)","DOI":"10.1145\/2593882.2593891"},{"key":"8_CR9","unstructured":"Crisp, H.: INCOSE systems engineering vision 2020. Technical report, INCOSE-TP-2004-004-02, September 2007"},{"key":"8_CR10","unstructured":"Delgoshaei, P., Austin, M.A., Veronica, D.A.: A semantic platform infrastructure for requirements traceability and system assessment. In: The Ninth International Conference on Systems (ICONS 2014), pp. 215\u2013219 (2014)"},{"key":"8_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04282-9","volume-title":"Emerging Techniques in Power System Analysis","author":"Z Dong","year":"2010","unstructured":"Dong, Z., Zhang, P.: Emerging Techniques in Power System Analysis. Springer, Berlin (2010). https:\/\/doi.org\/10.1007\/978-3-642-04282-9"},{"key":"8_CR12","first-page":"121","volume":"31","author":"EN Efthimiadis","year":"1996","unstructured":"Efthimiadis, E.N.: Query expansion. Ann. Rev. Inf. Sci. Technol. (ARIST) 31, 121\u2013187 (1996)","journal-title":"Ann. Rev. Inf. Sci. Technol. (ARIST)"},{"issue":"3","key":"8_CR13","first-page":"389","volume":"2","author":"SA Elavarasi","year":"2014","unstructured":"Elavarasi, S.A., Akilandeswari, J., Menaga, K.: A survey on semantic similarity measure. Int. J. Res. Advent Technol. 2(3), 389\u2013398 (2014)","journal-title":"Int. J. Res. Advent Technol."},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Gali, N., Mariescu-Istodor, R., Fr\u00e4nti, P.: Similarity measures for title matching. In: 2016 23rd International Conference on Pattern Recognition (ICPR), pp. 1548\u20131553. IEEE (2016)","DOI":"10.1109\/ICPR.2016.7899857"},{"issue":"13","key":"8_CR15","first-page":"13","volume":"68","author":"WH Gomaa","year":"2013","unstructured":"Gomaa, W.H., Fahmy, A.A.: A survey of text similarity approaches. Int. J. Comput. Appl. 68(13), 13\u201318 (2013)","journal-title":"Int. J. Comput. Appl."},{"key":"8_CR16","unstructured":"Hart, L.E.: Introduction to model-based system engineering (MBSE) and SysML. In: Delaware Valley INCOSE Chapter Meeting, Ramblewood Country Club, Mount Laurel, New Jersey (2015)"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"Hayes, J.H., Dekhtyar, A., Osborne, J.: Improving requirements tracing via information retrieval. In: Proceedings of the 11th IEEE International Requirements Engineering Conference, pp. 138\u2013147. IEEE (2003)","DOI":"10.1109\/ICRE.2003.1232745"},{"issue":"3","key":"8_CR18","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1109\/TR.1985.5222114","volume":"34","author":"WS Lee","year":"1985","unstructured":"Lee, W.S., Grosh, D.L., Tillman, F.A., Lie, C.H.: Fault tree analysis, methods, and applications a review. IEEE Trans. Reliab. 34(3), 194\u2013203 (1985)","journal-title":"IEEE Trans. Reliab."},{"issue":"3","key":"8_CR19","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/s00766-013-0199-y","volume":"20","author":"A Mahmoud","year":"2015","unstructured":"Mahmoud, A., Niu, N.: On the role of semantics in automated requirements tracing. Requirements Eng. 20(3), 281\u2013300 (2015)","journal-title":"Requirements Eng."},{"issue":"1","key":"8_CR20","first-page":"39","volume":"4","author":"MS Martis","year":"2006","unstructured":"Martis, M.S.: Validation of simulation based models: a theoretical outlook. Electron. J. Bus. Res. Methods 4(1), 39\u201346 (2006)","journal-title":"Electron. J. Bus. Res. Methods"},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"Mhenni, F., Choley, J.Y., Nguyen, N.: SysML extensions for safety-critical mechatronic systems design. In: 2015 IEEE International Symposium on Systems Engineering (ISSE), pp. 242\u2013247. IEEE (2015)","DOI":"10.1109\/SysEng.2015.7302764"},{"key":"8_CR22","doi-asserted-by":"crossref","unstructured":"M\u00fcller, M., Roth, M., Lindemann, U.: The hazard analysis profile: linking safety analysis and SysML. In: 2016 Annual IEEE Systems Conference (SysCon), pp. 1\u20137. IEEE (2016)","DOI":"10.1109\/SYSCON.2016.7490532"},{"key":"8_CR23","doi-asserted-by":"crossref","unstructured":"Nejati, S., Sabetzadeh, M., Arora, C., Briand, L.C., Mandoux, F.: Automated change impact analysis between SysML models of requirements and design. In: Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp. 242\u2013253. ACM (2016)","DOI":"10.1145\/2950290.2950293"},{"key":"8_CR24","doi-asserted-by":"crossref","unstructured":"Niu, N., Wang, W., Gupta, A.: Gray links in the use of requirements traceability. In: Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp. 384\u2013395. ACM (2016)","DOI":"10.1145\/2950290.2950354"},{"issue":"3","key":"8_CR25","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/j.ress.2004.07.019","volume":"88","author":"Y Oh","year":"2005","unstructured":"Oh, Y., Yoo, J., Cha, S., Son, H.S.: Software safety analysis of function block diagrams using fault trees. Reliab. Eng. Syst. Saf. 88(3), 215\u2013228 (2005)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"8_CR26","doi-asserted-by":"crossref","unstructured":"Pedersen, T., Patwardhan, S., Michelizzi, J.: WordNet::Similarity: measuring the relatedness of concepts. In: Demonstration Papers at HLT-NAACL 2004, pp. 38\u201341. Association for Computational Linguistics (2004)","DOI":"10.3115\/1614025.1614037"},{"key":"8_CR27","unstructured":"Powers, D.M.: What the f-measure doesn\u2019t measure. Technical report, Beijing University of Technology, China & Flinders University, Australia (2014)"},{"key":"8_CR28","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/j.cosrev.2015.03.001","volume":"15","author":"E Ruijters","year":"2015","unstructured":"Ruijters, E., Stoelinga, M.: Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools. Comput. Sci. Rev. 15, 29\u201362 (2015)","journal-title":"Comput. Sci. Rev."},{"key":"8_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/11563228_23","volume-title":"Computer Safety, Reliability, and Security","author":"K Sacha","year":"2005","unstructured":"Sacha, K.: Automatic code generation for PLC controllers. In: Winther, R., Gran, B.A., Dahll, G. (eds.) SAFECOMP 2005. LNCS, vol. 3688, pp. 303\u2013316. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11563228_23"},{"key":"8_CR30","doi-asserted-by":"crossref","unstructured":"Schafer, W., Wehrheim, H.: The challenges of building advanced mechatronic systems. In: Future of Software Engineering, FOSE 2007, pp. 72\u201384. IEEE (2007)","DOI":"10.1109\/FOSE.2007.28"},{"key":"8_CR31","doi-asserted-by":"crossref","unstructured":"Slimani, T.: Description and evaluation of semantic similarity measures approaches. arXiv preprint arXiv:1310.8059 (2013)","DOI":"10.5120\/13897-1851"},{"key":"8_CR32","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1142\/9789812775245_0014","volume":"3","author":"G Spanoudakis","year":"2005","unstructured":"Spanoudakis, G., Zisman, A.: Software traceability: a roadmap. Handb. Softw. Eng. Knowl. Eng. 3, 395\u2013428 (2005)","journal-title":"Handb. Softw. Eng. Knowl. Eng."},{"key":"8_CR33","unstructured":"Strolia, Z., Pavalkis, S.: Building executable SysML model - automatic transmission system (part 1) (2017). https:\/\/blog.nomagic.com\/building-executable-sysml-model-automatic-transmission-system-part-1\/"},{"issue":"10","key":"8_CR34","doi-asserted-by":"publisher","first-page":"978","DOI":"10.1109\/32.879820","volume":"26","author":"A Lamsweerde Van","year":"2000","unstructured":"Van Lamsweerde, A., Letier, E.: Handling obstacles in goal-oriented requirements engineering. IEEE Trans. Software Eng. 26(10), 978\u20131005 (2000)","journal-title":"IEEE Trans. Software Eng."},{"issue":"1","key":"8_CR35","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1109\/TII.2016.2637166","volume":"14","author":"W Wang","year":"2018","unstructured":"Wang, W., Gupta, A., Niu, N., Xu, L., Cheng, J.R.C., Niu, Z.: Automatically tracing dependability requirements via term-based relevance feedback. IEEE Trans. Industr. Inf. 14(1), 342\u2013349 (2018)","journal-title":"IEEE Trans. Industr. Inf."},{"key":"8_CR36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29044-2","volume-title":"Experimentation in Software Engineering","author":"C Wohlin","year":"2012","unstructured":"Wohlin, C., Runeson, P., H\u00f6st, M., Ohlsson, M.C., Regnell, B., Wessl\u00e9n, A.: Experimentation in Software Engineering. Springer, Berlin (2012). https:\/\/doi.org\/10.1007\/978-3-642-29044-2"}],"container-title":["Lecture Notes in Computer Science","New Opportunities for Software Reuse"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-90421-4_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,15]],"date-time":"2019-10-15T19:06:18Z","timestamp":1571166378000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-90421-4_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319904207","9783319904214"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-90421-4_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}