Abstract:
Dataflow process networks have been successfully used for modeling signal processing systems which are data-dominated. In this family of models, the most popular one is synchronous dataflow (SDF). On the other hand, hierarchical concurrent finite state machines (HCFSM) have been successfully employed for control-dominated systems. Most complex embedded systems are heterogeneous, consisting of both control-dominated and data-dominated parts. In this paper, we introduce a new model of computation, called DFCharts, which targets heterogeneous embedded systems. It combines the HCFSM (with Argos semantics) and SDF models. It has a formal, operational semantics based on Boolean automata with variables.