DEVICE AND METHOD FOR GENERATING REDUNDANT BUT DIFFERENT MACHINE CODES FROM A SOURCE CODE FOR VERIFICATION FOR A SAFETY-CRITICAL SYSTEM

摘要

The invention relates to a method and a device for the automated generation of at least two redundant but different ways of implementation of a safety-critical system, characterized in that the at least two ways of implementation are generated from a single system description, particularly for a software-based solution, a source code being translated into two different machine codes by means of a compiler, the machine codes being formed from asynchronous command sequences and allowing an error check by comparing the results.