Method for verifying function sequences of controller, involves forming development controller by controller in parallel manner, where controller has inlet and outlet, and development controller has finite state machine

摘要

The method involves forming a development controller (3) by a controller (2) in a parallel manner. The controller has at an inlet (2.1.1 to 2.1.n) and an outlet (2.2.1 to 2.2.m). The development controller has a finite state machine, which generates with technical specification or a specification. The function sequences of the controller are verified with the development controller on the basis of evaluation. An independent claim is also included for a device for verifying function sequences of a controller.