Issue No. 02 - February (2011 vol. 22)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TPDS.2010.69
Ivan Radojevic , New Zealand Defense Force, Auckland
Zoran Salcic , University of Auckland, Auckland
Partha S. Roop , University of Auckland, Auckland
The use of formal models of computation in dealing with increasing complexity of embedded systems design is gaining attention. A successful model of computation must be able to handle both control-dominated and data-dominated behaviors, which are most often simultaneously present in complex embedded systems. Besides behavioral heterogeneity, direct support for modeling distributed systems is also desirable, since an increasing number of embedded systems belong to this category. In this paper, we present distributed DFCharts (DDFCharts), a language based on a formal model that targets distributed heterogeneous embedded systems. Its top hierarchical level is made suitable to capture distributed systems. Behavioral heterogeneity is addressed by composing finite-state machines (FSMs) and synchronous dataflow graphs (SDFGs). We illustrate modeling in DDFCharts with practical examples and describe its implementation on heterogeneous target architecture.
Formal languages, modeling, specification languages, heterogeneous systems.
Z. Salcic, I. Radojevic and P. S. Roop, "Design of Distributed Heterogeneous Embedded Systems in DDFCharts," in IEEE Transactions on Parallel & Distributed Systems, vol. 22, no. , pp. 296-308, 2010.