C Bedingungen die immer wieder neu erfüllt sein müssen

Ohne die genaue Applikation zu kennen kann man nicht
pauchal sagen, ob ne Statemachine helfen würde.

Ich finds persönlich aber deutlich übersichtlicher,
wenn man in solchen fällen, wie deinem obigen, auf das
NICHTerfülltsein der Bedingung(en) testet und dann ggfs. abbricht

Beispiel:

bool TesteBedingungen()
{
  // teste nacheinander verschiedene bedingungen
  if (bedingung_1 == FALSE) return FALSE;
  if (bedingung_2 == FALSE) return FALSE;
  if (bedingung_3 != 42) return FALSE;

  // alles erfüllt
  return TRUE;
}

Ohne die Einrückerei liest sich sowas viel besser.
Abgesehen davon muß man sowieso ab und an mal überlegen,
ob sich das was man abtesten möchte, nicht auch anders
ausdrücken läßt.

a && b == !(!a || !b)


usw.

Man kann eine State-Machine definieren.
Erst überlegt man, wieviele Zustände es im System überhaupt gibt.
Jeder existierende State kriegt eine Nummer.
Die Nummer zählt / setzt man entsprechend in jedem State.

Die Übergangbedingungen von einem bestehenden Zustand in den nächsten 
fragt man ab, indem die jeweiligen Übergangsbedingungen über  &&  und 
||  wie bereits geraten verknüpft werden.

In main()  erfolgt die Verzweigung über  case  anhand der 
Zustandsnummer.

Du kannst dir auch 'Merkerbytes' anlegen und jedemal wenn eine Bedingung 
erfüllt wird ein Bit dafür setzen und löschen wenn sie nicht erfüllt 
ist. Dann kannst du die Merkerbytes mit Switch/case und der richtigen 
Verknüpfung abfragen.
Leider kenne ich das Programm nicht und weiß somit nicht wie einfach 
Merkerbits gesetzt werden können (z.B. bei der AD-Wandlung gleich 
Grenzwerte abfragen? Wenn Schalter oder Ausgänge betätigt/gesetzt 
werden?). Dazu müsstest du die Ein- Ausgänge in einer Schleife abfragen 
(nicht dort vernüpfungen abfragen).