Verfahren zur automatischen Erzeugung einer Steuerung

摘要

A process allows a control to be generated from an application-related formal specification. The process allows controls to be generated that satisfy specific safety conditions so that the safety conditions are respected during control generation. Constructs for specifying sequential and parallel processes allow the exclusive description of only the functionally desired aspects, so that a clear distinction between safety and function is achieved.