知搜-全球专利检索

  1. Login
  2. Sign Up

Search Results

8 records (took 0.015 seconds)

    DESIGN OPTIMIZATION FOR FINITE STATE MACHINE MODELED SYSTEMS
    2.
    发明申请
    DESIGN OPTIMIZATION FOR FINITE STATE MACHINE MODELED SYSTEMS 有权

    公开(公告)号：US20250013878A1

    公开(公告)日：2025-01-09

    申请号：US18347841

    申请日：2023-07-06

    Applicant: GM GLOBAL TECHNOLOGY OPERATIONS LLC

    Inventor： Zahy Bnaya ,  Daniel Rubin ,  Asaf Degani ,  Yael Shmueli Friedland ,  Shani Avnet

    IPC: G06N3/12

    Abstract: A supportive software-based “toolbox” for optimizing finite state machine (FSM)-modeled systems. The optimization may include defining a plurality of alternative models for the FSM-modeled system and iterating one or more of the domain alternative into iterated alternatives. The optimization may include generating a plurality of stateflow representations for the FSM-modeled system according to the iterated alternatives, and based thereon, generating a model score for each of the stateflow representations predictively ranking the stateflow representations based at least in part on one or more of user experience, usability, correctness, transformability, effectiveness, and readiness.

    BEHAVIOR VERIFICATION FOR FINITE STATE MACHINE-MODELED SYSTEMS
    4.
    发明申请
    BEHAVIOR VERIFICATION FOR FINITE STATE MACHINE-MODELED SYSTEMS 有权

    公开(公告)号：US20240427689A1

    公开(公告)日：2024-12-26

    申请号：US18339768

    申请日：2023-06-22

    Applicant: GM GLOBAL TECHNOLOGY OPERATIONS LLC

    Inventor： Asaf Degani ,  Yael Shmueli Friedland ,  Daniel Y. Rubin ,  Shani Avnet ,  Lisa M. Talarico

    IPC: G06F11/36

    Abstract: A method for verifying system behavior and correcting design flaws in a finite state machine (FSM)-modeled system or any other representational method that includes receiving from a user device via a model verification platform, data associated with the system design. The data describes states, state transitions, events, and outputs of the FSM-modeled system. The method includes searching the data for predetermined behavior of the FSM-modeled system, including predetermined state(s) and/or mode changes. The method includes flagging the predetermined behavior as a verified behavior and performing a control action in response to the verified behavior, including transmitting a notification to the user device that is indicative of the verified behavior, and a design recommendation where applicable. Instructions for the method may be recorded in a computer readable storage medium and executed by a processor to cause the model verification platform to perform the method.

    AUTOMATED DATA ENTRY AND ERROR CHECKING METHODOLOGY FOR GENERATING STATE TRANSITION TABLES
    7.
    发明申请
    AUTOMATED DATA ENTRY AND ERROR CHECKING METHODOLOGY FOR GENERATING STATE TRANSITION TABLES 有权

    公开(公告)号：US20240383491A1

    公开(公告)日：2024-11-21

    申请号：US18318006

    申请日：2023-05-16

    Applicant: GM GLOBAL TECHNOLOGY OPERATIONS LLC

    Inventor： Yael Shmueli Friedland ,  Shani Avnet ,  Daniel Y. Rubin ,  Asaf Degani

    IPC: B60W50/14 ,  G06F3/0486

    Abstract: A method for generating a populated state transition table for a finite-state machine (FSM)-modeled system includes receiving system traits via a host computer of a modeling system. The system traits include states, state transitions, and events of the FSM-modeled system. The method includes generating an initial state transition table in response to receipt of the system traits, the table being partially-populated by the system traits. The method additionally includes populating the table in response to user inputs to thereby auto-generate a populated state transition table, and error-checking the populated table using predetermined error-checking criteria, including searching the populated table via error-checking logic of the host computer for an omitted critical trait of the FSM-modeled system. The method also includes communicating an alert to the user in response to the omitted critical trait.

Patent Agency Ranking