Modeling platform for finite state machine modeled systems

Abstract

A modeling platform for a finite state machine (FSM)-modeled system. The platform may include a design phase module configured for receiving FSM data associated with a design of the FSM-modeled system from a user device, wherein the FSM data describes static properties, dynamic properties, structural properties, states, state transitions, events, and outputs of the FSM-modeled system, wherein the design phase module is configured for generating design data based at least in part on the FSM data. The platform may further include a verification and testing phase module configured for providing a plurality of tools operable for utilizing the FSM and design data to facilitate aiding in design and implementation of the FSM-modeled system according to an identification of undesirable properties and usability deficiencies within the static properties, dynamic properties, structural properties, states, state transitions, events, and outputs of the design.

Dependencies are inferred from the claim text.