PRESENTATION OF DYNAMIC THREAT INFORMATION BASED ON THREAT AND TRAJECTORY PREDICTION

    公开(公告)号:US20220189307A1

    公开(公告)日:2022-06-16

    申请号:US17123682

    申请日:2020-12-16

    Abstract: A system for notifying a user of a vehicle includes a receiving module configured to receive detection data, and a threat analysis module configured to receive object detection data related to a detected object in an environment around the vehicle, acquiring a predicted trajectory of the detected object, and determine whether the detected object constitutes a threat based on the predicted trajectory of the detected object and a vehicle trajectory. The system also includes a threat display module configured to determine an operating scenario based on a user attentiveness, a field of view, an operating mode, and a threat level, and generate a notification to the user representing the threat, the notification including a visual representation of the detected object and a visual indicator of the predicted trajectory of the detected object. At least one of the visual representation and the visual indicator is customized based on the operating scenario.

    BEHAVIOR VERIFICATION FOR FINITE STATE MACHINE-MODELED SYSTEMS

    公开(公告)号:US20240427689A1

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

    申请号:US18339768

    申请日:2023-06-22

    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.

Patent Agency Ranking