On lifting of statechart structuring mechanisms

Abstract

We propose a set of procedures addressing the implementation of statechart models. The main goal of this set of procedures is to lift the structuring mechanisms presented in statecharts to the top level. In this sense, the complexity of statechart implementation will be similar to the complexity of communicating concurrent state machines and the platforms selected to support implementation will not need to have specific capabilities to directly support the structuring mechanisms of Harel's statecharts. The framework is the design of embedded systems (in the sense of reactive realtime systems) and automation applications, either industrial automation or building automation, either the emphasis is on system, hardware or software levels, using or not codesign techniques. An application focused on hardware implementation using VHDL as implementation language is used as an example.