Method and apparatus for high assurance computing using...

Details Method and apparatus for high assurance computing using... Method and apparatus for high assurance computing using...

2005-05-17

2005-05-17

An, Meng-Al T. (Department: 2126)

Electrical computers and digital processing systems: virtual mac

Virtual machine task or process management

C701S003000

Reexamination Certificate

active

06895582

ABSTRACT:
A system and method for enhancing the integrity of an avionics system which uses a pair dissimilar general purpose microprocessors, each running a virtual machine, compiled for its respective processor, from a common original source file; the virtual machines running on a subset of the instructions for each microprocessor and thereby avoiding conditions known or likely to result in defects; the virtual machines running a single or identical avionics program and then voting the results of this simultaneous redundant execution to arrive at an enhanced assurance level; providing written claims to the FAA that an enhanced assurance level is achieved.

REFERENCES:
patent: 5761477 (1998-06-01), Wahbe et al.
patent: 5761625 (1998-06-01), Honcik et al.
patent: 5969668 (1999-10-01), Young, Jr.
patent: 6151618 (2000-11-01), Wahbe et al.
patent: 6317872 (2001-11-01), Gee et al.
patent: 6587937 (2003-07-01), Jensen et al.
Printed page of website address as follows: http://www.ajile.com, 2000.
Patent Application entitled “Method And System For Monitoring Microprocessor Integrity” filed on an even date, inventor D. Jensen and S. Koenck.

Affiliated with

Also associated with

Rating

Method and apparatus for high assurance computing using... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Method and apparatus for high assurance computing using..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and apparatus for high assurance computing using... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3419586