IP Library Granted Patent US 12,147,823
Granted Patent B1
US 12,147,823 · App. 18/395,149 · Granted Nov 19, 2024

Apparatus and method for providing a safety-critical operating environment (SCOE)

Inventors: David Walsh (Alexandria, VA); Charles Adams (Alexandria, VA)
Assignee: Parry Labs, LLC
G06F9/455G06F16/164G06F21/44
View Patent ↗
Loading inventors, assignments & file history…
Monitor This Case
Get email alerts when status or documents change.
Order Certified Copies
Most orders are placed with the USPTO same day — all within 24 business hours.
Order via The Patent Place →
Pre-filled with this patent's details
Quick Facts
Patent No.
US 12,147,823
App. No.
18/395,149
Granted
Nov 19, 2024
Kind
B1
Abstract

An apparatus for providing a safety-critical operating environment, comprising a host circuit having a processor and a memory containing instructions configuring the processor to operate a first partition within a virtual environment, by instantiating a hypervisor, generating a virtualization layer supervised by the hypervisor, and operating the first partition in the virtual environment using the virtualization layer, receive a configuration request containing a configuration request from the first partition, create a second partition within the virtual environment based on the configuration request by allocating processor time and a memory space for the second partition using the hypervisor based on the a partition policy, integrate a software module into the virtual environment by instantiating, within the second partition, a software image into a container having a non-preemptable container runtime, and verify a compliance of the integrated software module at the first partition.

Claims (67)

1. An apparatus for providing a safety-critical operating environment, wherein the apparatus comprises:

a host circuit having at least a processor and a memory communicatively connected to the at least a processor, wherein the memory contains instructions configuring the at least a processor to:

operate a first partition within a virtual environment, wherein operating the first partition further comprises:

instantiating a hypervisor;

generating a virtualization layer supervised by the hypervisor; and

operating the first partition in the virtual environment using the virtualization layer;

receive a configuration request from the first partition, wherein the configuration request comprises a software image including a pre-defined operational rule and at least one partition policy and a Flight Management System (FMS) module;

create a second partition within the virtual environment as a function of the configuration request, wherein creating the second partition comprises:

allocating a dedicated execution time slice and a private static memory space for the second partition using the hypervisor based on the at least one partition policy;

integrate a software module into the virtual environment using the pre-defined operational rule by instantiating, within the second partition, the software image into at least one container, wherein the at least one container comprises a non-preemptable container runtime and wherein the FMS module is instantiated within the at least one container and runs with a non-preemptable runtime to ensure data processing is not interrupted to maintain safety of flight operations; and

verify a compliance of the integrated software module with a plurality of pre-determined safety standards sourced from a trusted repository by monitoring an adherence of the software module to the pre-defined operational rule within the non-preemptable container runtime at the first partition.

2. The apparatus of claim 1 , wherein the hypervisor comprises a type-1 hypervisor that operates directly on the host circuit.

3. The apparatus of claim 1 , wherein the at least a processor comprises:

a multi-core processor having a plurality of cores, wherein the memory contains instructions configuring the multi-core processor to:

distribute the operation of the first partition to a first core of the plurality of cores; and

operate the second partition using a second core of the plurality of cores.

4. The apparatus of claim 1 , wherein the virtual environment comprises:

a plurality of third partitions within the virtual environment, wherein each third partition of the plurality of third partition comprises at least a platform service segment.

5. The apparatus of claim 4 , wherein the virtualization layer comprises:

a virtual bus, wherein the virtual bus is configured to:

connect the first partition with the second partition; and

connect the first partition with the plurality of third partitions, thereby isolating the second partition from direct communication with the plurality of third partitions.

6. The apparatus of claim 1 , wherein instantiating the software image into the at least one container comprises:

extracting software metadata from the software image, wherein the software metadata comprises a plurality of software configuration parameters and a plurality of digital files;

initializing the at least one container within the second partition as a function of the plurality of software configuration parameters; and

deploying the plurality of digital files within the initialized at least one container by loading the at least one operational rule into the non-preemptable container runtime.

7. The apparatus of claim 1 , wherein the first partition comprises a logging mechanism configured to record non-preemptable container runtime behaviors.

8. The apparatus of claim 7 , wherein verifying the compliance of the integrated software module comprises:

training a machine learning model using runtime behavior training data, wherein the runtime behavior training data comprises a plurality of non-preemptable container runtime behaviors as input correlated to a plurality of compliance metrics as output; and

generating a compliance matrix as a function of the non-preemptable container runtime behavior using the trained machine learning module.

9. The apparatus of claim 8 , wherein the memory further contains instructions configuring the at least a processor to:

adjust connections between the partitions within the virtual environment as a function of the compliance matrix.

10. The apparatus of claim 1 , wherein the memory further contains instructions configuring the at least a processor to:

invalidate one or more cache entries within the memory corresponding to the second partition upon a conclusion of the dedicated execution time slice, thereby preventing unauthorized access from the second partition outside the process.

11. A method for providing a safety-critical operating environment, wherein the method comprises:

operating, by at least a processor at a host circuit having a memory communicatively connected to the at least a processor, a first partition within a virtual environment, wherein operating the first partition further comprises:

instantiating a hypervisor;

generating a virtualization layer supervised by the hypervisor; and

operating the first partition in the virtual environment using the virtualization layer;

receiving, by the at least a processor, a configuration request from the first partition, wherein the configuration request comprises a software image including a pre-defined operational rule and at least one partition policy and a Flight Management System (FMS) module;

creating, by the at least a processor, a second partition within the virtual environment as a function of the configuration request, wherein creating the second partition comprises:

allocating a dedicated execution time slice and a private static memory space for the second partition using the hypervisor based on the at least one partition policy;

integrating, by the at least a processor, a software module into the virtual environment using the pre-defined operational rule by instantiating, within the second partition, the software image into at least one container, wherein the at least one container comprises a non-preemptable container runtime and wherein the FMS module is instantiated within the at least one container and runs with a non-preemptable runtime to ensure data processing is not interrupted to maintain safety of flight operations; and

verifying, by the at least a processor, a compliance of the integrated software module with a plurality of pre-determined safety standards sourced from a trusted repository by monitoring an adherence of the software module to the pre-defined operational rule within non-preemptable container runtime at the first partition.

12. The method of claim 11 , wherein the hypervisor comprises a type-1 hypervisor that operates directly on the host circuit.

13. The method of claim 11 , wherein the at least a processor comprises:

a multi-core processor having a plurality of cores, wherein the memory contains instructions configuring the multi-core processor to:

distribute the operation of the first partition to a first core of the plurality of cores; and

operate the second partition using a second core of the plurality of cores.

14. The method of claim 11 , wherein the virtual environment comprises:

a plurality of third partitions within the virtual environment, wherein each third partition of the plurality of third partition comprises at least a platform service segment.

15. The method of claim 14 , wherein the virtualization layer comprises:

a virtual bus, wherein the virtual bus is configured to:

connect the first partition with the second partition; and

connect the first partition with the plurality of third partitions, thereby isolating the second partition from direct communication with the plurality of third partitions.

16. The method of claim 11 , wherein instantiating the software image into the at least one container comprises:

extracting software metadata from the software image, wherein the software metadata comprises a plurality of software configuration parameters and a plurality of digital files;

initializing the at least one container within the second partition as a function of the plurality of software configuration parameters; and

deploying the plurality of digital files within the initialized at least one container by loading the at least one operational rule into the non-preemptable container runtime.

17. The method of claim 11 , wherein the first partition comprises a logging mechanism configured to record non-preemptable container runtime behaviors.

18. The method of claim 17 , wherein verifying the compliance of the integrated software module comprises:

training a machine learning model using runtime behavior training data, wherein the runtime behavior training data comprises a plurality of non-preemptable container runtime behaviors as input correlated to a plurality of compliance metrics as output; and

generating a compliance matrix as a function of the non-preemptable container runtime behavior using the trained machine learning module.

19. The method of claim 18 , further comprises:

adjusting, by the at least a processor, connections between the partitions within the virtual environment as a function of the compliance matrix.

20. The method of claim 11 , further comprises:

invalidating, by the at least a processor, one or more cache entries within the memory corresponding to the second partition upon a conclusion of the dedicated execution time slice, thereby preventing unauthorized access from the second partition outside the process.

Assignments (3)
SECURITY INTEREST Recorded Dec 23, 2024
From: PARRY LABS, LLC; PARRY LABS HOLDINGS, LLC
To: TRIPLEPOINT CAPITAL LLC
Reel/Frame 069665/0281 →
CORRECTIVE ASSIGNMENT TO CORRECT THE SECOND INVENTOR'S NAME PREVIOUSLY RECORDED ON REEL 65974 FRAME 904. ASSIGNOR(S) HEREBY CONFIRMS THE ASSIGNMENT. Recorded Oct 14, 2024
From: WALSH, DAVID; ADAMS, CHARLES
To: PARRY LABS, LLC
Reel/Frame 069286/0485 →
ASSIGNMENT OF ASSIGNOR'S INTEREST Recorded Dec 28, 2023
From: WALSH, DAVID; ADAMS, TONY
To: PARRY LABS, LLC
Reel/Frame 065974/0904 →
Cited By (1)
US 12,282,796