TAPAAL3.9.3

Mit TAPAAL können Benutzer formale Modelle von Systemen erstellen, deren Verhalten vom Timing abhängt, indem sie Petri-Netze mit Timed-Arc verwenden. Seine Modellierungsfunktionen beschreiben diese Netze in einer strukturierten Form, die für eine präzise Analyse geeignet ist. Benutzer können ein Modell simulieren, um zu untersuchen, wie es sich im Laufe der Zeit verhält. Sie können auch formale Eigenschaften überprüfen und über die Beobachtung hinausgehen, um zu beurteilen, ob das Modell definierte Bedingungen erfüllt.

Durch die Kombination von Modellierung, zeitgesteuerter Simulation und Verifizierung unterstützt TAPAAL einen vollständigen Workflow zur Untersuchung des formalen Verhaltens eines Systems. Es ist für Studenten, Ausbilder und andere gedacht, die mit formaler Computerwissenschaftsmodellierung arbeiten, insbesondere wenn das Timing explizit dargestellt werden muss. Typische Anwendungen umfassen pädagogische Übungen, bei denen ein System modelliert, seine Ausführung untersucht und seine Eigenschaften überprüft werden. Die Software wurde am Department of Computer Science der Universität Aalborg in Dänemark entwickelt.

TAPAAL wird von Kenneth Yrke Joergensen veröffentlicht und die aktuelle Version ist 3.9.3. Es läuft unter Linux, erfordert Snapd und unterstützt die amd64-Architektur. Als Bildung klassifiziert, wird es als Freeware und nicht durch eine kostenpflichtige Softwarelizenz vertrieben.