Method for recording plurality of events in coded tracker variable in security-oriented computer program

The invention relates to a method, a device and a computer program for recording a plurality of events in a coded tracker variable (Tracerc) in a security-oriented computer program, each event being recorded as a value in the coded tracker variable (Tracerc). In order to record a plurality of events at the same time, a total value is first calculated from the values of the events, and the total value is then recorded in a code tracker variable (Tracerc). This has the advantage that multiple independent consistency criteria can be handled simultaneously to detect and propagate errors or other events. Multiple dynamic effects in detecting and propagating errors/events are avoided by the concurrency. This implementation reduces the complexity of the security program in an essential manner. 本发明涉及用于在面向安全的计算机程序中将多个事件记录在编码跟踪器变量(Tracerc)中的方法、装置和计算机程序，其中，将每个事件都作为值记录在编码跟踪器变量(Tracerc)中。在此，为了同时记录多个事件从事件的值中首先计算总值，将该总值随后记录在编码跟踪器变量(Tracerc)中。这具有的优点是：能够同时处理多个独立的一致性标准，以检测和传播错误或其他事件。通过同时性避免了在检测和传播错误/事件时的多个动态影响。这实现以必要方式降低安全程序的复