Patent
1995-09-05
1999-02-02
Poinvil, Frantzy
395681, G06F 1134
Patent
active
058677100
ABSTRACT:
A Hardware Abstraction Layer (HAL) (66) of a Portable Microkernel Operating System (OS) is tested and verified by loading a HAL test program (96) into Kernel Space (60) as a device driver. This allows direct access to the HAL layer (66) and to the computer hardware accessed by the HAL layer (66). The HAL test program (96) makes HAL layer requests, then verifies HAL (66) operation by directly examining the hardware affected by the HAL request. The HAL test program (96) is controlled by either an external HAL test system (98), or by a HAL control program (99) executing in User space (62).
REFERENCES:
patent: 5339261 (1994-08-01), Aldeson et al.
patent: 5371883 (1994-12-01), Gross et al.
Thomas, Benjamin J., III, Open VMS I/O: kernel processes. (The use and internals of the Kernel Process support code in the Open VMS AXP I/O subsystem), Digital Systems Journal, Sep.-Oct. 1994 v16 n5 p5(8).
Saxena et al., "Fault-Tolerant Features in the HAL Memory Management unit", IEEE Transactions on Computers, vol. 44, No. 2, Feb. 1995.
Caerts et al., "PDG: a Portable Process-level Debugger for CSP-style Parallel Programs", IEEE, 1994.
Rim et al., "Message-based Microkernel for real-time System", Department of computer Engineering, Seoul National University, Seoul, 151-742 Korea, 0-8186-2755-Jul. 1992, 1992 IEEE.
Dorris Roderick Lee
Robertson Eric Nassar
Motorola Inc.
Poinvil Frantzy
Toler Jeffrey G.
LandOfFree
Portable microkernel operating system verification and testing does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Portable microkernel operating system verification and testing, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Portable microkernel operating system verification and testing will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-1126281