A method for controlling an electric machine or electric unit by actuating a component of the electric machine or unit using a predicate and by automatically examining the component in regard to the performance of the predicate to permit examination of an automated system for possible errors in a simply manner, wherein the predicate contains an expected value of a (physical) quantity of the component, and wherein in the examination of the component, a check is performed to determine whether the expected value actually arises when the predicate is performed such that erroneous situations can be detected by a runtime system without explicit programming being necessary therefor.