METHOD FOR SPECIFYING A CONTROL FUNCTION

Die Anmeldung beschreibt ein Verfahren zur Spezifikation einer Steuerungsfunktion für ein System, wobei die Steuerungsfunktion aus mindestens einer Systemreaktion besteht, durch mindestens einen ersten Wert zur Definition von mindestens einem Eingangswert und mindestens einem zweiten Wert zur Definition von mindestens einem Ausgabewert bei dem Eingangswert und Ausgangswert verknüpft werden zu einer Systemreaktion. Eine nach dem erfindungsgemäßen Verfahren erzeugte Tabelle besteht aus mehreren Spalten und Zeilen. Die Spalten sind festgelegt durch das Interface des Systems, d. h., die Spalten sind unterteilt in einen Eingabeteil, der genau eine Spalte für jeden Eingabekanal umfasst, und einen Ausgabeteil mit einer Spalte für jeden Ausgabekanal. Jede Zeile enthält die Beschreibung einer Systemreaktion durch eine Folge von Ausgabewerten an den Ausgabeports auf eine Folge von Eingabewerten an den Eingabeports. Dazu steht in jeder Zelle ein (erweiterter) regulärer Ausdruck, der die zu einem Zeitpunkt anliegenden Ein- bzw. Ausgabenachrichten an dem zugehörigen Kanal beschreibt. Die regulären Ausdrücke in den Eingabespalten beschreiben dabei die bis zum aktuellen Zeitpunkt t beobachteten Nachrichtenfolgen an den Eingabekanälen. Die regulären Ausdrücke in den Ausgabespalten beschreiben das als Reaktion geforderte Verhalten an den Ausgabekanälen ab dem nächsten Zeitpunkt t+1. The invention relates to a method for specifying a control function for a system, wherein the control function comprises at least one system reaction, at least one first value for defining at least one input value and at least one second value for defining at least one output value, wherein the input value and the output value are linked to form a system reaction. A table generated based on the method according to the invention comprises a plurality of columns and rows. The columns are determined by the interface of the system, that is, the columns are divided into an input part comprising exactly one column for each input channel, and an output part having one column for each output channel. Each row comprises the description of a system reaction by a sequence of output values at the output ports following a sequence of input values at the input ports. To this end, in each cell an (expanded) regular expression is provided, describing the input and output messages present at the associated channel at a point in time. The regular expressions in the input columns thereby describe the message sequ