Optimization for finite state machine modeled systems

A design optimization platform, comprising:

• a system design module configured for receiving data associated with a design of a finite state machine (FSM)-modeled system from a user device, wherein the data describes states, state transitions, events, and outputs of the FSM-modeled system;
• a combination generator module configured for generating a plurality of stateflow representations for the FSM-modeled system according to domain and iterated alternatives, each of the stateflow representations reflecting behavior of the FSM-modeled system when operating according to one or more of the domain and iterated alternatives;
• and
• a scoring mechanism module configured for generating a score for each of the stateflow representations.

A method for design optimization, comprising:

• receiving data associated with a design of a finite state machine (FSM)-modeled system from a user device, wherein the data describes states, state transitions, events, and outputs of the FSM-modeled system;
• receiving a plurality of domain knowledge rules to define domain alternatives for one or more of the states and state transitions of the FSM-modeled system;
• generating a plurality of stateflow representations for the FSM-modeled system, each of the stateflow representations reflecting behavior of the FSM-modeled system when operating according to one or more of the domain alternatives;
• and
• generating a score for each of the stateflow representations.