{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T13:01:49Z","timestamp":1726059709634},"publisher-location":"Cham","reference-count":37,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030349677"},{"type":"electronic","value":"9783030349684"}],"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-34968-4_20","type":"book-chapter","created":{"date-parts":[[2019,11,21]],"date-time":"2019-11-21T19:14:54Z","timestamp":1574363694000},"page":"360-378","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Asynchronous Testing of Synchronous Components in GALS Systems"],"prefix":"10.1007","author":[{"given":"Lina","family":"Marsso","sequence":"first","affiliation":[]},{"given":"Radu","family":"Mateescu","sequence":"additional","affiliation":[]},{"given":"Ioannis","family":"Parissis","sequence":"additional","affiliation":[]},{"given":"Wendelin","family":"Serwe","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,11,22]]},"reference":[{"key":"20_CR1","unstructured":"Behrmann, G., David, A., Larsen, K.G., M\u00f6ller, O., Pettersson, P., Yi, W.: Uppaal: present and future. In: Decision and Control. IEEE (2001)"},{"key":"20_CR2","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-1-4020-6254-4_2","volume-title":"Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems","author":"G Berry","year":"2007","unstructured":"Berry, G.: SCADE: synchronous design and validation of embedded control software. In: Ramesh, S., Sampath, P. (eds.) Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems, pp. 19\u201333. Springer, Dordrecht (2007). \nhttps:\/\/doi.org\/10.1007\/978-1-4020-6254-4_2"},{"issue":"6","key":"20_CR3","doi-asserted-by":"publisher","first-page":"938","DOI":"10.1109\/TCAD.2016.2611508","volume":"36","author":"FP Burns","year":"2017","unstructured":"Burns, F.P., Sokolov, D., Yakovlev, A.: A structured visual approach to GALS modeling and verification of communication circuits. IEEE Trans. CAD Integr. Circuits Syst. 36(6), 938\u2013951 (2017)","journal-title":"IEEE Trans. CAD Integr. Circuits Syst."},{"key":"20_CR4","unstructured":"Chapiro, D.M.: Globally-asynchronous locally-synchronous systems. Doctoral thesis, Stanford University, Department of Computer Science (1984)"},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"da Silva Sim\u00e3o, A., Petrenko, A.: Generating complete and finite test suite for ioco: is it possible? In: Schlingloff, H., Petrenko, A.K. (eds.) MBT 2014. EPTCS, vol. 141, pp. 56\u201370 (2014)","DOI":"10.4204\/EPTCS.141.5"},{"issue":"2","key":"20_CR6","first-page":"105","volume":"146","author":"F Doucet","year":"2006","unstructured":"Doucet, F., Menarini, M., Kr\u00fcger, I.H., Gupta, R.K., Talpin, J.: A verification approach for GALS integration of synchronous components. ENTCS 146(2), 105\u2013131 (2006)","journal-title":"ENTCS"},{"key":"20_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1007\/978-3-540-73066-8_7","volume-title":"Testing of Software and Communicating Systems","author":"A Faivre","year":"2007","unstructured":"Faivre, A., Gaston, C., Le Gall, P.: Symbolic model based testing for component oriented systems. In: Petrenko, A., Veanes, M., Tretmans, J., Grieskamp, W. (eds.) FATES\/TestCom -2007. LNCS, vol. 4581, pp. 90\u2013106. Springer, Heidelberg (2007). \nhttps:\/\/doi.org\/10.1007\/978-3-540-73066-8_7"},{"issue":"4","key":"20_CR8","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/s10009-011-0220-z","volume":"14","author":"Y Falcone","year":"2012","unstructured":"Falcone, Y., Fernandez, J.-C., J\u00e9ron, T., Marchand, H., Mounier, L.: More testable properties. STTT 14(4), 407\u2013437 (2012)","journal-title":"STTT"},{"key":"20_CR9","series-title":"IFIP International Federation for Information Processing","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/0-306-47003-9_24","volume-title":"Formal Techniques for Networked and Distributed Systems","author":"H Garavel","year":"2002","unstructured":"Garavel, H., Lang, F.: SVL: a scripting language for compositional verification. In: Kim, M., Chin, B., Kang, S., Lee, D. (eds.) FORTE 2001. IIFIP, vol. 69, pp. 377\u2013392. Springer, Boston, MA (2002). \nhttps:\/\/doi.org\/10.1007\/0-306-47003-9_24"},{"issue":"2","key":"20_CR10","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/s10009-012-0244-z","volume":"15","author":"H Garavel","year":"2013","unstructured":"Garavel, H., Lang, F., Mateescu, R., Serwe, W.: CADP 2011: a toolbox for the construction and analysis of distributed processes. STTT 15(2), 89\u2013107 (2013)","journal-title":"STTT"},{"key":"20_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-68270-9_1","volume-title":"ModelEd, TestEd, TrustEd","author":"H Garavel","year":"2017","unstructured":"Garavel, H., Lang, F., Serwe, W.: From LOTOS to LNT. In: Katoen, J.-P., Langerak, R., Rensink, A. (eds.) ModelEd, TestEd, TrustEd. LNCS, vol. 10500, pp. 3\u201326. Springer, Cham (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-68270-9_1"},{"key":"20_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/978-3-642-02652-2_20","volume-title":"Model Checking Software","author":"H Garavel","year":"2009","unstructured":"Garavel, H., Thivolle, D.: Verification of GALS systems by combining synchronous languages and process calculi. In: P\u0103s\u0103reanu, C.S. (ed.) SPIN 2009. LNCS, vol. 5578, pp. 241\u2013260. Springer, Heidelberg (2009). \nhttps:\/\/doi.org\/10.1007\/978-3-642-02652-2_20"},{"key":"20_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/978-3-319-67113-0_5","volume-title":"Critical Systems: Formal Methods and Automated Verification","author":"A Graf-Brill","year":"2017","unstructured":"Graf-Brill, A., Hermanns, H.: Model-based testing for asynchronous systems. In: Petrucci, L., Seceleanu, C., Cavalcanti, A. (eds.) FMICS\/AVoCS -2017. LNCS, vol. 10471, pp. 66\u201382. Springer, Cham (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-67113-0_5"},{"issue":"3","key":"20_CR14","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1142\/S0218126603000763","volume":"12","author":"PL Guernic","year":"2003","unstructured":"Guernic, P.L., Talpin, J., Lann, J.L.: POLYCHRONY for system design. J. Circuits Syst. Comput. 12(3), 261\u2013304 (2003)","journal-title":"J. Circuits Syst. Comput."},{"key":"20_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/978-3-642-33678-2_25","volume-title":"Computer Safety, Reliability, and Security","author":"H G\u00fcnther","year":"2012","unstructured":"G\u00fcnther, H., Milius, S., M\u00f6ller, O.: On the formal verification of systems of synchronous software components. In: Ortmeier, F., Daniel, P. (eds.) SAFECOMP 2012. LNCS, vol. 7612, pp. 291\u2013304. Springer, Heidelberg (2012). \nhttps:\/\/doi.org\/10.1007\/978-3-642-33678-2_25"},{"key":"20_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2231-4","volume-title":"Synchronous Programming of Reactive Systems","author":"N Halbwachs","year":"1993","unstructured":"Halbwachs, N.: Synchronous Programming of Reactive Systems. Kluwer, Boston (1993)"},{"key":"20_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1007\/3-540-45828-X_18","volume-title":"Embedded Software","author":"N Halbwachs","year":"2002","unstructured":"Halbwachs, N., Baghdadi, S.: Synchronous modelling of asynchronous systems. In: Sangiovanni-Vincentelli, A., Sifakis, J. (eds.) EMSOFT 2002. LNCS, vol. 2491, pp. 240\u2013251. Springer, Heidelberg (2002). \nhttps:\/\/doi.org\/10.1007\/3-540-45828-X_18"},{"issue":"9","key":"20_CR18","doi-asserted-by":"publisher","first-page":"1305","DOI":"10.1109\/5.97300","volume":"79","author":"N Halbwachs","year":"1991","unstructured":"Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous dataflow programming language LUSTRE. Proc. IEEE 79(9), 1305\u20131320 (1991)","journal-title":"Proc. IEEE"},{"key":"20_CR19","unstructured":"Halbwachs, N., Mandel, L.: Simulation and verification of asynchronous systems by means of a synchronous model. In: ACSD 2006, pp. 3\u201314. IEEE (2006)"},{"key":"20_CR20","volume-title":"The SPIN Model Checker: Primer and Reference Manual","author":"GJ Holzmann","year":"2003","unstructured":"Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, Boston (2003)"},{"key":"20_CR21","doi-asserted-by":"crossref","unstructured":"Jahier, E., Halbwachs, N., Raymond, P.: Engineering functional requirements of reactive systems using synchronous languages. In: 8th IEEE International Symposium on Industrial Embedded Systems, vol. 8, pp. 140\u2013149 (2013)","DOI":"10.1109\/SIES.2013.6601486"},{"issue":"6","key":"20_CR22","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1007\/s10009-006-0023-9","volume":"8","author":"E Jahier","year":"2006","unstructured":"Jahier, E., Raymond, P., Baufreton, P.: Case studies with Lurette V2. STTT 8(6), 517\u2013530 (2006)","journal-title":"STTT"},{"issue":"4","key":"20_CR23","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/s10009-004-0153-x","volume":"7","author":"C Jard","year":"2005","unstructured":"Jard, C., J\u00e9ron, T.: TGV: theory, principles and algorithms - a tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems. STTT 7(4), 297\u2013315 (2005)","journal-title":"STTT"},{"key":"20_CR24","unstructured":"Jebali, F.: Formal framework for modelling and verifying globally asynchronous locally synchronous systems. Ph.D. thesis, Grenoble Alpes University, France, September 2016"},{"issue":"5","key":"20_CR25","first-page":"767","volume":"28","author":"F Jebali","year":"2016","unstructured":"Jebali, F., Lang, F., Mateescu, R.: Formal modelling and verification of GALS systems using GRL and CADP. FAoC 28(5), 767\u2013804 (2016)","journal-title":"FAoC"},{"key":"20_CR26","doi-asserted-by":"crossref","unstructured":"Lorber, F.: It\u2019s about time \u2013 model-based mutation testing for synchronous and asynchronous timed systems. Ph.D. thesis, Institute of Software Technology, Graz University of Technology, Austria (2016)","DOI":"10.1109\/ICST.2015.7102615"},{"key":"20_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/978-3-319-89963-3_13","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L Marsso","year":"2018","unstructured":"Marsso, L., Mateescu, R., Serwe, W.: TESTOR: a modular tool for on-the-fly conformance test case generation. In: Beyer, D., Huisman, M. (eds.) TACAS 2018. LNCS, vol. 10806, pp. 211\u2013228. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-319-89963-3_13"},{"key":"20_CR28","unstructured":"Mateescu, R., Garavel, H.: XTL: a meta-language and tool for temporal logic model-checking. In: Margaria, T. (ed.) STTT 1998, pp. 33\u201342. BRICS (1998)"},{"key":"20_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/978-3-540-68237-0_12","volume-title":"FM 2008: Formal Methods","author":"R Mateescu","year":"2008","unstructured":"Mateescu, R., Thivolle, D.: A model checking language for concurrent value-passing systems. In: Cuellar, J., Maibaum, T., Sere, K. (eds.) FM 2008. LNCS, vol. 5014, pp. 148\u2013164. Springer, Heidelberg (2008). \nhttps:\/\/doi.org\/10.1007\/978-3-540-68237-0_12"},{"key":"20_CR30","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/0304-3975(83)90114-7","volume":"25","author":"R Milner","year":"1983","unstructured":"Milner, R.: Calculi for synchrony and asynchrony. Theoret. Comput. Sci. 25, 267\u2013310 (1983)","journal-title":"Theoret. Comput. Sci."},{"key":"20_CR31","unstructured":"Mousavi, M.R., Guernic, P.L., Talpin, J.-P., Shukla, S.K., Basten, T.: Modeling and validating globally asynchronous design in synchronous frameworks. In: DATE 2004, pp. 384\u2013389. IEEE (2004)"},{"issue":"1","key":"20_CR32","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/s10270-012-0302-8","volume":"14","author":"N Noroozi","year":"2015","unstructured":"Noroozi, N., Khosravi, R., Mousavi, M.R., Willemse, T.A.C.: Synchrony and asynchrony in conformance testing. Softw. Syst. Model. 14(1), 149\u2013172 (2015)","journal-title":"Softw. Syst. Model."},{"key":"20_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"506","DOI":"10.1007\/978-3-540-27813-9_47","volume-title":"Computer Aided Verification","author":"S Ramesh","year":"2004","unstructured":"Ramesh, S., Sonalkar, S., D\u2019silva, V., Chandra R., N., Vijayalakshmi, B.: A toolset for modelling and verification of GALS systems. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol. 3114, pp. 506\u2013509. Springer, Heidelberg (2004). \nhttps:\/\/doi.org\/10.1007\/978-3-540-27813-9_47"},{"key":"20_CR34","unstructured":"Raymond, P.,\u00a0Roux, Y.,\u00a0Jahier, E.: Lutin: a language for specifying and executing reactive scenarios. EURASIP J. Embed. Syst. (2008). \nhttps:\/\/link.springer.com\/article\/10.1155\/2008\/753821#citeas"},{"issue":"3","key":"20_CR35","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1109\/32.126769","volume":"18","author":"RN Taylor","year":"1992","unstructured":"Taylor, R.N., Levine, D.L., Kelly, C.D.: Structural testing of concurrent programs. IEEE Trans. Softw. Eng. 18(3), 206\u2013215 (1992)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"5","key":"20_CR36","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1109\/MDT.2007.151","volume":"24","author":"P Teehan","year":"2007","unstructured":"Teehan, P., Greenstreet, M., Lemieux, G.: A survey and taxonomy of GALS design styles. IEEE Des. Test Comput. 24(5), 418\u2013428 (2007)","journal-title":"IEEE Des. Test Comput."},{"issue":"1","key":"20_CR37","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/S0169-7552(96)00017-7","volume":"29","author":"J Tretmans","year":"1996","unstructured":"Tretmans, J.: Conformance testing with labelled transition systems: implementation relations and test generation. Comput. Netw. ISDN Syst. 29(1), 49\u201379 (1996)","journal-title":"Comput. Netw. ISDN Syst."}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-34968-4_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,11,21]],"date-time":"2019-11-21T19:18:41Z","timestamp":1574363921000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-34968-4_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030349677","9783030349684"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-34968-4_20","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":"22 November 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"IFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Integrated Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bergen","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Norway","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":"2 December 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 December 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ifm2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/ifm2019.hvl.no\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}