-
公开(公告)号:US20240231809A1
公开(公告)日:2024-07-11
申请号:US18408426
申请日:2024-01-09
申请人: Red Hat, Inc.
发明人: Andrea Tarocchi , Paolo Antinori
IPC分类号: G06F8/71
CPC分类号: G06F8/71
摘要: A method is described that includes executing a container image that is configured as an image repository mirror for a remote server and executing an application that is configured to provide a request for one or more images to the remote server. The method further includes reconfiguring the application to cause the application to provide the request for the one or more images to the container image instead of the remote server.
-
公开(公告)号:US11991278B2
公开(公告)日:2024-05-21
申请号:US17376851
申请日:2021-07-15
申请人: Red Hat, Inc.
发明人: Andrea Cosentino , Paolo Antinori
CPC分类号: H04L9/0891 , G01S19/42 , G06F1/28 , H04L9/0819 , H04L9/0894 , H04L43/0829 , H04L43/16 , H04L63/0428 , H04L2209/84
摘要: Systems and methods for message format communication among resource-constrained devices are generally described. In some examples, a first message sent by an edge computing device may be received. A determination may be made that the first message comprises a first data format identifier. A determination may be made that the first message comprises a first data format patch. A determination may be made that the first data format identifier was previously stored in a data structure in association with a first data format. In various examples, the first data format may be modified using the first data format patch to generate a first modified data format. The first modified data format may be stored in the data structure in association with the first data format identifier. In some examples, a payload of the first message may be read using the first modified data format.
-
公开(公告)号:US20240086191A1
公开(公告)日:2024-03-14
申请号:US18508535
申请日:2023-11-14
申请人: Red Hat, Inc.
发明人: Paolo Antinori , Andrea Tarocchi
CPC分类号: G06F8/77 , G06F8/71 , G06F11/3409
摘要: Systems and methods for detecting an interaction with an application displayed on a user interface to perform a metric exporting function of the application by using an exporter configuration that is inaccessible to a user. The system and method also includes exporting by a processing device executing an exporter, metrics generated by each of the one or more classes of the application to a monitoring program, wherein the exporter uses the exporter configuration to export the metrics generated by each of the one or more classes.
-
公开(公告)号:US20240067193A1
公开(公告)日:2024-02-29
申请号:US17898855
申请日:2022-08-30
申请人: Red Hat, Inc.
发明人: Andrea Cosentino , Paolo Antinori
CPC分类号: B60W50/04 , B60W10/04 , G06F8/65 , B60W2556/45
摘要: Systems and methods for cloud-based vehicle control are generally described. In some examples, first vehicle identifier data identifying a first vehicle may be received. In some cases, first state data representing a first software version of a first system associated with the first vehicle identifier data may be received. In some examples, a first condition associated with the first system may be determined based at least in part on the first state data. In further examples, first control data may be sent to a first computing device of a first vehicle based at least in part on the first condition. In various examples, the first control data may be effective to control operation of at least one component of the first vehicle.
-
公开(公告)号:US20240036971A1
公开(公告)日:2024-02-01
申请号:US17874138
申请日:2022-07-26
申请人: Red Hat, Inc.
发明人: Andrea Cosentino , Paolo Antinori
CPC分类号: G06F11/1004 , H04L9/0643 , G06F8/24
摘要: A request to validate a project object model (POM) is received from a client device. The POM references one or more modules, each of which is associated with one or more artifacts. The artifacts associated with a module are downloaded to a staging repository along with checksums of the artifacts. The downloaded checksum is compared to a checksum calculated on the staging repository. Upon determining that the downloaded checksum matches the calculated checksum for all artifacts of all modules, the POM is moved to the staging repository.
-
公开(公告)号:US20230385029A1
公开(公告)日:2023-11-30
申请号:US17752749
申请日:2022-05-24
申请人: Red Hat, Inc.
发明人: Edoardo Vacchi , Paolo Antinori
IPC分类号: G06F8/30
CPC分类号: G06F8/30
摘要: In various examples disclosed herein, provided is a method for generating metadata to facilitate code generation. The method can include receiving a first file that includes information relating to a first set of components in a first notation syntax and a second file that includes information relating to a second set of components in a second notation syntax. The method can also include cross-validating the first file and the second file to determine that a first reference, in a first component of the first set of components, to a second component of the second set of components is valid. The method can also include generating a first metadata file that includes identification information relating to the first reference. The method can also include generating code to be executed based on the first metadata file, the first file, and the second file.
-
37.
公开(公告)号:US20230305817A1
公开(公告)日:2023-09-28
申请号:US17704705
申请日:2022-03-25
申请人: Red Hat, Inc.
发明人: Paolo Antinori , Eric P. Wittmann
摘要: It is determined that an interpretable application including a plurality of files utilizes a runtime loaded external dependency that includes a plurality of functions. The runtime loaded external dependency includes executable software instructions that are loaded into the interpretable application during a runtime of the interpretable application in a web browser. A runtime dependency header module that contains information that identifies, for each function of the plurality of functions, a name of the function and a number of parameters of the function is obtained. The runtime dependency header module is stored in a location used by an interactive development environment (IDE) to determine dependencies used by the interpretable application for purposes of an autocompletion feature of the IDE.
-
公开(公告)号:US20230303032A1
公开(公告)日:2023-09-28
申请号:US18203826
申请日:2023-05-31
申请人: Red Hat, Inc.
发明人: Andrea Cosentino , Paolo Antinori
CPC分类号: B60R25/24 , B60R25/01 , B60R25/33 , H04L9/3242 , G07C9/00309 , H04L2209/84 , G07C2009/00984
摘要: Systems and methods for cloud-based keyless entry are generally described. In some examples, a first number is received from a vehicle. A first computing device of the vehicle may be configured to control an electronic door lock. A first unlock code may be generated using the first number. In some examples, a notification is sent to a remote entry device associated with the vehicle. A response to the notification may be received from the remote entry device. In some examples, the first number may be retrieved from a messaging service based at least in part on the receiving the response to the notification. A second unlock code may be generated using the first number. A determination may be made that the first unlock code matches the second unlock code. An instruction may be sent to the first computing device, the instruction effective to cause unlock of the electronic door lock.
-
公开(公告)号:US11768665B2
公开(公告)日:2023-09-26
申请号:US17529952
申请日:2021-11-18
申请人: Red Hat, Inc.
发明人: Paolo Antinori , Eric Wittmann
摘要: Systems and methods for generating SLO specifications using annotations are generally described. In various examples, first source code associated with a first computer-implemented service is received. In various cases, a first annotation in the first source code may be received. The first annotation may include first metadata defining a name of an SLO specification. A second annotation in the first source code may be received. The second annotation may include second metadata defining a service-level objective (SLO) of a first aspect of the first computer-implemented service. In some cases, the first computer-implemented service may be executed using the first source code. In various examples, the SLO specification may be generated based on the first annotation and the second annotation.
-
公开(公告)号:US20230138041A1
公开(公告)日:2023-05-04
申请号:US17737279
申请日:2022-05-05
申请人: Red Hat, Inc.
发明人: Andrea Cosentino , Paolo Antinori
摘要: Systems and methods for cloud-based keyless entry are generally described. In some examples, a first number is received from a vehicle. A first computing device of the vehicle may be configured to control an electronic door lock. A first unlock code may be generated using the first number. In some examples, a notification is sent to a remote entry device associated with the vehicle. A response to the notification may be received from the remote entry device. In some examples, the first number may be retrieved from a messaging service based at least in part on the receiving the response to the notification. A second unlock code may be generated using the first number. A determination may be made that the first unlock code matches the second unlock code. An instruction may be sent to the first computing device, the instruction effective to cause unlock of the electronic door lock.
-
-
-
-
-
-
-
-
-