18469779. MODELING PLATFORM FOR FINITE STATE MACHINE MODELED SYSTEMS (GM Global Technology Operations LLC)
MODELING PLATFORM FOR FINITE STATE MACHINE MODELED SYSTEMS
Organization Name
GM Global Technology Operations LLC
Inventor(s)
Yael Shmueli Friedland of Tel Aviv IL
Lisa M. Talarico of Milford MI US
MODELING PLATFORM FOR FINITE STATE MACHINE MODELED SYSTEMS
This abstract first appeared for US patent application 18469779 titled 'MODELING PLATFORM FOR FINITE STATE MACHINE MODELED SYSTEMS
Original Abstract Submitted
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.
