Abstract: A vehicle and method for intra-vehicle communication within the vehicle involve a sending controller to transmit a message, and a receiving controller to receive the message. The vehicle includes one or more switches to relay the message from the sending controller to the receiving controller. The sending controller and each of the one or more switches include an egress port for transmission of the message. A processor performs bounded timing analysis to determine a total wait time during transmission of the message from the sending controller to the receiving controller as a sum of each egress port wait time at each egress port encountered by the message. Action is taken to avoid or mitigate the total wait time during transmission exceeding a deadline for the message, and the bounded timing analysis includes performing an iterative process and determining a lower bound (LB), an upper bound (UB), and a median value.

Abstract: Systems and method are provided for detecting an anomaly of a sensor of a vehicle. In one embodiment, a method includes: storing a plurality of sensor correlation groups based on vehicle dynamics; processing a subset of signals based on the sensor correlation groups to determine when an anomaly exists; processing the subset of signals based on the sensor correlation group to determine which sensor of the sensor correlation group is anomalous; and generating notification data based on the sensor of the correlation group that is anomalous.

Abstract: A method of unlocking a vehicle of a user having a handheld device based on visual domain and radio frequency (RF) domain technologies is provided. The method comprises activating an on-board apparatus of the vehicle when the handheld device of the user is within a threshold distance from the vehicle. The method further comprises comparing a visual domain position of the user based on visual domain data with an RF domain position of the user based on RF domain data by a first equation, |dvisualti(X)?dRFti(X)|<?d and a second equation, |?visualti(X)??RFti(X)|<??. The method further comprises validating the user when the first and second equations are true and unlocking the vehicle after the user is validated.

Abstract: Systems and method are provided for controlling a sensor of a vehicle. In one embodiment, a method includes: receiving depth image data from the sensor of the vehicle; computing, by a processor, an aleatoric variance value based on the depth image data; dividing, by the processor, the depth image data into grid cells; computing, by the processor, a confidence bound value for each grid cell based on the depth image data; computing, by the processor, an uncertainty value for each grid cell based on the confidence bound value of the grid cell and the aleatoric variance value; and controlling, by the processor, the sensor based on the uncertainty values.

Abstract: Systems and method are provided for detecting an anomaly of a sensor of a vehicle. In one embodiment, a method includes: storing a plurality of sensor correlation groups based on vehicle dynamics; processing a subset of signals based on the sensor correlation groups to determine when an anomaly exists; processing the subset of signals based on the sensor correlation group to determine which sensor of the sensor correlation group is anomalous; and generating notification data based on the sensor of the correlation group that is anomalous.

Abstract: A system for data processing and storage in vehicles having a zone-based, central computing in-vehicle communications network architecture, includes a zone control unit (ZCU) that receives electronic messages from one or more sensors or electronic control units (ECUs) located within a zone of the vehicle, the ZCU comprising a protocol data unit (PDU) gating module that converts the electronic messages into a plurality of PDUs, and a switch-based Ethernet network that transmits the plurality of PDUs, using Ethernet protocol frames comprising the plurality of PDUs, to a central computing platform. The central computing platform includes an Ethernet handler module that decomposes the Ethernet protocol frames into individual PDUs for storage in a shared memory. The central computing platform further includes a plurality of parsing modules that are configured to access the individual PDUs from the shared memory and perform data processing on the individual PDUs.

Abstract: An exemplary system for storage and deployment of a drone from a vehicle includes a platform having a platform surface including a magnetic latching system configured to releasably secure the drone to the platform surface, a storage member enclosing the platform, the storage member defining a storage volume configured to enclose the drone when the drone is secured to the platform, an actuator configured to move the platform relative to the storage member, the platform movable between an enclosed position and an unenclosed position, and at least one controller in communication with the actuator, the at least one controller being configured to, in response to satisfaction of a first operating condition, control the actuator to move the platform to the unenclosed position, and, in response to satisfaction of a second operating condition, control the actuator to move the platform to the enclosed position.

Abstract: A drone landing method and system are provided. The method includes illuminator configured to determining a position and a speed of a vehicle based on vehicle information received via wireless communication, synchronizing the speed of the drone to the speed of the vehicle and maneuvering a drone to a position above a landing point on the vehicle based on the vehicle information, and landing the drone at the landing point of the vehicle.

Abstract: A system for data processing and storage in vehicles having a zone-based, central computing in-vehicle communications network architecture, includes a zone control unit (ZCU) that receives electronic messages from one or more sensors or electronic control units (ECUs) located within a zone of the vehicle, the ZCU comprising a protocol data unit (PDU) gating module that converts the electronic messages into a plurality of PDUs, and a switch-based Ethernet network that transmits the plurality of PDUs, using Ethernet protocol frames comprising the plurality of PDUs, to a central computing platform. The central computing platform includes an Ethernet handler module that decomposes the Ethernet protocol frames into individual PDUs for storage in a shared memory. The central computing platform further includes a plurality of parsing modules that are configured to access the individual PDUs from the shared memory and perform data processing on the individual PDUs.

Abstract: A vehicle and method for intra-vehicle communication within the vehicle involve a sending controller to transmit a message, and a receiving controller to receive the message. The vehicle includes one or more switches to relay the message from the sending controller to the receiving controller. The sending controller and each of the one or more switches include an egress port for transmission of the message. A processor performs bounded timing analysis to determine a total wait time during transmission of the message from the sending controller to the receiving controller as a sum of each egress port wait time at each egress port encountered by the message. Action is taken to avoid or mitigate the total wait time during transmission exceeding a deadline for the message, and the bounded timing analysis includes performing an iterative process and determining a lower bound (LB), an upper bound (UB), and a median value.

Abstract: A system and method of controlling network traffic for a network in a device that has a plurality of units, including one or more provider and recipient units. The recipient units are configured to send respective subscription requests for data originating from the provider units. A controller is programmed to enter an initial phase when at least one initial condition is met. A repeat phase is entered when a list of currently active subscription is received. In the repeat phase, the controller is configured to monitor the network for a respective timing checking request sent by the provider units. When the controller receives a timing checking request, the controller stores the request in the queue module as respective queue member. The controller is configured to perform a timing analysis test on a selected member of the queue module and control the device based partly on the timing analysis test.

Abstract: A system and method of controlling network traffic for a network in a device that has a plurality of units, including one or more provider and recipient units. The recipient units are configured to send respective subscription requests for data originating from the provider units. A controller is programmed to enter an initial phase when at least one initial condition is met. A repeat phase is entered when a list of currently active subscription is received. In the repeat phase, the controller is configured to monitor the network for a respective timing checking request sent by the provider units. When the controller receives a timing checking request, the controller stores the request in the queue module as respective queue member. The controller is configured to perform a timing analysis test on a selected member of the queue module and control the device based partly on the timing analysis test.

Abstract: A system and method for transmitting a plurality of signals. The system includes a transmitting terminal configured to obtain and pack the plurality of signals in multiple signal sequences, with each of the plurality of signals having respective predefined periods. A receiving terminal is configured to receive and unpack the multiple signal sequences from the transmitting terminal. A controller is in communication with the transmitting terminal and the receiving terminal and configured to store a look-up table. The look-up table includes a respective pre-identifier and respective identifier for each of the plurality of signals. The controller is configured to determine if the respective predefined periods vary in magnitude within a frame. If so, the controller is configured to obtain the respective pre-identifiers and respective identifiers for each of the plurality of signals. The multiple signal sequences are based at least partially on the respective pre-identifiers and the respective identifiers.

Abstract: A system and method for transmitting a plurality of signals. The system includes a transmitting terminal configured to obtain and pack the plurality of signals in multiple signal sequences, with each of the plurality of signals having respective predefined periods. A receiving terminal is configured to receive and unpack the multiple signal sequences from the transmitting terminal. A controller is in communication with the transmitting terminal and the receiving terminal and configured to store a look-up table. The look-up table includes a respective pre-identifier and respective identifier for each of the plurality of signals. The controller is configured to determine if the respective predefined periods vary in magnitude within a frame. If so, the controller is configured to obtain the respective pre-identifiers and respective identifiers for each of the plurality of signals. The multiple signal sequences are based at least partially on the respective pre-identifiers and the respective identifiers.

Abstract: The disclosure includes a system and method for building an integrated system using a formal language. The method may include designing one or more models for one or more software components to be included in the integrated system. The one or more models may describe one or more requirements for the one or more software components. The method may include assigning one or more contracts written in the formal language to the one or more models. The method may include integrating the one or more models based on the composition of the one or more contracts to form an integrated model. The integrated model may include each requirement for the one or more software components. The method may include analyzing the one or more contracts and the integrated model to determine whether the one or more contracts include each requirement described by the integrated model.

Abstract: The disclosure includes a system and method for building an integrated system using a formal language. The method may include designing one or more models for one or more software components to be included in the integrated system. The one or more models may describe one or more requirements for the one or more software components. The method may include assigning one or more contracts written in the formal language to the one or more models. The method may include integrating the one or more models based on the composition of the one or more contracts to form an integrated model. The integrated model may include each requirement for the one or more software components. The method may include analyzing the one or more contracts and the integrated model to determine whether the one or more contracts include each requirement described by the integrated model.