Aktueller Inhalt von Skrjiban

Das habe ich verstanden. Ich möchte wissen, ob ihr es als sinnvoll erachten würdet, wenn es denn möglich wäre. Das ist eine ehrliche Frage, keine rhetorische.

@Thomasv2.1: Das überzeugt mich. Darf man also sagen, dass eine Verifikation bzw. Validierung schon erstrebenswert ist, aber nur dann, wenn sie auch wirklich die komplette Anlage miteinbezieht, was aufgrund der hohen Komplexität unmöglich ist? Das sieht ziemlich cool aus. Mit welcher...

Naja gut, wenn jetzt schon mit dem Forentroll verglichen werden musss, dann sind euch wohl die Ideen ausgegangen. Ich bedank mich trotzdem für die bisherigen Antworten, war ja doch was informatives dabei. Gruß

Richtig, so wie ichs mir vorstelle braucht man auch keine echte SPS dazu (aber ich muss natürlich vorher irgendwie angeben auf welcher es laufen soll). Das Phänomen das ihr beschreibt heißt Zustandsraumexplosion. Die Anzahl der Ein- und Ausgänge ist nicht so tragisch, wenn ich die genannten...

Danke für den Link! (und den vorherigen auch, ist irgendwie untergegangen). Morgen mehr dazu.

uh, der hat gesessen :cool: D.h. man braucht's doch?

Ich möchte wissen, ob es sich lohnt, so etwas zu entwickeln. Ich halte es immer noch für eine Marktlücke, ist außerdem ein schönes mathematisches Thema wozu ich etliche gute Ansätze parat hätte. Nur bin ich eben nicht tief genug in der Anwender-Materie drin um zu wissen, womit die Leute...

Erstmal Danke für die ausführlichen Antworten. Zumindest weiß ich jetzt schonmal, dass die Methodik definitiv nicht in der Praxis gemacht wird, zumindest nicht bei SPS-Programmen. Hat ja auch niemand behauptet :) Da stimme ich dir natürlich zu. Ich entwickle hauptberuflich PC-Software und...

Hm, hab ich mich so unklar ausgedrückt? Reden wir aneinander vorbei? Mir kommt es so vor, als ob du von einem 3D-Modell sprichst. Darum gehts mir nicht. Mir geht es um eine Spezifikation für ein SPS-Programm. Anschließend will ich prüfen, ob das Programm diese Spezifikation auch einhält. Und...

Hallo Leute, ich bin kürzlich mal zufällig auf das Thema Formale Verifikation von Programmen gestoßen und mir kommt das Konzept - grade im Bereich Automatisierungstechnik - extrem hilfreich vor und es ist mir ein Rätsel, warum ich davon jetzt zum ersten mal höre. Nachdem ich aber selbst in...