Safety critical monitoring of microprocessor controlled embedded systems

摘要

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.