{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T18:16:12Z","timestamp":1725905772500},"publisher-location":"Singapore","reference-count":17,"publisher":"Springer Singapore","isbn-type":[{"type":"print","value":"9789811054266"},{"type":"electronic","value":"9789811054273"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-981-10-5427-3_5","type":"book-chapter","created":{"date-parts":[[2017,7,21]],"date-time":"2017-07-21T05:43:15Z","timestamp":1500615795000},"page":"40-49","source":"Crossref","is-referenced-by-count":0,"title":["An Incremental Verification Paradigm for Embedded Systems"],"prefix":"10.1007","author":[{"given":"Hara Gopal Mani","family":"Pakala","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,7,22]]},"reference":[{"key":"5_CR1","unstructured":"Jeannet, B., Gaucher, F.: Debugging embedded systems requirements with stimulus: an automotive case-study. In: Proceedings of the 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Toulouse, France, January 2016"},{"issue":"03","key":"5_CR2","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1142\/S0218194016500200","volume":"26","author":"C-H Chang","year":"2016","unstructured":"Chang, C.-H., et al.: SysML-based requirement management to improve software development. Int. J. Softw. Eng. Knowl. Eng. 26(03), 491\u2013511 (2016)","journal-title":"Int. J. Softw. Eng. Knowl. Eng."},{"issue":"2","key":"5_CR3","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1145\/2930957.2930963","volume":"13","author":"N Saeedloei","year":"2016","unstructured":"Saeedloei, N., Gupta, G.: A methodology for modeling and verification of cyber-physical systems based on logic programming. ACM SIGBED Rev. 13(2), 34\u201342 (2016)","journal-title":"ACM SIGBED Rev."},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Johnson, K., Calinescu, R., Kikuchi, S.: An incremental verification framework for component-based software systems. In: CBSE 2013, 17\u201321 June 2013, Vancouver, BC, Canada (2013)","DOI":"10.1145\/2465449.2465456"},{"key":"5_CR5","unstructured":"Wagner, F.R., Nascimento, F.A.M., Oliveira, M.F.S.: Model-driven engineering of complex embedded systems: concepts and tools. \nftp:\/\/143.54.11.3\/pub\/simoo\/papers\/cbsec12.pdf\n\n. Accessed 20 Oct 2016"},{"key":"5_CR6","unstructured":"Elshuber, M., Kandl, S., Puschner, P.: Improving system-level verification of systemC models with SPIN. In: Choppy, C., Sun, J. (eds.) 1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013), vol. 31. Schloss Dagstuhl\u2013Leibniz-ZentrumfuerInformatik (2013)"},{"issue":"2","key":"5_CR7","first-page":"123","volume":"4","author":"M Nanda","year":"2013","unstructured":"Nanda, M., Jayanthi, J.: An effective verification and validation strategy for safety-critical embedded systems. Int. J. Softw. Eng. Appl. (IJSEA) 4(2), 123\u2013142 (2013)","journal-title":"Int. J. Softw. Eng. Appl. (IJSEA)"},{"key":"5_CR8","unstructured":"Tatar, M., Mauss, J.: Systematic test and validation of complex embedded systems. In: ERTS-2014, Toulouse, pp. 05\u201307 (2014)"},{"issue":"3","key":"5_CR9","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1109\/MS.2009.80","volume":"26","author":"P Liggesmeyer","year":"2009","unstructured":"Liggesmeyer, P., Trapp, M.: Trends in embedded software engineering. IEEE Softw. 26(3), 19\u201325 (2009)","journal-title":"IEEE Softw."},{"key":"5_CR10","unstructured":"The Economic Impacts of Inadequate Infrastructure for Software Testing. Technical report, National Institute of Standards and Technology, May 2002"},{"key":"5_CR11","unstructured":"Hoppe, M., Engel, A.: Improving VVT process in SysTest project: evaluating results of pilot projects in six industries. In: 2005 Fifteenth Annual International Symposium on Systems Engineering: Bridging Industry, Government, and Academia, 10\u201315 July 2005, NY, USA (2005)"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Watterson, C., Heffernan, D.: A runtime verification monitoring approach for embedded industrial controllers. In: IEEE International Symposium on Industrial Electronics, ISIE 2008, pp. 2016\u20132021. IEEE (2008)","DOI":"10.1109\/ISIE.2008.4677023"},{"issue":"4","key":"5_CR13","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1109\/JSYST.2008.2009190","volume":"2","author":"D Drusinsky","year":"2008","unstructured":"Drusinsky, D., Michael, J.B., Shing, M.-T.: A visual trade-off space for formal verification and validation techniques. IEEE Syst. J. 2(4), 513\u2013519 (2008)","journal-title":"IEEE Syst. J."},{"key":"5_CR14","unstructured":"Aichernig, B.K.: The commuting V-diagram: on the relation of refinement and testing. UNU\/IIST Report No. 254 (2002)"},{"key":"5_CR15","volume-title":"Testing Embedded Software","author":"B Broekman","year":"2003","unstructured":"Broekman, B., Notenboom, E.: Testing Embedded Software. Addison-Weseley, Boston (2003)"},{"issue":"1","key":"5_CR16","first-page":"40","volume":"42","author":"HGM Pakala","year":"2012","unstructured":"Pakala, H.G.M., et al.: Development of instrument for test and evaluation of a signal processing system. J. Instrum. Soc. India 42(1), 40\u201343 (2012)","journal-title":"J. Instrum. Soc. India"},{"issue":"3","key":"5_CR17","doi-asserted-by":"crossref","first-page":"35","DOI":"10.5121\/ijasuc.2011.2303","volume":"2","author":"HGM Pakala","year":"2011","unstructured":"Pakala, H.G.M., et al.: An adaptive design verification methodology for embedded systems. Int. J. Ad hoc Sens. Ubiquit. Comput. (IJASUC) 2(3), 35\u201355 (2011)","journal-title":"Int. J. Ad hoc Sens. Ubiquit. Comput. (IJASUC)"}],"container-title":["Communications in Computer and Information Science","Advances in Computing and Data Sciences"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-10-5427-3_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,7,21]],"date-time":"2017-07-21T05:44:51Z","timestamp":1500615891000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-981-10-5427-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9789811054266","9789811054273"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-981-10-5427-3_5","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2017]]}}}