Safety critical monitoring of microprocessor controlled embedded

Details Safety critical monitoring of microprocessor controlled embedded Safety critical monitoring of microprocessor controlled embedded

1994-12-13

1996-09-03

Beausoliel, Jr., Robert W.

39518302, 39518502, G06F 1100

Patent

active

055532373

ABSTRACT:
A safety critical monitoring system and method for a microprocessor controlled embedded system has application specific program logic including a defined set of safety critical rules for the application system corresponding to criteria for safety critical operations to be performed by the central processing unit in accordance with the application specific program logic. The operating system or central processing unit is linked to the stored set of safety critical rules for verifying that the safety critical operations performed in accordance with the application specific program logic meet the criteria set by the safety critical rules.

REFERENCES:
patent: 4649515 (1987-03-01), Thompson et al.
patent: 4799159 (1989-01-01), Davidson et al.
patent: 4815076 (1989-03-01), Denney et al.
patent: 4888771 (1989-12-01), Benignus et al.
patent: 4922491 (1990-05-01), Coale
patent: 4984239 (1991-01-01), Suzuki et al.
patent: 5123017 (1992-06-01), Simpkins et al.
patent: 5163052 (1992-11-01), Evans et al.
patent: 5218196 (1993-06-01), Dogul at el.
patent: 5339261 (1994-08-01), Adelson et al.
patent: 5347646 (1994-09-01), Hirosawa et al.
Bradely et al., "Practical Formal Development Of Real Time Systems", IEEE, Proc. 11th Workshop on Real Time Systems, pp. 44-8.
Bowen et al., "Safety critical Systems, Formal Methods and Standards", Software Eng. Journal vol. 8, Iss. 4 pp. 189-209.
Michel et al., "A New Approach To Control Flow Checking Without Program Modification", Fault Tolerant computing, 1991, IEEE, pp. 334-41.
Cin et al., "Error Detection Mechanisms For Massively Parallel Multiprocessors", Euromicro Workshop on Parallel & Dist. Comp. 1993, pp. 401-08.
cHENG, "Design Of Knowledge-Based Expert Systems For Real Time Critical Applications", Tencon, 1994, IEEE, pp. 86-90.

Affiliated with

Also associated with

Rating

Safety critical monitoring of microprocessor controlled embedded does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Safety critical monitoring of microprocessor controlled embedded, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Safety critical monitoring of microprocessor controlled embedded will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-1958990