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.
KeywordsEmbed System Formal Verification Refinement Operator Implementation Architecture Embed System Design
- 8.E.A. Lee, The problem with threads. IEEE Comput. 39(5), 33–42 (2006)Google Scholar
- 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