Error checking method for real-time system software

摘要

In safety critical applications, such as in railway signaling technology, are made on the system software (OS = + kernel-level software components) of data processing systems used very high demands on the accuracy. The system software must therefore be checked as thoroughly as possible for errors. According to the invention test processes (PP1 ... ppm) carried out in alternation with the application processes (AP1 ... APn). This test during operation of the system a higher security is achieved, as this also real (long-term) is checked behavior of the system.; In order to make statements about the accuracy of the test results, the test is preferably performed diversely. Diversity can be achieved by: Using a second, different data processing system are performed at the identical inspection processes (hardware diversity); Repetition of the test process to a time at which the application process is located in another state (state diversity); quasi-simultaneous performance of differently programmed inspection processes that test the same function of the system software (software diversity)