{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,19]],"date-time":"2023-01-19T01:13:48Z","timestamp":1674090828288},"reference-count":8,"publisher":"World Scientific Pub Co Pte Lt","issue":"02","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[2005,4]]},"abstract":"<jats:p> Specification of embedded systems based on formal models of computation is gaining importance. The behavior of an increasing number of embedded systems is heterogeneous, consisting of a mixture of control-dominated and data-dominated parts. While models of computations suitable to control-dominated systems and data-dominated systems are well developed, there are only a limited number of models catering to both systems. In this paper, we present informally a new model for heterogeneous embedded systems, called HEMOC, which combines three common models of computation, synchronous reactive, hierarchical finite state machines and synchronous data flow. Then, the languages Esterel and SyncCharts are used for system specification following the new model in order to determine what they need to become suitable specification platform. <\/jats:p>","DOI":"10.1142\/s0218194005001963","type":"journal-article","created":{"date-parts":[[2005,5,24]],"date-time":"2005-05-24T11:56:24Z","timestamp":1116935784000},"page":"405-410","source":"Crossref","is-referenced-by-count":1,"title":["A NEW MODEL FOR HETEROGENEOUS EMBEDDED SYSTEMS \u2014 What Esterel and SyncCharts Need to Become a Suitable Specification Platform"],"prefix":"10.1142","volume":"15","author":[{"given":"IVAN","family":"RADOJEVIC","sequence":"first","affiliation":[{"name":"Department of Electrical and Computer Engineering, Auckland University, 20 Symonds St., Auckland, New Zealand"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"ZORAN","family":"SALCIC","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, Auckland University, 20 Symonds St., Auckland, New Zealand"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"PARTHA","family":"ROOP","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, Auckland University, 20 Symonds St., Auckland, New Zealand"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2011,11,21]]},"reference":[{"key":"rf1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(92)90005-V"},{"key":"rf3","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"rf4","volume":"75","author":"Lee E. A.","journal-title":"Proc. IEEE"},{"key":"rf5","doi-asserted-by":"publisher","DOI":"10.1109\/5.97297"},{"key":"rf6","volume":"18","author":"Girault A.","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"rf7","volume":"91","author":"Eker J.","journal-title":"Proceedings of the IEEE"},{"key":"rf8","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-6127-9"},{"key":"rf9","first-page":"16","volume":"16","author":"Harel D.","journal-title":"IEEE Trans. Software Eng."}],"container-title":["International Journal of Software Engineering and Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218194005001963","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T16:17:26Z","timestamp":1565194646000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218194005001963"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,4]]},"references-count":8,"journal-issue":{"issue":"02","published-online":{"date-parts":[[2011,11,21]]},"published-print":{"date-parts":[[2005,4]]}},"alternative-id":["10.1142\/S0218194005001963"],"URL":"https:\/\/doi.org\/10.1142\/s0218194005001963","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"value":"0218-1940","type":"print"},{"value":"1793-6403","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,4]]}}}