{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:15:32Z","timestamp":1725520532174},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642343261"},{"type":"electronic","value":"9783642343278"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34327-8_32","type":"book-chapter","created":{"date-parts":[[2012,10,19]],"date-time":"2012-10-19T01:47:32Z","timestamp":1350611252000},"page":"349-360","source":"Crossref","is-referenced-by-count":5,"title":["Combining IEC\u00a061499 Model-Based Design with Component-Based Architecture for Robotics"],"prefix":"10.1007","author":[{"given":"Li Hsien","family":"Yoong","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zeeshan E.","family":"Bhatti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Partha S.","family":"Roop","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"32_CR1","unstructured":"Amey, P., Dion, B.: Combining model-driven design with diverse formal verification. In: 3rd European Congress on Embedded Real Time Software, Toulouse (January 2006)"},{"key":"32_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-540-89076-8_12","volume-title":"Simulation, Modeling, and Programming for Autonomous Robots","author":"N. Ando","year":"2008","unstructured":"Ando, N., Suehiro, T., Kotoku, T.: A Software Platform for Component Based RT-System Development: OpenRTM-Aist. In: Carpin, S., Noda, I., Pagello, E., Reggiani, M., von Stryk, O. (eds.) SIMPAR 2008. LNCS (LNAI), vol.\u00a05325, pp. 87\u201398. Springer, Heidelberg (2008)"},{"key":"32_CR3","unstructured":"Bhatti, Z.E.: A Model-Driven Approach for Safety Critical Systems. M.E. thesis, Department of Electrical and Computer Engineering, University of Auckland (2011), \n                    \n                      https:\/\/researchspace.auckland.ac.nz\/handle\/2292\/6421"},{"key":"32_CR4","doi-asserted-by":"crossref","unstructured":"Bhatti, Z.E., Sinha, R., Roop, P.S.: Observer based verification of IEC 61499 function blocks. In: IEEE International Conference on Industrial Informatics (INDIN), pp. 609\u2013614 (July 2011)","DOI":"10.1109\/INDIN.2011.6034948"},{"key":"32_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/978-3-642-17319-6_18","volume-title":"Simulation, Modeling, and Programming for Autonomous Robots","author":"G. Biggs","year":"2010","unstructured":"Biggs, G., Ando, N., Kotoku, T.: Coordinating Software Components in a Component-Based Architecture for Robotics. In: Ando, N., Balakirsky, S., Hemker, T., Reggiani, M., von Stryk, O. (eds.) SIMPAR 2010. LNCS, vol.\u00a06472, pp. 168\u2013179. Springer, Heidelberg (2010)"},{"key":"32_CR6","unstructured":"International Electrotechnical Commission, Geneva: International Standard IEC 61499-1: Function blocks \u2013 Part 1: Architecture, 1st edn. (January 2005)"},{"key":"32_CR7","doi-asserted-by":"crossref","unstructured":"Kuo, M.M.Y., Sinha, R., Roop, P.S.: Efficient WCRT analysis of synchronous programs using reachability. In: 48th ACM\/IEEE Design Automation Conference (DAC), San Diego, pp. 480\u2013485 (June 2011)","DOI":"10.1145\/2024724.2024837"},{"key":"32_CR8","series-title":"Lecture Notes in Computer Science","volume-title":"Formal Development of Reactive Systems","year":"1995","unstructured":"Lewerentz, C., Lindner, T. (eds.): Formal Development of Reactive Systems. LNCS, vol.\u00a0891. Springer, Heidelberg (1995)"},{"key":"32_CR9","unstructured":"Microsoft: MSDN: Microsoft Visual Studio Extensibility Developer Center (2010), \n                    \n                      http:\/\/msdn.microsoft.com\/en-us\/vstudio\/vextend.aspx"},{"key":"32_CR10","unstructured":"Object Management Group: Robotic Technology Component Specification, Version 1.0 (April 2008), \n                    \n                      http:\/\/www.omg.org\/spec\/RTC"},{"issue":"5","key":"32_CR11","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1109\/MS.2003.1231146","volume":"20","author":"B. Selic","year":"2003","unstructured":"Selic, B.: The pragmatics of model-driven development. IEEE Software\u00a020(5), 19\u201325 (2003)","journal-title":"IEEE Software"},{"key":"32_CR12","unstructured":"Yoong, L.H., Roop, P.S., Salcic, Z.: Efficient implementation of IEC 61499 function blocks. In: IEEE International Conference on Industrial Technology (ICIT), Gippsland (February 2009)"},{"issue":"12","key":"32_CR13","doi-asserted-by":"publisher","first-page":"1599","DOI":"10.1109\/TC.2009.128","volume":"58","author":"L.H. Yoong","year":"2009","unstructured":"Yoong, L.H., Roop, P.S., Vyatkin, V., Salcic, Z.: A synchronous approach for IEC 61499 function block implementation. IEEE Transactions on Computers\u00a058(12), 1599\u20131614 (2009)","journal-title":"IEEE Transactions on Computers"},{"issue":"99","key":"32_CR14","first-page":"1","volume":"Preprint","author":"L.H. Yoong","year":"2012","unstructured":"Yoong, L.H., Shaw, G.D., Roop, P.S., Salcic, Z.: Synthesizing globally asynchronous locally synchronous systems with IEC 61499. IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews\u00a0Preprint(99), 1\u201313 (2012)","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews"}],"container-title":["Lecture Notes in Computer Science","Simulation, Modeling, and Programming for Autonomous Robots"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34327-8_32.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:51:45Z","timestamp":1620132705000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34327-8_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642343261","9783642343278"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34327-8_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}