MODELING PLATFORM FOR FINITE STATE MACHINE MODELED SYSTEMS

Number of patents in Portfolio can not be more than 2000

United States of America

APP PUB NO 20250094670A1
SERIAL NO

18469779

Stats

ATTORNEY / AGENT: (SPONSORED)

Importance

Calculated Rating
US Family Size
Non-US Coverage

Abstract

See full text

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.

First Claim

See full text

Other Claims data not available

Family

PCTEP
+
  • No Family data available.

Patent Owner(s)

Patent OwnerAddress
GM GLOBAL TECHNOLOGY OPERATIONS LLCP O BOX 300 MAIL CODE 482-C24-A65 DETROIT MI 48265

International Classification(s)

Inventor(s)

Inventor Name Address # of filed Patents Total Citations
Avnet, Shani Tel Aviv, IL 8 6
Degani, Asaf Tel Aviv, IL 31 314
Rubin, Daniel Y Holon, IL 7 0
Shmueli, Friedland Yael Tel Aviv, IL 29 201
Talarico, Lisa M Milford, US 9 39

Cited Art Landscape

Load Citation

Patent Citation Ranking

  • 0 Citation Count
  • G06F Class
  • 0 % this patent is cited more than
  • < 1 Age
Citation count rangeNumber of patents cited in rangeNumber of patents cited in various citation count ranges277801501 - 10020004000600080001000012000140001600018000200002200024000260002800030000

Forward Cite Landscape

Load Citation