Model driven engineering at work

This session presents three interesting efforts. The first proposes the mapping of activity diagrams into Bluespec System Verilog. It suggests a rule based transformation from activity diagrams to the PRISM formalism and to the Bluespec language. The second presents an energy consumption optimization tool for designers dealing with wireless sensor nodes, modeling energy consumption in wireless sensor nodes from SystemC models. The third presents an MDD approach for developing smartphone apps independently of a specific platform.