• Ivan Radojevic
  • Zoran Salcic


Design of embedded systems based on formal models of computation has been gaining acceptance as a sound method for dealing with increasing system complexities. While models of computation have been successfully used individually for control-dominated systems and data-dominated systems, modelling of heterogeneous systems still poses a challenge. We presented DFCharts, a model of computation for heterogeneous embedded systems that combine control-dominated and data-dominated parts. We demonstrated how DFCharts could be used in embedded systems design by linking it to system level design languages and implementation architecture. We used a realistic heterogeneous embedded system called frequency relay, in order to illustrate the concepts.


Embed System Formal Verification Refinement Operator Implementation Architecture Embed System Design 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 8.
    E.A. Lee, The problem with threads. IEEE Comput. 39(5), 33–42 (2006)Google Scholar
  2. 114.
    F. Gruian, P. Roop, Z. Salcic, I. Radojevic, SystemJ approach to system-level design, in Proceedings of Methods and Models for Co-Design Conference, Memocode 2006, Napa Valley, 2006, Piscataway, (IEEE Cat. No. 06EX1398). IEEE. 2006, pp. 149–58Google Scholar

Copyright information

© Springer Science+Business Media B.V. 2011

Authors and Affiliations

  1. 1.Defence Technology AgencyNew Zealand Defence ForceAucklandNew Zealand
  2. 2.Computer Systems EngineeringUniversity of AucklandAucklandNew Zealand

Personalised recommendations