System and method for providing fault resilient processing in an implantable medical device
First Claim
Patent Images
1. A system for providing fault resilient processing in an implantable medical device, comprising:
- an implantable medical device comprising a processor and memory store; and
a high integrity kernel configured to execute on the processor and evaluate a priority of execution for each partitioned process, wherein processes necessary for therapy output are assigned the highest priority of execution amongst partitioned processes, the high integrity kernel comprising;
a scheduler configured to schedule separate times on the processor to a plurality of processes;
a data loader configured to manage separate memory spaces in the memory store by exclusively associating one such separate memory space with each of the processes; and
a data validator configured to selectively validate data prior to exchange from one of the processes to another of the processes during execution in the separate processor times based on the priority of execution for each process;
wherein selectively validating data comprises increasing a level of rigor in the validating of the data for processes having a higher priority of execution.
1 Assignment
0 Petitions
Accused Products
Abstract
A system and method for providing fault resilient processing in an implantable medical device is provided. A processor and memory store are provided in an implantable medical device. Separate times on the processor are scheduled to a plurality of processes. Separate memory spaces in the memory store are managed by exclusively associating one such separate memory space with each of the processes. Data is selectively validated prior to exchange from one of the processes to another of the processes during execution in the separate processor times.
-
Citations
18 Claims
-
1. A system for providing fault resilient processing in an implantable medical device, comprising:
-
an implantable medical device comprising a processor and memory store; and a high integrity kernel configured to execute on the processor and evaluate a priority of execution for each partitioned process, wherein processes necessary for therapy output are assigned the highest priority of execution amongst partitioned processes, the high integrity kernel comprising; a scheduler configured to schedule separate times on the processor to a plurality of processes; a data loader configured to manage separate memory spaces in the memory store by exclusively associating one such separate memory space with each of the processes; and a data validator configured to selectively validate data prior to exchange from one of the processes to another of the processes during execution in the separate processor times based on the priority of execution for each process;
wherein selectively validating data comprises increasing a level of rigor in the validating of the data for processes having a higher priority of execution. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 10)
-
-
11. A system for partitioning an implantable medical device for fault resilient execution, comprising:
-
an implantable medical device, comprising; a uniprocessor; and a memory store interconnected to the uniprocessor and comprising addressable memory locations; a time partition configured to operationally separate a plurality of processes, comprising; a criticality of function provided by each process; and a scheduler configured to schedule separate times for execution on the uniprocessor to the processes in order of the criticality of function; and a space partition configured to physically separate the plurality of processes, comprising; discrete blocks of the addressable memory locations of the memory store associated to each of the processes; and a data validator configured to selectively validate data sent from one of the processes to another of the processes during execution on the uniprocessor; and a prioritization module configured to prioritize the processes by the criticality of function, wherein a level of rigor in the validating of the data is increased for those of the processes having the higher criticality of function, and a level of rigor in the validating of the data is decreased for those other of the processes. - View Dependent Claims (12, 13, 14)
-
-
15. A method for partitioning an implantable medical device for fault resilient execution, comprising:
-
providing a uniprocessor and interconnected memory store comprising addressable memory locations in an implantable medical device; operationally separating a plurality of processes, comprising; evaluating a criticality of function provided by each process; and scheduling separate times for execution on the uniprocessor to the processes in order of the criticality of function; and physically separating the plurality of processes, comprising; associating discrete blocks of the addressable memory locations of the memory store to each of the processes; selectively validating data sent from one of the processes to another of the processes during execution on the uniprocessor; and
further comprisingprioritizing the processes by the criticality of function; increasing a level of rigor in the validating of the data for those of the processes having the higher criticality of function; and decreasing a level of rigor in the validating of the data for those other of the processes. - View Dependent Claims (16, 17, 18)
-
Specification